External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Solver technology for system-level to RTL equivalence checking

Alfred Kölbl, Reily Jacoby, Himanshu Jain, Carl Pixley. Solver technology for system-level to RTL equivalence checking. In Design, Automation and Test in Europe, DATE 2009, Nice, France, April 20-24, 2009. pages 196-201, IEEE, 2009. [doi]

Authors

Alfred Kölbl

This author has not been identified. Look up 'Alfred Kölbl' in Google

Reily Jacoby

This author has not been identified. Look up 'Reily Jacoby' in Google

Himanshu Jain

This author has not been identified. Look up 'Himanshu Jain' in Google

Carl Pixley

This author has not been identified. Look up 'Carl Pixley' in Google
runs on