A transaction level assertion verification framework in systemC: An application study
- Tomasena, K.
- Sevillano, J.F.
- Pérez, J.
- Cortés, A.
- Vélez, I.
Actes de conférence:
2nd International Conference on Advances in Circuits, Electronics and Micro-electronics - CENICS 2009
ISBN: 9780769538327
Année de publication: 2009
Pages: 75-80
Type: Communication dans un congrès