Implicit state minimization of non-deterministic FSMs

Timothy Kam, Tiziano Villa, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli. Implicit state minimization of non-deterministic FSMs. In 1995 International Conference on Computer Design (ICCD 95), VLSI in Computers and Processors, October 2-4, 1995, Austin, TX, USA, Proceedings. pages 250-257, IEEE Computer Society, 1995. [doi]

Authors

Timothy Kam

This author has not been identified. Look up 'Timothy Kam' in Google

Tiziano Villa

This author has not been identified. Look up 'Tiziano Villa' in Google

Robert K. Brayton

This author has not been identified. Look up 'Robert K. Brayton' in Google

Alberto L. Sangiovanni-Vincentelli

This author has not been identified. Look up 'Alberto L. Sangiovanni-Vincentelli' in Google