HSIM1 and HSIM2: Object Oriented Algorithms for VHDL Simulation. - Neeta Ganguly; Vijay Pitchumani (VLSI Design, 1994)

PowerPCTM Array Verification Methodology using Formal Techniques. - Neeta Ganguly; Magdy S. Abadir; Manish Pandey (ITC, 1996)