Bill Lin, A. Richard Newton. Exact Redundant State Registers Removal Based on Binary Decision Diagrams. In Arne Halaas, Peter B. Denyer, editors, VLSI 91, Proceedings of the IFIP TC10/WG 10.5 International Conference on Very Large Scale Integration, Edinburgh, Scotland, 20-22 August, 1991. Volume A-1 of IFIP Transactions, pages 277-286, North-Holland, 1991.
@inproceedings{LinN91:1,
title = {Exact Redundant State Registers Removal Based on Binary Decision Diagrams},
author = {Bill Lin and A. Richard Newton},
year = {1991},
tags = {rule-based},
researchr = {https://researchr.org/publication/LinN91%3A1},
cites = {0},
citedby = {0},
pages = {277-286},
booktitle = {VLSI 91, Proceedings of the IFIP TC10/WG 10.5 International Conference on Very Large Scale Integration, Edinburgh, Scotland, 20-22 August, 1991},
editor = {Arne Halaas and Peter B. Denyer},
volume = {A-1},
series = {IFIP Transactions},
publisher = {North-Holland},
isbn = {0-444-89019-X},
}