{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,29]],"date-time":"2025-12-29T19:08:31Z","timestamp":1767035311950},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540793540"},{"type":"electronic","value":"9783540793557"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-79355-7_35","type":"book-chapter","created":{"date-parts":[[2008,8,11]],"date-time":"2008-08-11T13:20:59Z","timestamp":1218460859000},"page":"363-372","source":"Crossref","is-referenced-by-count":10,"title":["Advances in Automated Source-Level Debugging of Verilog Designs"],"prefix":"10.1007","author":[{"given":"Bernhard","family":"Peischl","sequence":"first","affiliation":[]},{"given":"Naveed","family":"Riaz","sequence":"additional","affiliation":[]},{"given":"Franz","family":"Wotawa","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"35_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"428","DOI":"10.1007\/3-540-61474-5_95","volume-title":"Computer Aided Verification","author":"R.K. Brayton","year":"1996","unstructured":"Brayton, R.K., et al.: VIS: A system for verification and synthesis. In: Alur, R., Henzinger, T.A. (eds.) CAV 1996. LNCS, vol.\u00a01102, pp. 428\u2013432. Springer, Heidelberg (1996)"},{"issue":"1","key":"35_CR2","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1016\/0004-3702(87)90063-4","volume":"32","author":"J. Kleer de","year":"1987","unstructured":"de Kleer, J., Williams, B.C.: Diagnosing multiple faults. Artificial Intelligence\u00a032(1), 97\u2013130 (1987)","journal-title":"Artificial Intelligence"},{"key":"35_CR3","unstructured":"Esser, M., Struss, P.: Fault-model-based test generation for embedded software. In: IJCAI, pp. 342\u2013347 (2007)"},{"issue":"1","key":"35_CR4","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1093\/comjnl\/45.1.27","volume":"45","author":"M.J.C. Gordon","year":"2002","unstructured":"Gordon, M.J.C.: Relating event and trace semantics of hardware description languages. The Computer Journal\u00a045(1), 27\u201336 (2002)","journal-title":"The Computer Journal"},{"issue":"1","key":"35_CR5","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1016\/0004-3702(89)90079-9","volume":"41","author":"R. Greiner","year":"1989","unstructured":"Greiner, R., Smith, B.A., Wilkerson, R.W.: A correction to the algorithm in Reiter\u2019s theory of diagnosis. Artificial Intelligence\u00a041(1), 79\u201388 (1989)","journal-title":"Artificial Intelligence"},{"key":"35_CR6","doi-asserted-by":"crossref","unstructured":"Griesmayer, A., Staber, S., Bloem, R.: Automated fault localization in c programs. In: Proceedings of the First Workshop on Verification and Debugging (V&D 2006), pp. 95\u2013111 (2006)","DOI":"10.1016\/j.entcs.2006.12.032"},{"key":"35_CR7","doi-asserted-by":"crossref","unstructured":"Hou, A.: A theory of measurement in diagnosis from first principles. Artificial Intelligence, pp. 281\u2013328 (1991)","DOI":"10.1016\/0004-3702(94)90019-1"},{"key":"35_CR8","unstructured":"IEEE. IEEE Standard VHDL Language Reference Manual LRM Std 1076-1987, 1988. Institute of Electrical and Electronics Engineers, Inc. IEEE"},{"key":"35_CR9","unstructured":"IEEE. IEEE Standard Verilog Language Reference Manual LRM Std 11364-1995, 1995. Institute of Electrical and Electronics Engineers, Inc. IEEE"},{"key":"35_CR10","unstructured":"Meerwijk, A., Priest, C.: Using multiple tests for model-based diagnosis. In: Proceedings of the Third International Workshop on Principles of Diagnosis, Washington, pp. 30\u201339 (1992)"},{"key":"35_CR11","series-title":"Lecture Notes in Computer Science","first-page":"402","volume-title":"Developments in Applied Artificial Intelligence","author":"B. Peischl","year":"2003","unstructured":"Peischl, B., K\u00f6b, D., Wotawa, F.: Debugging VHDL designs using temporal process instances. In: Chung, P.W.H., Hinde, C.J., Ali, M. (eds.) IEA\/AIE 2003. LNCS, vol.\u00a02718, pp. 402\u2013415. Springer, Heidelberg (2003)"},{"issue":"1","key":"35_CR12","doi-asserted-by":"publisher","first-page":"8","DOI":"10.1109\/MDT.2006.5","volume":"23","author":"B. Peischl","year":"2006","unstructured":"Peischl, B., Wotawa, F.: Automated source-level error localization in hardware designs. IEEE Des. Test\u00a023(1), 8\u201319 (2006)","journal-title":"IEEE Des. Test"},{"key":"35_CR13","volume-title":"On Conceptual Modelling","author":"R. Reiter","year":"1984","unstructured":"Reiter, R.: Towards a logical reconstruction of relational database theory. In: Brodie, M.L., Mylopoulos, J., Schmidt, J.W. (eds.) On Conceptual Modelling, Springer, Heidelberg (1984)"},{"issue":"1","key":"35_CR14","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1016\/0004-3702(87)90062-2","volume":"32","author":"R. Reiter","year":"1987","unstructured":"Reiter, R.: A theory of diagnosis from first principles. Artificial Intelligence\u00a032(1), 57\u201395 (1987)","journal-title":"Artificial Intelligence"},{"key":"35_CR15","unstructured":"Wotawa, F.: On the relationship between model-based debugging and program mutation. In: Proceedings of the Twelfth International Workshop on Principles of Diagnosis, Sansicario, Italy (2001)"}],"container-title":["Studies in Computational Intelligence","New Challenges in Applied Intelligence Technologies"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-79355-7_35.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T02:18:58Z","timestamp":1606184338000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-79355-7_35"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540793540","9783540793557"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-79355-7_35","relation":{},"ISSN":["1860-949X","1860-9503"],"issn-type":[{"type":"print","value":"1860-949X"},{"type":"electronic","value":"1860-9503"}],"subject":[]}}