Title :
A BDD Package For A Massively Parallel SIMD Architecture
Author :
Cabodi, G.P. ; Gai, S. ; Rebaudengo, M. ; Reorda, M. Sonza
Author_Institution :
Politecnico di Torino Dipartimento di Automatica e Informatica, Italy
Keywords :
Binary decision diagrams; Boolean functions; Central Processing Unit; Circuit testing; Data structures; Input variables; Logic design; Logic testing; Packaging; Utility programs;
Conference_Titel :
Parallel and Distributed Processing, 1994. Proceedings. Second Euromicro Workshop on
Print_ISBN :
0-8186-5370-1
DOI :
10.1109/EMPDP.1994.592492