Controlling State Explosion in Static Simulation by Selective Composition

Partha Pratim Chakrabarti, Pallab Dasgupta, Partha Pratim Das, Arnob Roy, Shuvendu K. Lahiri, Mrinal Bose. Controlling State Explosion in Static Simulation by Selective Composition. In 12th International Conference on VLSI Design (VLSI Design 1999), 10-13 January 1999, Goa, India. pages 226-231, IEEE Computer Society, 1999. [doi]

Authors

Partha Pratim Chakrabarti

This author has not been identified. Look up 'Partha Pratim Chakrabarti' in Google

Pallab Dasgupta

This author has not been identified. Look up 'Pallab Dasgupta' in Google

Partha Pratim Das

This author has not been identified. Look up 'Partha Pratim Das' in Google

Arnob Roy

This author has not been identified. Look up 'Arnob Roy' in Google

Shuvendu K. Lahiri

This author has not been identified. Look up 'Shuvendu K. Lahiri' in Google

Mrinal Bose

This author has not been identified. Look up 'Mrinal Bose' in Google