Author:
Drechsler R.,Becker B.,Jahnke A.
Publisher
Institute of Electrical and Electronics Engineers (IEEE)
Subject
Computational Theory and Mathematics,Hardware and Architecture,Theoretical Computer Science,Software
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Polynomial Formal Verification of General Tree-Like Circuits;2022 China Semiconductor Technology International Conference (CSTIC);2022-06-20
2. Polynomial Circuit Verification using BDDs;2021 5th International Conference on Electrical, Electronics, Communication, Computer Technologies and Optimization Techniques (ICEECCOT);2021-12-10
3. Multilevel logic simplification based on a containment recursive paradigm;IEE Proceedings - Computers and Digital Techniques;2003
4. Minimization of Word-Level Decision Diagrams;Integration;2002-12
5. OBDD minimization based on two-level representation of Boolean functions;IEEE Transactions on Computers;2000-12