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
Sequential equivalence checking based on K-th invariants and circuit SAT solving
Submitted by
superuser
on Mon, 04/06/2015 - 21:08
F. Lu
and
Cheng, K. - T. Tim
,
“
Sequential equivalence checking based on K-th invariants and circuit SAT solving
”
, in
High-Level Design Validation and Test Workshop, 2005. Tenth IEEE International
, 2005, pp. 45–51.
Google Scholar
BibTeX