Kaushik Roy, Jacob A. Abraham
A Novel Approach to Accurate Timing Verification Using RTL Descriptions
DAC, 1989.
@inproceedings{DAC-1989-RoyA,
author = "Kaushik Roy and Jacob A. Abraham",
booktitle = "{Proceedings of the 26th Design Automation Conference}",
doi = "10.1145/74382.74494",
pages = "638--641",
publisher = "{ACM Press}",
title = "{A Novel Approach to Accurate Timing Verification Using RTL Descriptions}",
year = 1989,
}