%0 Conference Paper %1 conf/dac/RoyA89 %A Roy, Kaushik %A Abraham, Jacob A. %B DAC %D 1989 %E Thomas, Donald E. %I ACM Press %K dblp %P 638-641 %T A Novel Approach to Accurate Timing Verification Using RTL Descriptions. %U http://dblp.uni-trier.de/db/conf/dac/dac89.html#RoyA89

@inproceedings{conf/dac/RoyA89, added-at = {2017-03-16T00:00:00.000+0100}, author = {Roy, Kaushik and Abraham, Jacob A.}, biburl = {https://www.bibsonomy.org/bibtex/216c076c9d616dcf52a44fb8017895ad4/dblp}, booktitle = {DAC}, crossref = {conf/dac/1989}, editor = {Thomas, Donald E.}, ee = {http://doi.acm.org/10.1145/74382.74494}, interhash = {859756f917874b939f9808b45cf2a2d6}, intrahash = {16c076c9d616dcf52a44fb8017895ad4}, keywords = {dblp}, pages = {638-641}, publisher = {ACM Press}, timestamp = {2017-03-17T11:39:10.000+0100}, title = {A Novel Approach to Accurate Timing Verification Using RTL Descriptions.}, url = {http://dblp.uni-trier.de/db/conf/dac/dac89.html#RoyA89}, year = 1989 }