Parminder Singh Chhabra

Publication Activity (10 Years)

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

Publications

Srivatsan Srinivasan, Parminder Singh Chhabra, Praveen Kumar Jaini, Adnan Aziz, Lizy Kurian John
Formal Verification of a Snoop-Based Cache Coherence Protocol Using Symbolic Model Checking. VLSI Design (1999)