'Same variable v' presentation slideshows

Partial Order Reduction for Scalable Testing of SystemC TLM Designs

Partial Order Reduction for Scalable Testing of SystemC TLM Designs. Sudipta Kundu , University of California, San Diego Malay Ganai, NEC Laboratories America Rajesh Gupta, University of California, San Diego. Can be 3 orders of magnitude faster. Simulation. Formal Methods.

349 views • 18 slides