Location via proxy:
[ UP ]
[Report a bug]
[Manage cookies]
No cookies
No scripts
No ads
No referrer
Show this form
Chauhan P
,
Goyal D
,
Hasteer G
,
Mathur A
and
Sharma N
.
Non-cycle-accurate sequential equivalence checking
. Proceedings of the 46th Annual Design Automation Conference.
(460-465)
.
https://doi.org/10.1145/1629911.1630033