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
SEChecker: A Sequential Equivalence Checking Framework Based on th Invariants
Submitted by
Amirali Ghofrani
on Tue, 04/07/2015 - 22:32
F. Lu
and
Cheng, K. - T. Tim
,
“
SEChecker: A Sequential Equivalence Checking Framework Based on th Invariants
”
,
Very Large Scale Integration (VLSI) Systems, IEEE Transactions on
, vol. 17, pp. 733–746, 2009.
Google Scholar
BibTeX