Publicações

Towards Equivalence Checking Between Tlm and Rtl Models

AuthID
P-00F-TEK

Author(s)

Bombieri, N

Fummi, F

Pravadelli, G

Marques Silva, J

Tipo de Documento

Proceedings Paper

Year published

2007

Publicado

in MEMOCODE'07: FIFTH ACM & IEEE INTERNATIONAL CONFERENCE ON FORMAL METHODS AND MODELS FOR CO-DESIGN, PROCEEDINGS in MEMOCODE

Páginas: 113-+ (2)

Conference

5Th Acm and Ieee International Conference on Formal Methods and Models for Co-Design, Memocode'07, Date: 30 May 2007 through 1 June 2007, Location: Nice, Patrocinadores: ACM SIG on Embedded Systems;ACM SIG on Design Automation;IEEE France;IEEE Circuits and Systems Society;IEEE Council on Electronic Design Automation

Indexing