Testability driven synthesis of interacting finite state machines

Sequential testability aspects in the decomposition of finite state machines (FSMs) are addressed. It is shown that the sequential testability of an FSM can be enhanced more easily when the machine is recognized to be, or is synthesized as, an interconnection of smaller machines. An exhaustive class...

Ausführliche Beschreibung

Bibliographische Detailangaben

Hauptverfasser:	Ashar, P., Devadas, S., Newton, A.R.
Format:	Tagungsbericht
Sprache:	eng
Schlagworte:	Automata Circuit faults Circuit synthesis Circuit testing Integrated circuit interconnections Logic testing Network synthesis Redundancy Sequential analysis Sequential circuits
Online-Zugang:	Volltext bestellen
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!