DocumentCode
2171890
Title
Breadth-first manipulation of SBDD of boolean functions for vector processing
Author
Ochi, Hiroyuki ; Ishiura, Nagisa ; Yajima, Shuzo
Author_Institution
Kyoto University
fYear
1991
fDate
21-21 June 1991
Firstpage
413
Lastpage
416
Keywords
Acceleration; Application software; Boolean functions; Data structures; Inverters; Logic testing; Permission; Supercomputers; Vector processors; Workstations;
fLanguage
English
Publisher
ieee
Conference_Titel
Design Automation Conference, 1991. 28th ACM/IEEE
Conference_Location
IEEE
Print_ISBN
0-89791-395-7
Type
conf
Filename
979751
Link To Document