4270 search results - page 44 / 854 » A Permutation Approach to Validation |
115
click to vote
ATS
2003
IEEE
15 years 5 months ago
2003
IEEE
We present a framework for high-level design validation using an efficient register-transfer level (RTL) automatic test pattern generator (ATPG). The RTL ATPG generates the test ...
DATE
2000
IEEE
15 years 4 months ago
2000
IEEE
In current microprocessors and systems, an increasingly high silicon portion is derived through automatic synthesis, with designers working exclusively at the RT-level, and design...
ECRTS
2000
IEEE
15 years 4 months ago
2000
IEEE
We present a tool for the design and validation of embedded real-time applications. The tool integrates two approaches, the use of the synchronous programming language ESTEREL for...
ECMDAFA
2008
Springer
15 years 1 months ago
2008
Springer
Frameworks and libraries that use annotations are becoming popular. However, there is not enough software engineering support for annotation development. In particular, the validat...
109
click to vote
SBBD
2007
15 years 1 months ago
2007
Abstract. We consider the problem of XML schema evolution preserving the validity of existing documents related to the original schema. The aim of such schema evolution is to fit ...