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