RPTU University Library

Send mail to Author

Model-based Generation of Assertions for Pre-silicon Verification (Doctoral Thesis)

Please indicate your contact information and select, which author you want to contact.



 
 _    _      ___                _____     ____     __   __  
| || | ||   / _ \\      ___    |  ___||  |  _ \\   \ \\/ // 
| || | ||  | / \ ||    /   ||  | ||__    | |_| ||   \ ` //  
| \\_/ ||  | \_/ ||   | [] ||  | ||__    | .  //     | ||   
 \____//    \___//     \__ ||  |_____||  |_|\_\\     |_||   
  `---`     `---`       -|_||  `-----`   `-` --`     `-`'   
                         `-`
 


Back to frontdoor view