1569 search results - page 99 / 314 » Automated Design Improvement by Example |
118
click to vote
ASPDAC
2004
ACM
15 years 7 months ago
2004
ACM
This paper aims at developing an automated device-level placement for analog circuit design which achieves comparable quality to manual designs by experts. It extracts a set of cl...
132
Voted
DAC
2009
ACM
16 years 4 months ago
2009
ACM
Retiming and recycling are two transformations used to optimize the performance of latency-insensitive (a.k.a. synchronous elastic) systems. This paper presents an approach that c...
133
click to vote
DAC
2006
ACM
16 years 4 months ago
2006
ACM
In this paper, we present a method that helps improve the performance of Bounded Model Checking by automatically strengthening invariants so that the termination proof may be obta...
118
click to vote
ILP
2003
Springer
15 years 8 months ago
2003
Springer
In the case of concept learning from positive and negative examples, it is rarely possible to find a unique discriminating conjunctive rule; in most cases, a disjunctive descripti...
140
Voted
DAC
2006
ACM
16 years 4 months ago
2006
ACM
A novel method to solve the state encoding problem in Signal Transition Graphs is presented. It is based on the structural theory of Petri nets and can be applied to large specifi...