Funder
National Natural Science Foundation of China
Publisher
Institute of Electrical and Electronics Engineers (IEEE)
Subject
General Engineering,General Materials Science,General Computer Science
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Formal Verification of Deep Neural Networks in Hardware;2022 IEEE Women in Technology Conference (WINTECHCON);2022-06-02
2. A Hybrid Method for Equivalence Checking Between System Level and RTL;Journal of Circuits, Systems and Computers;2022-03-03
3. ASMD‒FSMD Technique in Designing Signal Processing Devices on Field Programmable Gate Arrays;Journal of Communications Technology and Electronics;2021-12
4. DssEC: A Deep State Sequence Based Equivalence Checker;The 5th International Conference on Computer Science and Application Engineering;2021-10-19
5. Digital Device Design by ASMD-FSMD Technique;Computer Information Systems and Industrial Management;2021