41 search results - page 9 / 9 » Sequential logic synthesis using symbolic bi-decomposition |
CASES
2006
ACM
14 years 7 days ago
2006
ACM
Architectural advances of modern systems has often been at odds with control complexity, requiring significant effort in both design and verification. This is particularly true ...