https://scholars.lib.ntu.edu.tw/handle/123456789/580978
標題: | Homing Sequence Derivation with Quantified Boolean Satisfiability | 作者: | Tu K Wang H Jiang J.R Kushik N Yevtushenko N. JIE-HONG JIANG |
公開日期: | 2021 | 來源出版物: | IEEE Transactions on Computers | 摘要: | Homing sequence derivation for nondeterministic finite state machines (NFSMs) has important applications in software/hardware system testing and verification. Unlike prior methods based on explicit tree-based search, in this work, we formulate the derivation of a preset/adaptive homing sequence in terms of quantified Boolean formula (QBF) solving. This formulation exploits compact circuit representation of NFSMs and QBF encoding of the existence condition of homing sequence for effective computation. The implicit circuit representation effectively avoids explicit state enumeration and can be more scalable. Different encoding schemes and QBF solvers are evaluated for their suitability in homing sequence derivation. Experiments on various computation methods and benchmarks show the generality and feasibility of the proposed approach. IEEE |
URI: | https://www.scopus.com/inward/record.uri?eid=2-s2.0-85100833878&doi=10.1109%2fTC.2021.3058302&partnerID=40&md5=f98e91bc55c7b164f548f85065789cea https://scholars.lib.ntu.edu.tw/handle/123456789/580978 |
ISSN: | 00189340 | DOI: | 10.1109/TC.2021.3058302 |
顯示於: | 電機工程學系 |
在 IR 系統中的文件,除了特別指名其著作權條款之外,均受到著作權保護,並且保留所有的權利。