Article

Comparison of Bayesian networks and data mining for coverage directed verification category simulation-based verification

Authors:

M. Braun,

W. Rosenstiel,

K.-D. SchubertAuthors Info & Claims

HLDVT '03: Proceedings of the Eighth IEEE International Workshop on High-Level Design Validation and Test Workshop

Page 91

Published: 12 November 2003 Publication History

Publisher Site

Abstract

Today directed random simulation is one of the most commonly used verification techniques. Because this technique in no proof of correctness, it is important to test the design as complete as possible. But this is a hard to reach goal, that needs a lot of computing power and much human interaction. There has been a proposal for using Bayesian networks to implement an automatic feedback loop (Shai Fine et al, 40th Design Automation Conference, 2003). In addition, this paper introduces another implementation of an automatic feedback loop using data mining techniques. Both approaches are applied to the same design and the results are compared.

References

[1]

Using the Intelligent Miner for Data. IBM, 2002.

Google Scholar

[2]

J. Bergeron. Writing Testbenches: Functional Verification of HDL Models. Kluwer Academic Publishers, Dordrecht, Netherlands, 2000.

Crossref

Google Scholar

[3]

F. B. Jensen. Bayesian Networks and Decision Graphs. Springer, 2001.

Crossref

Google Scholar

[4]

L. Breiman, J. H. Friedman, R. A. Olshen, and C. J. Stone. Classification and regression trees. Technical report, Wadsworth International, Monterey, CA, 1984.

Google Scholar

[5]

Shai Fine and Avi Ziv. Coverage directed test generation for functional verification using bayesian networks. In 40th Design Automation Conference 2003, IBM Haifa Research Lab., Haifa, Israel, 2-6 June 2003. Association for Computing Machinery.

Crossref

Google Scholar

Cited By

View all

Ioannides CEder K(2012)Coverage-Directed Test Generation Automated by Machine Learning -- A ReviewACM Transactions on Design Automation of Electronic Systems10.1145/2071356.207136317:1(1-21)Online publication date: 1-Jan-2012
https://dl.acm.org/doi/10.1145/2071356.2071363
Faghihi UFournier-viger PNkambou R(2012)A computational model for causal learning in cognitive agentsKnowledge-Based Systems10.1016/j.knosys.2011.09.00530(48-56)Online publication date: 1-Jun-2012
https://dl.acm.org/doi/10.1016/j.knosys.2011.09.005
Faghihi UFournier-Viger PNkambou R(2011)A cognitive tutoring agent with episodic and causal learning capabilitiesProceedings of the 15th international conference on Artificial intelligence in education10.5555/2026506.2026520(72-80)Online publication date: 28-Jun-2011
https://dl.acm.org/doi/10.5555/2026506.2026520
Show More Cited By

Comparison of Bayesian networks and data mining for coverage directed verification category simulation-based verification
1. Information systems
  1. Information systems applications
2. Theory of computation

Recommendations

Coverage metrics for formal verification

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 the specification is and whether it really covers all the behaviors of ...
Efficient Verification of Sequential and Concurrent C Programs

There has been considerable progress in the domain of software verification over the last few years. This advancement has been driven, to a large extent, by the emergence of powerful yet automated abstraction techniques such as predicate abstraction. ...
Improving simulation-based verification by means of formal methods
ASP-DAC '04: Proceedings of the 2004 Asia and South Pacific Design Automation Conference

The design of complex systems is largely ruled by the time needed for verification. Even though formal methods can provide higher reliability, in practice often simulation based verification is used. Large testbenches are created and if the design ...

Comments

Information & Contributors

Information

Published In

HLDVT '03: Proceedings of the Eighth IEEE International Workshop on High-Level Design Validation and Test Workshop

November 2003

ISBN:0780382366

Publisher

IEEE Computer Society

United States

Publication History

Published: 12 November 2003

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

5
Total Citations
View Citations
0
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 12 Jan 2025

Other Metrics

View Author Metrics

Citations

Cited By

View all

Ioannides CEder K(2012)Coverage-Directed Test Generation Automated by Machine Learning -- A ReviewACM Transactions on Design Automation of Electronic Systems10.1145/2071356.207136317:1(1-21)Online publication date: 1-Jan-2012
https://dl.acm.org/doi/10.1145/2071356.2071363
Faghihi UFournier-viger PNkambou R(2012)A computational model for causal learning in cognitive agentsKnowledge-Based Systems10.1016/j.knosys.2011.09.00530(48-56)Online publication date: 1-Jun-2012
https://dl.acm.org/doi/10.1016/j.knosys.2011.09.005
Faghihi UFournier-Viger PNkambou R(2011)A cognitive tutoring agent with episodic and causal learning capabilitiesProceedings of the 15th international conference on Artificial intelligence in education10.5555/2026506.2026520(72-80)Online publication date: 28-Jun-2011
https://dl.acm.org/doi/10.5555/2026506.2026520
Marquez CStrum MChau WSaraiva IRibas RPlett C(2009)A PD-based methodology to enhance efficiency in testbenches with random stimulationProceedings of the 22nd Annual Symposium on Integrated Circuits and System Design: Chip on the Dunes10.1145/1601896.1601921(1-6)Online publication date: 31-Aug-2009
https://dl.acm.org/doi/10.1145/1601896.1601921
Romero EStrum MChau WEles PJantsch ABergamaschi R(2005)Comparing two testbench methods for hierarchical functional verification of a bluetooth baseband adaptorProceedings of the 3rd IEEE/ACM/IFIP international conference on Hardware/software codesign and system synthesis10.1145/1084834.1084914(327-332)Online publication date: 19-Sep-2005
https://dl.acm.org/doi/10.1145/1084834.1084914

Abstract

References

Cited By

Recommendations

Coverage metrics for formal verification

Efficient Verification of Sequential and Concurrent C Programs

Improving simulation-based verification by means of formal methods

Comments

Information

Published In

Publisher

Publication History

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations