Partial order reduction for scalable testing of systemC TLM designs - Kundu, Sudipta; Ganai, Malay; Gupta, Rajesh (2008 45th ACM/IEEE Design Automation Conference, 2008)
Keywords: Algorithm design and analysis; Analytical models; Computational modeling; Computing methodologies -- Modeling and simulation -- Model development and analysis; Computing methodologies -- Modeling and simulation -- Model development and analysis -- Model verification and validation; Formal verification; Kernel; Object oriented modeling; Partial-Order Reduction; Safety; Simulation; State-space methods; System recovery; System testing; Testing; Verification; partial-order reduction; simulation; verification; testing