Using 2-domain partitioned OBDD data structure in an...

ACM Transactions on Design Automation of Electronic Systems 2005 / 10 Vol. 10; Iss. 4

Using 2-domain partitioned OBDD data structure in an enhanced symbolic simulator

Feng, Tao, Wang, Li-C, Cheng, Kwang-Ting (Tim), Lin, Chih-Chang (Andy)
How much do you like this book?
What’s the quality of the file?
Download the book for quality assessment
What’s the quality of the downloaded files?
Volume:
10
Language:
english
Journal:
ACM Transactions on Design Automation of Electronic Systems
DOI:
10.1145/1109118.1109122
Date:
October, 2005
File:
PDF, 410 KB
english, 2005
Conversion to is in progress
Conversion to is failed