ListarEscuela de Ingeniería Electrónica por palabras clave "Verificación -- Diseños de hardware"
Mostrando ítems 1-1 de 1
-
SCAsrt: An on-line assertion library for SystemC TLM 2.0
(Instituto Tecnológico de Costa Rica, 2022-08)Electronic systems have become more and more complicated in recent years, demonstrated by the increasing gate counts in designs and the invested effort validation and verification of the same. Early architectural choices ...