1730 search results - page 114 / 346 » Computer Aided Design Modeling for Heterogeneous Objects |
107
Voted
DAC
2003
ACM
16 years 3 months ago
2003
ACM
Bounded Model Checking (BMC) based on Boolean Satisfiability (SAT) procedures has recently gained popularity as an alternative to BDD-based model checking techniques for finding b...
104
Voted
DAC
2006
ACM
16 years 3 months ago
2006
ACM
Optical proximity correction (OPC) is one of the most widely used resolution enhancement techniques (RET) in nanometer designs to improve subwavelength printability. Conventional ...
128
click to vote
DAC
2004
ACM
16 years 3 months ago
2004
ACM
Bounded Model Checking (BMC) relies on solving a sequence of highly correlated Boolean satisfiability (SAT) problems, each of which corresponds to the existence of counter-example...
100
Voted
DAC
2003
ACM
16 years 3 months ago
2003
ACM
Exploring a large portion of the microprocessor design space requires the rapid development of efficient simulators. While some systems support rapid model development through the...
136
click to vote
COMPUTER
2006
15 years 2 months ago
2006
Model-driven development (MDD) is an emerging paradigm that improves the software development lifecycle, particularly for large software systems by providing a higherabstraction fo...