RTL Error Diagnosis Using a Word-Level SAT-Solver.

Autor:	Mirzaeian, S., Feijun Zheng, Cheng, K.-T.T.
Zdroj:	2008 IEEE International Test Conference; 2008, p1-8, 8p
Databáze:	Complementary Index
Externí odkaz:	Zobrazit plný text záznamu