Shinji Kimura
Residue BDD and Its Application to the Verification of Arithmetic Circuits
DAC, 1995.
@inproceedings{DAC-1995-Kimura,
author = "Shinji Kimura",
booktitle = "{Proceedings of the 32nd Design Automation Conference}",
doi = "10.1145/217474.217584",
isbn = "0-89791-725-1",
pages = "542--545",
publisher = "{ACM Press}",
title = "{Residue BDD and Its Application to the Verification of Arithmetic Circuits}",
year = 1995,
}