1446 search results - page 122 / 290 » Formal analysis of hardware requirements |
ISQED
2005
IEEE
14 years 4 months ago
2005
IEEE
Precise chip-level timing requires careful modeling of the interaction between logic drivers and interconnect. Existing static-timing analysis methodologies generate models for dr...
ASPDAC
2006
ACM
14 years 2 months ago
2006
ACM
Newton is a library-based CAD tool with an analytical synthesis engine which has been developed to support the direct synthesis of the physical design and an electromechanically eq...
CAV
2008
Springer
14 years 12 days ago
2008
Springer
We show how to view certain subclasses of (single-pushout) graph transformation systems as well-structured transition systems, which leads to decidability of the covering problem v...
ICECCS
2009
IEEE
13 years 8 months ago
2009
IEEE
In hard real-time systems such as avionics, computer board level designs are typically customized to meet specific reliability and real time requirements. This paper focuses on co...
FMCAD
2009
Springer
14 years 2 months ago
2009
Springer
This paper discusses a methodology used on an industrial hardware development project to validate various cache-coherence protocol components. The idea is to use a high level model...