| 1994 |
|---|
| 4 | EE | Anurag P. Gupta,
Daniel P. Siewiorek:
Automated Multi-Cycle Symbolic Timing Verification of Microprocessor-Based Designs.
DAC 1994: 113-119 |
| 1993 |
|---|
| 3 | EE | Anurag P. Gupta,
William P. Birmingham,
Daniel P. Siewiorek:
Automating the design of computer systems.
IEEE Trans. on CAD of Integrated Circuits and Systems 12(4): 473-487 (1993) |
| 1990 |
|---|
| 2 | EE | Patrick Edmond,
Anurag P. Gupta,
Daniel P. Siewiorek,
Audrey A. Brennan:
ASSURE: Automated Design for Dependability.
DAC 1990: 555-560 |
| 1989 |
|---|
| 1 | EE | William P. Birmingham,
Anurag P. Gupta,
Daniel P. Siewiorek:
The MICON System for Computer Design.
DAC 1989: 135-140 |
