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:
2nd International Conference on Advances in Circuits, Electronics and Micro-electronics - CENICS 2009
ISBN: 9780769538327
Any de publicació: 2009
Pàgines: 75-80
Tipus: Aportació congrés