1179 search results - page 22 / 236 » Relative Timing Based Verification of Timed Circuits and Sys... |
101
click to vote
ASIAN
2006
Springer
15 years 3 months ago
2006
Springer
A component-based realtime system is a simple model for the server-client relation with time constraints. This paper presents an efficient algorithm, called a blackbox testing algo...
ISQED
2003
IEEE
15 years 5 months ago
2003
IEEE
This paper describes the use of integer equations for high level modeling digital circuits for application of formal verification properties at this level. Most formal verificatio...
DAC
2003
ACM
16 years 20 days ago
2003
ACM
With the scaling of technology, power grid noise is becoming increasingly significant for circuit performance. A typical power grid circuit contains millions of linear elements, m...
103
click to vote
ICIAP
2007
ACM
15 years 11 months ago
2007
ACM
In this paper, we propose a computational scheme named an interval-based linear hybrid dynamical system (ILHDS) to represent complex dynamic events based on temporal intervals, ea...
ISSS
2000
IEEE
15 years 4 months ago
2000
IEEE
The ever increasing complexity of embedded systems consisting of hardware and software components poses a challenge in verifying their correctness, New verification methods that o...