Constrained Stimulus Generation with Self-Adjusting Using Tabu Search with Memory

Despite the growing research effort in formal verification, industrial verification often relies on the constrained random simulation methodology, which is supported by constraint solvers as the stimulus generator integrated within simulator, especially for the large design with complex constraints...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences Communications and Computer Sciences, 2009/12/01, Vol.E92.A(12), pp.3086-3093
Hauptverfasser:	ZHAO, Yanni, BIAN, Jinian, DENG, Shujun, KONG, Zhiqiu, ZHAO, Kang
Format:	Artikel
Sprache:	eng
Schlagworte:	Computer simulation constrained random simulation Constraints Electronics Generators piecewise-uniform SAT Solvers Stimuli stimulus generation Strategy Tabu search tabu search with memory
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!