Publisher
Institute of Electrical and Electronics Engineers (IEEE)
Subject
Computational Theory and Mathematics,Hardware and Architecture,Theoretical Computer Science,Software
Cited by
277 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Tractable representations for Boolean functional synthesis;Annals of Mathematics and Artificial Intelligence;2023-12-05
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. Polynomial Formal Verification of a Processor: A RISC-V Case Study;2023 24th International Symposium on Quality Electronic Design (ISQED);2023-04-05
5. Formal Verification of Integer Multiplier Circuits Using Binary Decision Diagrams;IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems;2023-04