Manpreet Khaira

Publication Activity (10 Years)

Years Active: 1991-1999
Publications (10 Years): 0

Publications

Jeremy Casas, Hannah Honghua Yang, Manpreet Khaira, Mandar Joshi, Thomas Tetzlaff, Steve W. Otto, Erik Seligman
Logic Verification of Very Large Circuits Using Shark. VLSI Design (1999)
Edmund M. Clarke, Manpreet Khaira, Xudong Zhao
Word Level Model Checking - Avoiding the Pentium FDIV Error. DAC (1996)
Yirng-An Chen, Edmund M. Clarke, Pei-Hsin Ho, Yatin Vasant Hoskote, Timothy Kam, Manpreet Khaira, John W. O'Leary, Xudong Zhao
Verification of All Circuits in a Floating-Point Unit Using Word-Level Model Checking. FMCAD (1996)
H. T. Kung, Peter Steenkiste, Marco Gubitoso, Manpreet Khaira
Parallelizing a New Class of Large Applications over High-speed Networks. PPOPP (1991)