A BDD-based verification engine for combinational equivalence checking

C.A.J. Eijk, van

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Original languageEnglish
Title of host publicationProc. CSSP-97, 8th Annual ProRISC/IEEE Workshop on Circuits, Systems and Signal Processing
EditorsJ.P. Veen
Place of PublicationUtrecht, Netherlands
PublisherSTW Technology Foundation
Pages155-162
ISBN (Print)90-73461-12-X
Publication statusPublished - 1997
EventCSSP-97, 8th Annual ProRISC/IEEE Workshop on Circuits, Systems and Signal Processing - Mierlo, Netherlands
Duration: 27 Nov 199728 Nov 1997

Conference

ConferenceCSSP-97, 8th Annual ProRISC/IEEE Workshop on Circuits, Systems and Signal Processing
Abbreviated titleCSSP-97
CountryNetherlands
CityMierlo
Period27/11/9728/11/97

Cite this