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