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.
Abstract is missing.