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