89 search results - page 6 / 18 » Specification Coverage for Testing in Circus |
106
click to vote
CHARME
2003
Springer
15 years 3 months ago
2003
Springer
In formal verification, we verify that a system is correct with respect to a specification. Even when the system is proven to be correct, there is still a question of how complete ...
104
click to vote
DATE
2004
IEEE
15 years 3 months ago
2004
IEEE
Functional verification is widely acknowledged as a major bottleneck in microprocessor design. While early work on specification driven functional test program generation has prop...
AIS
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. Model verification examines the correctness of a model implementation with respect to a model specification. While being described from model specification, implementatio...
107
click to vote
EURODAC
1994
IEEE
15 years 3 months ago
1994
IEEE
This paper presents a testability improvement method for digital systems described in VHDL behavioral specification. The method is based on testability analysis at registertransfe...
108
click to vote
DAC
2004
ACM
15 years 3 months ago
2004
ACM
Random test generators are often used to create regression suites on-the-fly. Regression suites are commonly generated by choosing several specifications and generating a number o...