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