A transaction level assertion verification framework in systemC: An application study

  1. Tomasena, K.
  2. Sevillano, J.F.
  3. Pérez, J.
  4. Cortés, A.
  5. Vélez, I.
Actas:
2nd International Conference on Advances in Circuits, Electronics and Micro-electronics - CENICS 2009

ISBN: 9780769538327

Año de publicación: 2009

Páginas: 75-80

Tipo: Aportación congreso

DOI: 10.1109/CENICS.2009.24 GOOGLE SCHOLAR
Fuente de los datos: Scopus