An Industrially Effective Environment for Hardware Verification

Carl Seger, Robert Jones, Mark Aagaard, Tom Melham, Clark Barrett, and Don Syme

Details

Publication typeInproceedings
URLhttp://www.ieee.org/
PublisherInstitute of Electrical and Electronics Engineers, Inc.
> Publications > An Industrially Effective Environment for Hardware Verification