UNIVERSITÄTSBIBLIOTHEK

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