IMP : A BDD-based formal verification tool for arithmetic circuits

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review

Originele taal-2	Engels
Titel	Proceedings of the 16th IEEE European Conference on Circuits Theory and Design (ECCTD 2003, Cracow, Poland, September 1-4, 2003)
Redacteuren	Z. Galias
Pagina's	225-228
Volume	2
Status	Gepubliceerd - 2003

Citeer dit

@inproceedings{b7280c84adf742b782729e48d7761b20,

title = "IMP : A BDD-based formal verification tool for arithmetic circuits",

author = "K.L. Man",

year = "2003",

language = "English",

isbn = "8388309951",

volume = "2",

pages = "225--228",

editor = "Z. Galias",

booktitle = "Proceedings of the 16th IEEE European Conference on Circuits Theory and Design (ECCTD 2003, Cracow, Poland, September 1-4, 2003)",

}

IMP : A BDD-based formal verification tool for arithmetic circuits. / Man, K.L.
Proceedings of the 16th IEEE European Conference on Circuits Theory and Design (ECCTD 2003, Cracow, Poland, September 1-4, 2003). uitgave / Z. Galias. Vol. 2 2003. blz. 225-228.

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review