897 search results - page 36 / 180 » A Methodology for Agent-Oriented Analysis and Design |
ENTCS
2006
13 years 8 months ago
2006
In recent years several successful GALS realizations have been presented. The core of a GALS system is a locally synchronous island that is designed using industry standard synchr...
DATE
2006
IEEE
14 years 2 months ago
2006
IEEE
Practitioners of formal property verification often work around the capacity limitations of formal verification tools by breaking down properties into smaller properties that ca...
DAC
2005
ACM
13 years 10 months ago
2005
ACM
Traditional corner analysis fails to guarantee a target yield for a given performance metric. However, recently proposed solutions, in the form of statistical timing analysis, whi...
BCSHCI
2007
13 years 9 months ago
2007
We illustrate the basic constituents of a model and demonstrate how the facilities of Task Modeler, such as the visualization options, enable the rapid creation, analysis, and com...
ISQED
2002
IEEE
14 years 25 days ago
2002
IEEE
This paper presents a methodology for the statistical analysis of clock tree structures. It allows to accurately predict and analyze the impact of process variation on clock skew....