3335 search results - page 467 / 667 » Grid result checking |
181
click to vote
DATE
1999
IEEE
15 years 10 months ago
1999
IEEE
In this paper, new and efficient BIST methodology and BIST hardware insertion algorithms are presented for RTL data paths obtained from high level synthesis. The methodology is ba...
179
click to vote
RTCSA
1999
IEEE
15 years 10 months ago
1999
IEEE
Although an optimistic approach has been shown to be better than locking protocols for real-time database systems (RTDBS), it has the problems of unnecessary restarts and heavy re...
129
click to vote
EVOW
1999
Springer
15 years 10 months ago
1999
Springer
This paper describes a new approximate approach for checking the correctness of the implementation of a protocol interface, comparing its lowlevel implementation with its high-leve...
150
click to vote
AOSE
2007
Springer
15 years 10 months ago
2007
Springer
The products of systems cannot always be judged at face value: the process by which they were obtained is also important. For instance, the rigour of a scientific experiment, the e...
173
click to vote
FMCAD
2007
Springer
15 years 9 months ago
2007
Springer
Parameterized heuristics abound in computer aided design and verification, and manual tuning of the respective parameters is difficult and time-consuming. Very recent results from ...