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