Tohru Sasaki, Akihiko Yamada, Toshinori Aoyama, Katsutoshi Hasegawa, Shunichi Kato, Shinichi Sato
Hierarchical design verification for large digital systems
DAC, 1981.
@inproceedings{DAC-1981-SasakiYAHKS,
acmid = "802287",
author = "Tohru Sasaki and Akihiko Yamada and Toshinori Aoyama and Katsutoshi Hasegawa and Shunichi Kato and Shinichi Sato",
booktitle = "{Proceedings of the 18th Design Automation Conference}",
pages = "105--112",
publisher = "{ACM/IEEE}",
title = "{Hierarchical design verification for large digital systems}",
year = 1981,
}