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