Fumihiro Maruyama, Takao Uehara, Nobuaki Kawato, Takao Saito
A verification technique for hardware designs
DAC, 1982.
@inproceedings{DAC-1982-MaruyamaUKS,
author = "Fumihiro Maruyama and Takao Uehara and Nobuaki Kawato and Takao Saito",
booktitle = "{Proceedings of the 19th Design Automation Conference}",
doi = "10.1145/800263.809297",
pages = "832--841",
publisher = "{ACM/IEEE}",
title = "{A verification technique for hardware designs}",
year = 1982,
}