A fully implicit algorithm for exact state minimization
DAC '94 Proceedings of the 31st annual Design Automation Conference
Logic Minimization Algorithms for VLSI Synthesis
Logic Minimization Algorithms for VLSI Synthesis
Fast heuristic algorithms for finite state machine minimization
EURO-DAC '91 Proceedings of the conference on European design automation
A new algorithm for the reduction of incompletely specified finite state machines
Proceedings of the 1998 IEEE/ACM international conference on Computer-aided design
Model Reductions and a Case Study
FMCAD '00 Proceedings of the Third International Conference on Formal Methods in Computer-Aided Design
HSM2: a new heuristic state minimization algorithm for finite state machine
Journal of Computer Science and Technology - Special issue on computer graphics and computer-aided design
On state reduction of incompletely specified finite state machines
Computers and Electrical Engineering
Hi-index | 0.00 |