Author:
Keim Martin,Drechsler Rolf,Becker Bernd,Martin Michael,Molitor Paul
Publisher
Springer Science and Business Media LLC
Subject
Hardware and Architecture,Theoretical Computer Science,Software
Cited by
20 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Automated Polynomial Formal Verification: Human-Readable Proof Generation;2023 IEEE International Symposium on Smart Electronic Systems (iSES);2023-12-18
2. 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
3. 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
4. Towards Polynomial Formal Verification of AI-Generated Arithmetic Circuits;2023 International Symposium on Devices, Circuits and Systems (ISDCS);2023-05-29
5. Polynomial Formal Verification of Floating Point Adders;2023 Design, Automation & Test in Europe Conference & Exhibition (DATE);2023-04