Automatic functional vector generation using the interacting FSM model

While the coverage-driven design validation is becoming popular, it would be more convenient for users to have an automatic generator that can generate the input patterns to satisfy the coverage requirements. The symbolic techniques can be used to generate the desired input patterns easily for a spe...

Ausführliche Beschreibung

Bibliographische Detailangaben

Hauptverfasser:	Liu, C.N.J., Chia-Chih Yen, Jing-Yang Jou
Format:	Tagungsbericht
Sprache:	eng
Schlagworte:	Automata Boolean functions Circuits Data structures Design engineering Electronic design automation and methodology Engines Formal verification Hardware design languages Process design
Online-Zugang:	Volltext bestellen
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!