Travelled to:4 × USA
Collaborated with:A.Mathur P.Banerjee A.Goel R.E.Bryant P.Chauhan D.Goyal N.Sharma
Talks about:represent (1) algorithm (1) sequenti (1) properti (1) implicit (1) function (1) templat (1) equival (1) checker (1) symbol (1)
Person: Gagan Hasteer
DBLP: Hasteer:Gagan
Contributed to:
2009200319981997Wrote 4 papers:
- DAC-2009-ChauhanGHMS #equivalence
- Non-cycle-accurate sequential equivalence checking (PC, DG, GH, AM, NS), pp. 460–465.
- DAC-2003-GoelHB #order #representation
- Symbolic representation with ordered function templates (AG, GH, REB), pp. 431–435.
- DAC-1998-HasteerMB #algorithm #automaton #verification
- An Implicit Algorithm for Finding Steady States and its Application to FSM Verification (GH, AM, PB), pp. 611–614.
- DAC-1997-HasteerMB #performance
- An Efficient Assertion Checker for Combinational Properties (GH, AM, PB), pp. 734–739.