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