Skip to main content
UCSB SoC Design and Test Lab
Search form
Search
Main menu
Home
Members
Publications
Courses
Current Projects
You are here
Home
RTL error diagnosis using a word-level SAT-solver
Submitted by
Amirali Ghofrani
on Tue, 04/07/2015 - 22:35
S. Mirzaeian
,
Zheng, F.
, and
Cheng, K. - T. Tim
,
“
RTL error diagnosis using a word-level SAT-solver
”
, in
Test Conference, 2008. ITC 2008. IEEE International
, 2008.
Google Scholar
BibTeX