Export Citations
1 Results for: Book/Issue: DATE '04: Proceedings of the conference on Design, automation and test in Europe - Volume 1
Save this search
Please login to be able to save your searches and receive alerts for new content matching your search criteria.
Searched The ACM Guide to Computing Literature (3,836,933 records)|Limit your search to The ACM Full-Text Collection (774,356 records)
Showing 1 - 1of1 Results
Select All
- ArticleFebruary 2004
Improved Symoblic Simulation by Dynamic Funtional Space Partitioning
DATE '04: Proceedings of the conference on Design, automation and test in Europe - Volume 1Page 10042In this paper, we provide a flexible and automatic method to partition the functional space for efficient symbolic simulation. We utilize a 2-tuple list representation as the basis for partitioning the functional space. The partitioning is carried out ...
