26 search results - page 1 / 6 » Specifying and Verifying Systems with Multiple Clocks |
ICCD
2003
IEEE
14 years 1 months ago
2003
IEEE
Multiple clock domains are a challenge for hardware specification and verification. We present a method for specifying the relations between multiple clocks, and for modeling th...
ICCAD
2002
IEEE
13 years 9 months ago
2002
IEEE
Shrinking process geometries and the increasing use of IP components in SoC designs give rise to new problems in routing and buffer insertion. A particular concern is that cross-c...
QSIC
2007
IEEE
13 years 11 months ago
2007
IEEE
The advanced electric power grid is a complex real-time system having both Cyber and Physical components. While each component may function correctly, independently, their composi...
DSN
2000
IEEE
13 years 9 months ago
2000
IEEE
Distributed applications can fail in subtle ways that depend on the state of multiple parts of a system. This complicates the validation of such systems via fault injection, since...
APSEC
2005
IEEE
13 years 10 months ago
2005
IEEE
This paper presents a framework to specify and verify integrated services of a home network system (HNS). We first develop a modeling language to describe the HNS and the integra...