Peter A. Beerel, Jerry R. Burch, Teresa H. Y. Meng. Efficient verification of determinate speed-independent circuits. In Michael R. Lightner, Jochen A. G. Jess, editors, Proceedings of the 1993 IEEE/ACM International Conference on Computer-Aided Design, 1993, Santa Clara, California, USA, November 7-11, 1993. pages 261-267, IEEE Computer Society, 1993. [doi]
@inproceedings{BeerelBM93,
title = {Efficient verification of determinate speed-independent circuits},
author = {Peter A. Beerel and Jerry R. Burch and Teresa H. Y. Meng},
year = {1993},
doi = {10.1145/259794.259839},
url = {http://doi.acm.org/10.1145/259794.259839},
researchr = {https://researchr.org/publication/BeerelBM93},
cites = {0},
citedby = {0},
pages = {261-267},
booktitle = {Proceedings of the 1993 IEEE/ACM International Conference on Computer-Aided Design, 1993, Santa Clara, California, USA, November 7-11, 1993},
editor = {Michael R. Lightner and Jochen A. G. Jess},
publisher = {IEEE Computer Society},
isbn = {0-8186-4490-7},
}