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