Anurag P. Gupta, Daniel P. Siewiorek
Automated Multi-Cycle Symbolic Timing Verification of Microprocessor-Based Designs
DAC, 1994.
@inproceedings{DAC-1994-GuptaS,
author = "Anurag P. Gupta and Daniel P. Siewiorek",
booktitle = "{Proceedings of the 31st Design Automation Conference}",
doi = "10.1145/196244.196299",
isbn = "0-7803-1836-6",
pages = "113--119",
publisher = "{ACM Press}",
title = "{Automated Multi-Cycle Symbolic Timing Verification of Microprocessor-Based Designs}",
year = 1994,
}