Travelled to:3 × USA
Collaborated with:D.P.Siewiorek W.P.Birmingham P.Edmond A.A.Brennan
Talks about:design (3) autom (2) microprocessor (1) system (1) symbol (1) depend (1) comput (1) verif (1) multi (1) micon (1)
Person: Anurag P. Gupta
DBLP: Gupta:Anurag_P=
Contributed to:
199419901989Wrote 3 papers:
- DAC-1994-GuptaS #automation #design #multi #verification
- Automated Multi-Cycle Symbolic Timing Verification of Microprocessor-Based Designs (APG, DPS), pp. 113–119.
- DAC-1990-EdmondGSB #automation #dependence #design #named
- ASSURE: Automated Design for Dependability (PE, APG, DPS, AAB), pp. 555–560.
- DAC-1989-BirminghamGS #design
- The MICON System for Computer Design (WPB, APG, DPS), pp. 135–140.