italiano | contact
PUBLICATION

Integrating RAM and Disk based Verification within the Murphi Verifier

G. Della Penna, B. Intrigila, I. Melatti, E. Tronci, M. Venturini Zilli

12th Advanced Research Working Conference on Correct Hardware Design and Verification Methods, LNCS, pagg. 277-282, 2003

Contact: ,

 
 
 
 

Organization

Head of the department is Prof. Claudio Arbib (since March 1, 2008). The ...

continua ›
 
 
 
 

Publications

Numerous articles published in international scientific journals, books, and ...

continua ›
 
 
 
 

Job Postings

Consulta le offerte di lavoro pervenute dalle aziende, potrai entrare in ...

continua ›