Skip to main content
SpringerLink
Log in
Book cover

International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems

IEA/AIE 2001: Engineering of Intelligent Systems pp 125–134Cite as

Using Multiple Models for Debugging VHDL Designs*

  • Conference paper
  • First Online:

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 2070))

Abstract

Debugging is a time-consuming task especially for larger programs written by a group of people. In this paper we describe the use of multiple models for debuggingVHDL designs, and presents some practical results. The models are derived from a general value-based model representing different fault situations that should be handled by a debugger.We propose the use of a probability-based selection strategy for selecting the most appropriate model in a given situation. For example large programs should be debugged using a model only distinguishing concurrent VHDL statements and not sequential statements. As a result of multi- model reasoning in this domain we expect performance gains allowing to debug larger designs in a reasonable time, and more expressive diagnosis results.

The work described in this paper was partially supported by the Austrian Science Fund project P12344-INF and project N Z29-INF.

This is a preview of subscription content, log in via an institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. G. W. Bond and B. Pagurek. A Critical Analysis of “Model-Based Diagnosis Meets Error Diagnosis in Logic Programs”. Technical Report SCE-94-15, Carleton University, Dept. of Systems and Computer Engineering, Ottawa, Canada, 1994.

    Google Scholar 

  2. Gregory W. Bond. Logic Programs for Consistency-Based Diagnosis. PhD thesis, Carleton University, Faculty of Engineering, Ottawa, Canada, 1994.

    Google Scholar 

  3. Lisa Burnell and Eric Horvitz. A Synthesis of Logical and Probabilistic Reasoning for Program Understanding and Debugging. In Proceedings of the International Conference on Uncertainty in Artificial Intelligence, pages 285–291, 1993.

    Google Scholar 

  4. Lisa Burnell and Eric Horvitz. Structure and Chance: Melding Logic and Probability for Software Debugging. Communications of the ACM, pages 31–41, 1995.

    Google Scholar 

  5. Kwang-Ting Cheng and Angela Krstic. Current Directions in Automatic Test-Pattern Generation. IEEE-Computer, 32(11), November 1999.

    Google Scholar 

  6. Luca Console, Gerhard Friedrich, and Daniele Theseider Dupr’e. Model-based diagnosis meets error diagnosis in logic programs. In Proceedings 13th International Joint Conf. on Artificial Intelligence, Chambery, August 1993.

    Google Scholar 

  7. Johan de Kleer and Brian C. Williams. Diagnosing multiple faults. Artificial Intelligence, 32(1):97–130, 1987.

    Article  MATH  Google Scholar 

  8. Gerhard Friedrich, Markus Stumptner, and Franz Wotawa. Model-based diagnosis of hardware designs. Artificial Intelligence, 111(2):3–39, July 1999.

    Article  MATH  MathSciNet  Google Scholar 

  9. IEEE. IEEE Standard VHDL Language Reference Manual LRM Std 1076-1987, 1988. Institute of Electrical and Electronics Engineers, Inc. IEEE.

    Google Scholar 

  10. IEEE. IEEE P1076.6/D1.12 Draft Standard For VHDL Register Transfer Level Synthesis, 1998. Institute of Electrical and Electronics Engineers, Inc. IEEE.

    Google Scholar 

  11. Daniel Jackson. Aspect: Detecting Bugs with Abstract Dependences. ACM Transactions on Software Engineering and Methodology, 4(2):109–145, April 1995.

    Article  Google Scholar 

  12. Bogdan Korel. PELAS-Program Error-Locating Assistant System. IEEE Transactions on Software Engineering, 14(9):1253–1260, 1988.

    Article  Google Scholar 

  13. Zainalabedin Navabi. VHDL Analysis and Modeling of Digital Systems. McGraw-Hill, 1993.

    Google Scholar 

  14. R. Reiter. A theory of diagnosis from first principles. Artificial Intelligence, 32(1), 1987.

    Google Scholar 

  15. Ehud Shapiro. Algorithmic Program Debugging. MIT Press, Cambridge, MA, 1983.

    Google Scholar 

  16. Markus Stumptner and Franz Wotawa. Debugging Functional Programs. In Proceedings 16th International Joint Conf. on Artificial Intelligence, Stockholm, Sweden, August 1999.

    Google Scholar 

  17. Mark Weiser. Programmers use slices when debugging. Communications of the ACM, 25(7):446–452, July 1982.

    Article  Google Scholar 

  18. Mark Weiser. Program slicing. IEEE Transactions on Software Engineering, 10(4): 352–357, July 1984.

    Article  Google Scholar 

  19. Franz Wotawa. Debugging synthesizeable VHDL Programs. In Proceedings of the Tenth International Workshop on Principles of Diagnosis, 1999.

    Google Scholar 

  20. Franz Wotawa. New Directions in Debugging Hardware Designs. In Proceedings of the International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, 1999. Springer, Lecture Notes in Artificial Intelligence 462 (LNAI 462).

    Google Scholar 

  21. Franz Wotawa. Debugging VHDL Designs using Model-Based Reasoning. Artificial Intelligence in Engineering, 14(4):331–351, 2000.

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Database and Artificial Intelligence Group, Technische UniversitätWien Institut für Informationssysteme, Favoritenstraße 9-11, A-1040, Vienna, Austria

    Franz Wotawa

Authors
  1. Franz Wotawa
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Hungarian Academy of Sciences, Intelligent Manufacturing and Business Processes Computer and Automation Research Institute, Kende utca 13-17, 1111, Budapest, Hungary

    László Monostori  & József Váncza  & 

  2. Department of Computer Science 601 University Drive, Southwest Texas State University, San Marcos, TX, 78666-4616, USA

    Moonis Ali

Rights and permissions

Reprints and permissions

Copyright information

© 2001 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Wotawa, F. (2001). Using Multiple Models for Debugging VHDL Designs* . In: Monostori, L., Váncza, J., Ali, M. (eds) Engineering of Intelligent Systems. IEA/AIE 2001. Lecture Notes in Computer Science(), vol 2070. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45517-5_16

Download citation

  • DOI: https://doi.org/10.1007/3-540-45517-5_16

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-42219-8

  • Online ISBN: 978-3-540-45517-2

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation