Author:
Mahzoon Alireza,Grose Daniel,Scholl Christoph,Drechsler Rolf
Cited by
33 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Next-Generation Automatic Human-Readable Proofs Enabling Polynomial Formal Verification;Proceedings of the 21st ACM-IEEE International Conference on Formal Methods and Models for System Design;2023-09-21
2. Polynomial Formal Verification of KFDD Circuits;Proceedings of the 21st ACM-IEEE International Conference on Formal Methods and Models for System Design;2023-09-21
3. Formal Techniques to Verify Functionality of Digital Memory Decoder;2023 International Conference on Sustainable Computing and Smart Systems (ICSCSS);2023-06-14
4. Towards Polynomial Formal Verification of AI-Generated Arithmetic Circuits;2023 International Symposium on Devices, Circuits and Systems (ISDCS);2023-05-29
5. Formal Verification of Integer Multiplier Circuits Using Binary Decision Diagrams;IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems;2023-04