Formal verification of combinational circuits using binary decision diagrams

C.A.J. Eijk, van

Formal verification of combinational 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
Pages	97-100
Publication status	Published - 1994
Event	1994 ProRISC/IEEE Benelux Workshop on Circuits, Systems and Signal Processing - Arnhem Duration: 24 Mar 1994 → 24 Mar 1994

Conference

Conference	1994 ProRISC/IEEE Benelux Workshop on Circuits, Systems and Signal Processing
Abbreviated title	ProRISC/IEEE
City	Arnhem
Period	24/03/94 → 24/03/94

Cite this

@inproceedings{5092ba0e0df44e19a225c4dfa7de8b5e,

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

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

year = "1994",

language = "English",

pages = "97--100",

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

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

}

TY - GEN

T1 - Formal verification of combinational circuits using binary decision diagrams

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

PY - 1994

Y1 - 1994

M3 - Conference contribution

SP - 97

EP - 100

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

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

Y2 - 24 March 1994 through 24 March 1994

ER -