Smart Simulation Using Collaborative Formal and Simulation Engines

Pei-Hsin Ho, Thomas R. Shiple, Kevin Harer, James H. Kukula, Robert F. Damiano, Valeria Bertacco, Jerry Taylor, Jiang Long. Smart Simulation Using Collaborative Formal and Simulation Engines. In Ellen Sentovich, editor, Proceedings of the 2000 IEEE/ACM International Conference on Computer-Aided Design, 2000, San Jose, California, USA, November 5-9, 2000. pages 120-126, IEEE, 2000.

Authors

Pei-Hsin Ho

This author has not been identified. It may be one of the following persons: Look up 'Pei-Hsin Ho' in Google

Thomas R. Shiple

This author has not been identified. Look up 'Thomas R. Shiple' in Google

Kevin Harer

This author has not been identified. Look up 'Kevin Harer' in Google

James H. Kukula

This author has not been identified. Look up 'James H. Kukula' in Google

Robert F. Damiano

This author has not been identified. Look up 'Robert F. Damiano' in Google

Valeria Bertacco

This author has not been identified. Look up 'Valeria Bertacco' in Google

Jerry Taylor

This author has not been identified. Look up 'Jerry Taylor' in Google

Jiang Long

This author has not been identified. Look up 'Jiang Long' in Google