Full metadata record
DC FieldValueLanguage
dc.contributor.author汪加元en_US
dc.contributor.authorChia-Yuan Uangen_US
dc.contributor.author周景揚en_US
dc.contributor.author莊仁輝en_US
dc.contributor.authorDr. Jing-Yang Jouen_US
dc.contributor.authorDr. Jen-Hui Chuangen_US
dc.date.accessioned2014-12-12T03:00:42Z-
dc.date.available2014-12-12T03:00:42Z-
dc.date.issued2004en_US
dc.identifier.urihttp://140.113.39.130/cdrfb3/record/nctu/#GT008967559en_US
dc.identifier.urihttp://hdl.handle.net/11536/80036-
dc.description.abstract以聲明(Assertion)為基礎的驗証法已經成為當今設計驗証法的典範。而聲明是用來檢驗電路功能的,但人們所撰寫的聲明很可能其本身即含有衝突錯誤。在此我們提出一個自動檢查聲明衝突的方法。此方法主要是將輸入的聲明轉化成有限確定自動機(Deterministic Finite Automata)及性質(Property),再利用現有的正規符號模型驗證器(Symbolic Model Verifier)對自動機和性質作交叉驗證, 以檢查出聲明之間的矛盾衝突。藉由此法能幫助聲明撰寫者在早期就自動檢查出聲明的矛盾而不需要等到模擬(Simulation)時才發現。zh_TW
dc.description.abstractAssertion based verification (ABV) methodology has emerged as a paradigm of high-level design verification. An assertion is used to specify what is to be exercised and verified against the intended functionality. However assertions which may contain conflicts among themselves are not inspected until later simulation stage.In this thesis, we present an automatic assertion checking which utilizes an existing symbolic model verifier as a model checker to check if there is any conflict among input assertions. We propose an approach to convert the assertions into structural Deterministic Finite Automata (DFA) and their corresponding properties. Those converted DFA and properties are then checked by using formal model verifier. This approach may facilitate assertion checking to find out potential conflict in the early stage of design activities without simulation.en_US
dc.language.isoen_USen_US
dc.subject聲明zh_TW
dc.subject有限確定自動機zh_TW
dc.subject性質zh_TW
dc.subject正規符號模型驗證器zh_TW
dc.subject模擬zh_TW
dc.subjectAssertionen_US
dc.subjectDeterministic Finite Automataen_US
dc.subjectPropertyen_US
dc.subjectSymbolic Model Verifieren_US
dc.subjectSimulationen_US
dc.title使用正規符號模型驗證器的聲明檢驗法zh_TW
dc.titleAutomatic Assertion Checking Using Formal Symbolic Model Verifieren_US
dc.typeThesisen_US
dc.contributor.department資訊學院資訊學程zh_TW
Appears in Collections:Thesis


Files in This Item:

  1. 755901.pdf

If it is a zip file, please download the file and unzip it, then open index.html in a browser to view the full text content.