108 search results - page 6 / 22 » Automating commutativity analysis at the design level |
KBSE
2005
IEEE
14 years 1 months ago
2005
IEEE
Major software development standards mandate the establishment of trace links among software artifacts such as requirements, architectural elements, or source code without explici...
DAC
2006
ACM
14 years 8 months ago
2006
ACM
In this paper we present a generic interconnect fabric for transaction level modelling tackeling three major aspects. First, a review of the bus and IO structures that we have ana...
DATE
2005
IEEE
14 years 1 months ago
2005
IEEE
Automated synthesis of monitors from high-level properties plays a significant role in assertion-based verification. We present here a methodology to synthesize assertion monitors...
DAC
2002
ACM
14 years 8 months ago
2002
ACM
In this paper, a new timing generation method is proposed for the performance analysis of embedded software. The time stamp generation of I/O accesses is crucial to performance es...
SIGSOFT
2003
ACM
14 years 8 months ago
2003
ACM
Automated finite-state verification techniques have matured considerably in the past several years, but state-space explosion remains an obstacle to their use. Theoretical lower b...