Automatic equivalence check of circuit descriptions at clocked algorithmic and register transfer level (poster paper)

• Authors:

• Jens Schönberr;Bernd Straube

• Affiliations:

• Fraunhofer-Institut für Integrierte Schaltungen (IIS/EAS), Zeunerstraβe 38, D-01069 Dresden, Germany;Fraunhofer-Institut für Integrierte Schaltungen (IIS/EAS), Zeunerstraβe 38, D-01069 Dresden, Germany

• Venue:
• DATE '00 Proceedings of the conference on Design, automation and test in Europe
• Year:
• 2000