Elizabeth A. Walkup, Gaetano Borriello
Interface Timing Verification with Application to Synthesis
DAC, 1994.
@inproceedings{DAC-1994-WalkupB,
author = "Elizabeth A. Walkup and Gaetano Borriello",
booktitle = "{Proceedings of the 31st Design Automation Conference}",
doi = "10.1145/196244.196297",
isbn = "0-7803-1836-6",
pages = "106--112",
publisher = "{ACM Press}",
title = "{Interface Timing Verification with Application to Synthesis}",
year = 1994,
}