Manpreet Khaira

According to our database, Manpreet Khaira authored at least 4 papers between 1991 and 1999.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

1999

Logic Verification of Very Large Circuits Using Shark.

Jeremy Casas, Hannah Honghua Yang, Manpreet Khaira, Mandar Joshi, Thomas Tetzlaff, Steve W. Otto, Erik Seligman

Proceedings of the 12th International Conference on VLSI Design (VLSI Design 1999), 1999

1996

Verification of All Circuits in a Floating-Point Unit Using Word-Level Model Checking.

Yirng-An Chen, Edmund M. Clarke, Pei-Hsin Ho, Yatin Vasant Hoskote, Timothy Kam, Manpreet Khaira, John W. O'Leary, Xudong Zhao

Proceedings of the Formal Methods in Computer-Aided Design, First International Conference, 1996

Word Level Model Checking - Avoiding the Pentium FDIV Error.

Edmund M. Clarke, Manpreet Khaira, Xudong Zhao

Proceedings of the 33st Conference on Design Automation, 1996

1991

Parallelizing a New Class of Large Applications over High-speed Networks.

H. T. Kung, Peter Steenkiste, Marco Dimas Gubitoso, Manpreet Khaira

Proceedings of the Third ACM SIGPLAN Symposium on Principles & Practice of Parallel Programming (PPOPP), 1991