279 search results - page 12 / 56 » Abstraction and refinement techniques in automated design de... |
165
click to vote
TCAD
2008
15 years 5 months ago
2008
The quality and the correctness of software is often the greatest concern in electronic systems. Formal verification tools can provide a guarantee that a design is free of specific...
166
click to vote
ASPDAC
2008
ACM
15 years 8 months ago
2008
ACM
Abstract-- We address performance maximization of independent task sets under energy constraint on chip multi-processor (CMP) architectures that support multiple voltage/frequency ...
157
click to vote
DAC
2009
ACM
16 years 7 months ago
2009
ACM
Post-silicon validation has become an essential step in the design flow of today's complex integrated circuits. One effective technique that provides real-time visibility to ...
178
click to vote
IEEECIT
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract—Model-driven development has become the stateof-the-art approach for designing embedded real-time systems. heir high level of abstraction, models are easier to understan...
176
click to vote
JAR
2006
15 years 6 months ago
2006
We describe an approach to verifying bit-level pipelined machine models using a combination of deductive reasoning and decision procedures. While theorem proving systems such as AC...