Cross-fertilizing FSM verification techniques and sequential diagnosis

Efficient implementation of a BDD package

DAC '90 Proceedings of the 27th ACM/IEEE Design Automation Conference

A new model for improving symbolic product machine traversal

DAC '92 Proceedings of the 29th ACM/IEEE Design Automation Conference

Switching and Finite Automata Theory: Computer Science Series

Switching and Finite Automata Theory: Computer Science Series

Fast Sequential ATPG Based on Implicit State Enumeration

Proceedings of the IEEE International Test Conference on Test: Faster, Better, Sooner

Model-based fault diagnosis of sequential circuits and its acceleration

EURO-DAC '91 Proceedings of the conference on European design automation