Optimization of hierarchical designs using partitioning and resynthesis
ICCAD '94 Proceedings of the 1994 IEEE/ACM international conference on Computer-aided design
Computing subsets of equivalence classes for large FSMs
EURO-DAC '95/EURO-VHDL '95 Proceedings of the conference on European design automation
Incremental re-encoding for symbolic traversal of product machines
EURO-DAC '96/EURO-VHDL '96 Proceedings of the conference on European design automation
High-level power modeling, estimation, and optimization
DAC '97 Proceedings of the 34th annual Design Automation Conference
Hybrid verification using saturated simulation
DAC '98 Proceedings of the 35th annual Design Automation Conference
Formal Methods in System Design
A Symbolic Algorithms for Maximum Flow in 0-1 Networks
Formal Methods in System Design
On breakable cyclic definitions
Proceedings of the 2004 IEEE/ACM International conference on Computer-aided design
Scalable compositional minimization via static analysis
ICCAD '05 Proceedings of the 2005 IEEE/ACM International conference on Computer-aided design
| Hi-index | 0.00 |