A BDD-based verification engine for combinational equivalence checking

C.A.J. Eijk, van

A BDD-based verification engine for combinational equivalence checking

C.A.J. Eijk, van

Electronic Systems

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

Original language	English
Title of host publication	Proc. CSSP-97, 8th Annual ProRISC/IEEE Workshop on Circuits, Systems and Signal Processing
Editors	J.P. Veen
Place of Publication	Utrecht, Netherlands
Publisher	STW Technology Foundation
Pages	155-162
ISBN (Print)	90-73461-12-X
Publication status	Published - 1997
Event	CSSP-97, 8th Annual ProRISC/IEEE Workshop on Circuits, Systems and Signal Processing - Mierlo, Netherlands Duration: 27 Nov 1997 → 28 Nov 1997

Conference

Conference	CSSP-97, 8th Annual ProRISC/IEEE Workshop on Circuits, Systems and Signal Processing
Abbreviated title	CSSP-97
Country/Territory	Netherlands
City	Mierlo
Period	27/11/97 → 28/11/97

Cite this

@inproceedings{6589fcde44b645d2a15a1e12ac5ba699,

title = "A BDD-based verification engine for combinational equivalence checking",

author = "{Eijk, van}, C.A.J.",

year = "1997",

language = "English",

isbn = "90-73461-12-X",

pages = "155--162",

editor = "J.P. Veen",

booktitle = "Proc. CSSP-97, 8th Annual ProRISC/IEEE Workshop on Circuits, Systems and Signal Processing",

publisher = "STW Technology Foundation",

note = "CSSP-97, 8th Annual ProRISC/IEEE Workshop on Circuits, Systems and Signal Processing, CSSP-97 ; Conference date: 27-11-1997 Through 28-11-1997",

}

Eijk, van, CAJ 1997, A BDD-based verification engine for combinational equivalence checking. in JP Veen (ed.), Proc. CSSP-97, 8th Annual ProRISC/IEEE Workshop on Circuits, Systems and Signal Processing. STW Technology Foundation, Utrecht, Netherlands, pp. 155-162, CSSP-97, 8th Annual ProRISC/IEEE Workshop on Circuits, Systems and Signal Processing, Mierlo, Netherlands, 27/11/97.

A BDD-based verification engine for combinational equivalence checking. / Eijk, van, C.A.J.
Proc. CSSP-97, 8th Annual ProRISC/IEEE Workshop on Circuits, Systems and Signal Processing. ed. / J.P. Veen. Utrecht, Netherlands: STW Technology Foundation, 1997. p. 155-162.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - A BDD-based verification engine for combinational equivalence checking

AU - Eijk, van, C.A.J.

PY - 1997

Y1 - 1997

M3 - Conference contribution

SN - 90-73461-12-X

SP - 155

EP - 162

BT - Proc. CSSP-97, 8th Annual ProRISC/IEEE Workshop on Circuits, Systems and Signal Processing

A2 - Veen, J.P.

PB - STW Technology Foundation

CY - Utrecht, Netherlands

T2 - CSSP-97, 8th Annual ProRISC/IEEE Workshop on Circuits, Systems and Signal Processing

Y2 - 27 November 1997 through 28 November 1997

ER -