Redundancy Identification and Removal Based on Implicit State Enumeration

Hyunwoo Cho, Gary D. Hachtel, Fabio Somenzi. Redundancy Identification and Removal Based on Implicit State Enumeration. In Proceedings 1991 IEEE International Conference on Computer Design: VLSI in Computer & Processors, ICCD 91, Cambridge, MA, USA, October 14-16, 1991. pages 77-80, IEEE Computer Society, 1991.

Authors

Hyunwoo Cho

This author has not been identified. Look up 'Hyunwoo Cho' in Google

Gary D. Hachtel

This author has not been identified. Look up 'Gary D. Hachtel' in Google

Fabio Somenzi

This author has not been identified. Look up 'Fabio Somenzi' in Google