An example of interactive hardware transformation (0)

by Zheng Zhu, Steven D Johnson
Venue:In 1991 International Workshop on Formal Verification in VLSI Design. ACM IFIP WG 10.2