118
click to vote
FMCAD
15 years 3 months ago
2007 Springer 
Abstract--Analog and mixed signal (AMS) designs are important integrated circuits that are usually needed at the interface between the electronic system and the real world. Recentl...
106
click to vote
FMCAD
15 years 6 months ago
2007 Springer 
We present a formulation of retiming to minimize the number of registers in a design by iterating a maximum network flow problem. The retiming returned will be the optimum one whi...
108
click to vote
FMCAD
15 years 3 months ago
2007 Springer 
Parameterized heuristics abound in computer aided design and verification, and manual tuning of the respective parameters is difficult and time-consuming. Very recent results from ...
FMCAD
15 years 3 months ago
2007 Springer 
We present a framework for formal verification of embedded custom memories. Memory verification is complicated ifficulty in abstracting design parameters induced by the inherently ...
FMCAD
15 years 3 months ago
2007 Springer
Modeling hardware through atomic guard/action transitions with interleaving semantics is popular, owing to the conceptual clarity of modeling and verifying the high level behavior ...
|
Formal Methods