Fumihiro Maruyama, Takao Uehara, Nobuaki Kawato, Takao Saito. A verification technique for hardware designs. In James S. Crabbe, Charles E. Radke, Hillel Ofek, editors, Proceedings of the 19th Design Automation Conference, DAC '82, Las Vegas, Nevada, USA, June 14-16, 1982. pages 832-841, ACM/IEEE, 1982. [doi]
@inproceedings{MaruyamaUKS82,
title = {A verification technique for hardware designs},
author = {Fumihiro Maruyama and Takao Uehara and Nobuaki Kawato and Takao Saito},
year = {1982},
doi = {10.1145/800263.809297},
url = {http://doi.acm.org/10.1145/800263.809297},
researchr = {https://researchr.org/publication/MaruyamaUKS82},
cites = {0},
citedby = {0},
pages = {832-841},
booktitle = {Proceedings of the 19th Design Automation Conference, DAC '82, Las Vegas, Nevada, USA, June 14-16, 1982},
editor = {James S. Crabbe and Charles E. Radke and Hillel Ofek},
publisher = {ACM/IEEE},
isbn = {0-89791-020-6},
}