SystemC came into being due to the engineering demands to model System-on-Chips (SoCs). SoCs require that we model both hardware and software concurrently thereby increasing the level of complexity ...
This paper describes the process and tools used in the verification of a family of Secure Digital (SD) IP cores. The verification process described included SystemC verification, RTL simulation and ...