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