Formal verification of sequential circuits using binary decision diagrams

C.A.J. Eijk, van

Formal verification of sequential circuits using binary decision diagrams

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. ProRISC/IEEE Benelux Workshop on Circuits, Systems and Signal Processing
Editors	J.P. Veen
Place of Publication	Utrecht, Netherlands
Publisher	STW Technology Foundation
Pages	75-82
Publication status	Published - 1995
Event	1995 ProRISC/IEEE Benelux Workshop on Circuits, Systems and Signal Processing - Mierlo, Netherlands Duration: 23 Mar 1995 → 24 Mar 1995

Conference

Conference	1995 ProRISC/IEEE Benelux Workshop on Circuits, Systems and Signal Processing
Abbreviated title	ProRISC/IEEE 1995
Country/Territory	Netherlands
City	Mierlo
Period	23/03/95 → 24/03/95

Cite this

@inproceedings{acf0a50a709041afaa678a41de3302aa,

title = "Formal verification of sequential circuits using binary decision diagrams",

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

year = "1995",

language = "English",

pages = "75--82",

editor = "J.P. Veen",

booktitle = "Proc. ProRISC/IEEE Benelux Workshop on Circuits, Systems and Signal Processing",

publisher = "STW Technology Foundation",

note = "1995 ProRISC/IEEE Benelux Workshop on Circuits, Systems and Signal Processing, ProRISC/IEEE 1995 ; Conference date: 23-03-1995 Through 24-03-1995",

}

Formal verification of sequential circuits using binary decision diagrams. / Eijk, van, C.A.J.

Proc. ProRISC/IEEE Benelux Workshop on Circuits, Systems and Signal Processing. ed. / J.P. Veen. Utrecht, Netherlands : STW Technology Foundation, 1995. p. 75-82.

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

TY - GEN

T1 - Formal verification of sequential circuits using binary decision diagrams

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

PY - 1995

Y1 - 1995

M3 - Conference contribution

SP - 75

EP - 82

BT - Proc. ProRISC/IEEE Benelux Workshop on Circuits, Systems and Signal Processing

A2 - Veen, J.P.

PB - STW Technology Foundation

CY - Utrecht, Netherlands

T2 - 1995 ProRISC/IEEE Benelux Workshop on Circuits, Systems and Signal Processing

Y2 - 23 March 1995 through 24 March 1995

ER -