| 2003 |
|---|
| 12 | EE | Amit Goel,
Gagan Hasteer,
Randal E. Bryant:
Symbolic representation with ordered function templates.
DAC 2003: 431-435 |
| 2002 |
|---|
| 11 | EE | Venkatram Krishnaswamy,
Gagan Hasteer,
Prithviraj Banerjee:
Automatic Parallelization of Compiled Event Driven VHDL Simulation.
IEEE Trans. Computers 51(4): 380-394 (2002) |
| 1998 |
|---|
| 10 | EE | Gagan Hasteer,
Anmol Mathur,
Prithviraj Banerjee:
An Implicit Algorithm for Finding Steady States and its Application to FSM Verification.
DAC 1998: 611-614 |
| 9 | EE | Gagan Hasteer,
Anmol Mathur,
Prithviraj Banerjee:
Efficient equivalence checking of multi-phase designs using retiming.
ICCAD 1998: 557-562 |
| 8 | EE | Gagan Hasteer,
Anmol Mathur,
Prithviraj Banerjee:
Efficient equivalence checking of multi-phase designs using phase abstraction and retiming.
ACM Trans. Design Autom. Electr. Syst. 3(4): 600-625 (1998) |
| 7 | | Gagan Hasteer,
Prithviraj Banerjee:
A Parallel Algorithm for State Assignment of Finite State Machines.
IEEE Trans. Computers 47(2): 242-246 (1998) |
| 1997 |
|---|
| 6 | EE | Gagan Hasteer,
Anmol Mathur,
Prithviraj Banerjee:
An Efficient Assertion Checker for Combinational Properties.
DAC 1997: 734-739 |
| 5 | EE | Venkatram Krishnaswamy,
Gagan Hasteer,
Prithviraj Banerjee:
Load Balancing and Workload Minimization Of Overlapping Parallel Tasks.
ICPP 1997: 272-279 |
| 4 | EE | John G. Holm,
John A. Chandy,
Steven Parkes,
Sumit Roy,
Venkatram Krishnaswamy,
Gagan Hasteer,
Prithviraj Banerjee:
Performance Evaluation of Message-Driven Parallel VLSI CAD Applications on General Purpose Multiprocessors.
International Conference on Supercomputing 1997: 172-179 |
| 3 | EE | Gagan Hasteer,
Prithviraj Banerjee:
Simulated Annealing Based Parallel State Assignment of Finite State Machines.
VLSI Design 1997: 69-75 |
| 2 | | Gagan Hasteer,
Prithviraj Banerjee:
Simulated Annealing Based Parallel State Assignment of Finite State Machines.
J. Parallel Distrib. Comput. 43(1): 21-35 (1997) |
| 1996 |
|---|
| 1 | | Gagan Hasteer,
Prithviraj Banerjee:
A Parallel Algorithm for State Assignment of Finite State Machines.
ICPP, Vol. 2 1996: 37-45 |
