289 search results - page 2 / 58 » Verification Patterns for Rapid Embedded System Verification |
RTCSA
1998
IEEE
15 years 3 months ago
1998
IEEE
SEFM
2005
IEEE
15 years 5 months ago
2005
IEEE
The formal description technique RT-LOTOS has been selected as intermediate language to add formality to a real-time UML profile named TURTLE. For this sake, an RT-LOTOS verificat...
DAC
1999
ACM
15 years 3 months ago
1999
ACM
Verification is one of the most critical and time-consuming tasks in today's design processes. This paper demonstrates the verification process of a 8.8 million gate design u...
VLSID
2003
IEEE
15 years 12 months ago
2003
IEEE
Most verification tools and methodologies such as model checking, equivalence checking, hardware verification, software verification, and hardware-software coverification often fl...
RSP
2003
IEEE
15 years 4 months ago
2003
IEEE
This paper addresses the need for systematic verification of timing properties of real-time prototypes, which consist of timing constraints that must be satisfied at any given tim...