Controlling State Explosion in Static Simulation by Selective Composition.

Partha Pratim Chakrabarti, Pallab Dasgupta, Partha Pratim Das, Arnob Roy, Shuvendu K. Lahiri, Mrinal Bose

Browse the full VLSID paper archive.