1151 search results - page 74 / 231 » Automatic Generation of Complex Properties for Hardware Desi... |
138
click to vote
DATE
2003
IEEE
15 years 9 months ago
2003
IEEE
In this paper, a simulation-based synthesis tool, AMIGO, for analog cell sizing is presented. AMIGO is based upon genetic optimization techniques adapted to circuit sizing. A fram...
164
Voted
USENIX
2008
15 years 6 months ago
2008
A common approach to benchmarking a server is to measure its behavior under load from a workload generator. Often a set of such experiments is required-perhaps with different serv...
117
click to vote
ASPDAC
2007
ACM
15 years 8 months ago
2007
ACM
- Current industry trends in system design -- multiple clocks, clocks with arbitrary frequency ratios, multi-phased clocks, gated clocks, and level-sensitive latches, combined with...
131
click to vote
ECAI
2004
Springer
15 years 9 months ago
2004
Springer
Recent years have seen considerable developments in modeling techniques for automatic fault location in programs. However, much of this research considered the models from a standa...
126
click to vote
ICCAD
2000
IEEE
15 years 8 months ago
2000
IEEE
computation and automatic abstraction. Second, Ketchum performs not only automatic test generation but also unreachability analysis, which enables the test generation effort to be ...