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