Author:
Bryant Randal E.,Chen Yirng-An
Cited by
48 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. CFLOBDDs: Context-Free-Language Ordered Binary Decision Diagrams;ACM Transactions on Programming Languages and Systems;2024-05-02
2. Polynomial Formal Verification of Floating Point Adders;2023 Design, Automation & Test in Europe Conference & Exhibition (DATE);2023-04
3. Formal Verification of Integer Multiplier Circuits Using Binary Decision Diagrams;IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems;2023-04
4. Effiziente Implementierung von DDs im Quantenbereich;Einführung in die Entwurfsautomatisierung für Quantencomputer;2023
5. Entwurfsautomatisierungsmethoden für konventionelle Systeme;Einführung in die Entwurfsautomatisierung für Quantencomputer;2023