Author:
Huang Shi-Yu,Cheng Kwang-Ting
Cited by
19 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Equivalence Checking of Non-Binary Combinational Netlists;2022 35th International Conference on VLSI Design and 2022 21st International Conference on Embedded Systems (VLSID);2022-02
2. Automatic Generation of Specification from Natural Language Based on Temporal Logic;Structured Object-Oriented Formal Language and Method;2021
3. Verification supported refactoring of embedded sql;Software Quality Journal;2020-06-18
4. Automating regression verification of pointer programs by predicate abstraction;Formal Methods in System Design;2017-08-31
5. Automatic Test Pattern Generation;Electronic Design Automation for IC System Design, Verification, and Testing;2016-04-14