Sciweavers

ICCAD
2008
IEEE
151views Hardware» more  ICCAD 2008»
14 years 8 months ago
Race analysis for SystemC using model checking
—SystemC is a system-level modeling language that offers a wide range of features to describe concurrent systems rent levels of abstraction. The SystemC standard permits simulato...
Nicolas Blanc, Daniel Kroening