Formal verification of sequential circuits using binary decision diagrams

C.A.J. Eijk, van

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Originele taal-2Engels
TitelProc. ProRISC/IEEE Benelux Workshop on Circuits, Systems and Signal Processing
RedacteurenJ.P. Veen
Plaats van productieUtrecht, Netherlands
UitgeverijSTW Technology Foundation
Pagina's75-82
StatusGepubliceerd - 1995
Evenement1995 ProRISC/IEEE Benelux Workshop on Circuits, Systems and Signal Processing - Mierlo, Nederland
Duur: 23 mrt 199524 mrt 1995

Congres

Congres1995 ProRISC/IEEE Benelux Workshop on Circuits, Systems and Signal Processing
Verkorte titelProRISC/IEEE 1995
Land/RegioNederland
StadMierlo
Periode23/03/9524/03/95
AnderProc. ProRISC/IEEE Benelux Workshop on Circuits, Systems and Signal Processing, Mierlo, Netherlands, 23-24 March 1995

Citeer dit