Gagan Hasteer

14 papers A* 4A 2B 1Misc 1Journal 4Unranked 1
YearRankTypeTitle / Venue / Authors
2009 A* conf
Non-cycle-accurate sequential equivalence checking.
DAC
Pankaj Chauhan, Deepak Goyal, Gagan Hasteer, Anmol Mathur, Nikhil Sharma
2003 A* conf
Symbolic representation with ordered function templates.
DAC
Amit Goel, Gagan Hasteer, Randal E. Bryant
2002 J jnl
Automatic Parallelization of Compiled Event Driven VHDL Simulation.
IEEE Trans. Computers
Venkatram Krishnaswamy, Gagan Hasteer, Prithviraj Banerjee
1998 J jnl
A Parallel Algorithm for State Assignment of Finite State Machines.
IEEE Trans. Computers
Gagan Hasteer, Prithviraj Banerjee
1998 A* conf
An Implicit Algorithm for Finding Steady States and its Application to FSM Verification.
DAC
Gagan Hasteer, Anmol Mathur, Prithviraj Banerjee
1998 — —
Efficient Equivalence Checking in a Modular Design Environment
Gagan Hasteer
1998 J jnl
Efficient equivalence checking of multi-phase designs using phase abstraction and retiming.
ACM Trans. Design Autom. Electr. Syst.
Gagan Hasteer, Anmol Mathur, Prithviraj Banerjee
1998 A conf
Efficient equivalence checking of multi-phase designs using retiming.
ICCAD
Gagan Hasteer, Anmol Mathur, Prithviraj Banerjee
1997 A* conf
An Efficient Assertion Checker for Combinational Properties.
DAC
Gagan Hasteer, Anmol Mathur, Prithviraj Banerjee
1997 B conf
Load Balancing and Workload Minimization Of Overlapping Parallel Tasks.
ICPP
Venkatram Krishnaswamy, Gagan Hasteer, Prithviraj Banerjee
1997 A conf
Performance Evaluation of Message-Driven Parallel VLSI CAD Applications on General Purpose Multiprocessors.
International Conference on Supercomputing
John G. Holm, John A. Chandy, Steven Parkes, Sumit Roy, Venkatram Krishnaswamy, Gagan Hasteer, Prithviraj Banerjee
1997 Misc conf
Simulated Annealing Based Parallel State Assignment of Finite State Machines.
VLSI Design
Gagan Hasteer, Prithviraj Banerjee
1997 J jnl
Simulated Annealing Based Parallel State Assignment of Finite State Machines.
J. Parallel Distributed Comput.
Gagan Hasteer, Prithviraj Banerjee
1996 — conf
A Parallel Algorithm for State Assignment of Finite State Machines.
ICPP, Vol. 2
Gagan Hasteer, Prithviraj Banerjee