1996 | ||
---|---|---|
2 | Neeta Ganguly, Magdy S. Abadir, Manish Pandey: PowerPCTM Array Verification Methodology using Formal Techniques. ITC 1996: 857-864 | |
1994 | ||
1 | Neeta Ganguly, Vijay Pitchumani: HSIM1 and HSIM2: Object Oriented Algorithms for VHDL Simulation. VLSI Design 1994: 175-178 |
1 | Magdy S. Abadir | [2] |
2 | Manish Pandey | [2] |
3 | Vijay Pitchumani | [1] |