• SCAsrt: An on-line assertion library for SystemC TLM 2.0 

      Pacheco-Castro, José Andrés (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 ...