 | 1994 |
|---|
| 5 |       | Anurag P. Gupta,
Daniel P. Siewiorek:
Automated Multi-Cycle Symbolic Timing Verification of Microprocessor-Based Designs.
DAC 1994: 113-119 |
| 1993 |
|---|
| 4 | | 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) |
| 1992 |
|---|
| 3 |  | William P. Birmingham,
Anurag P. Gupta,
Daniel P. Siewiorek:
Automating the design of computer systems - the MICON project.
Jones and Bartlett Publishers 1992: I-XIV, 1-278 |
| 1990 |
|---|
| 2 | | Patrick Edmond,
Anurag P. Gupta,
Daniel P. Siewiorek,
Audrey A. Brennan:
ASSURE: Automated Design for Dependability.
DAC 1990: 555-560 |
| 1989 |
|---|
| 1 | | William P. Birmingham,
Anurag P. Gupta,
Daniel P. Siewiorek:
The MICON System for Computer Design.
DAC 1989: 135-140 |
Data released under the ODC-BY 1.0 license — See also our legal information page