Gagan Hasteer

According to our database1, Gagan Hasteer authored at least 12 papers between 1997 and 2009.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2009
Non-cycle-accurate sequential equivalence checking.
Proceedings of the 46th Design Automation Conference, 2009

2003
Symbolic representation with ordered function templates.
Proceedings of the 40th Design Automation Conference, 2003

2002
Automatic Parallelization of Compiled Event Driven VHDL Simulation.
IEEE Trans. Computers, 2002

1998
Efficient Equivalence Checking in a Modular Design Environment
PhD thesis, 1998

Efficient equivalence checking of multi-phase designs using phase abstraction and retiming.
ACM Trans. Design Autom. Electr. Syst., 1998

A Parallel Algorithm for State Assignment of Finite State Machines.
IEEE Trans. Computers, 1998

Efficient equivalence checking of multi-phase designs using retiming.
Proceedings of the 1998 IEEE/ACM International Conference on Computer-Aided Design, 1998

An Implicit Algorithm for Finding Steady States and its Application to FSM Verification.
Proceedings of the 35th Conference on Design Automation, 1998

1997
Simulated Annealing Based Parallel State Assignment of Finite State Machines.
J. Parallel Distributed Comput., 1997

Performance Evaluation of Message-Driven Parallel VLSI CAD Applications on General Purpose Multiprocessors.
Proceedings of the 11th international conference on Supercomputing, 1997

Load Balancing and Workload Minimization Of Overlapping Parallel Tasks.
Proceedings of the 1997 International Conference on Parallel Processing (ICPP '97), 1997

An Efficient Assertion Checker for Combinational Properties.
Proceedings of the 34st Conference on Design Automation, 1997


  Loading...