Author:
Drechsler R.,Drechsler N.,Gunther W.
Publisher
Institute of Electrical and Electronics Engineers (IEEE)
Subject
Electrical and Electronic Engineering,Computer Graphics and Computer-Aided Design,Software
Cited by
30 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Formal Techniques;Design for Testability, Debug and Reliability;2021
2. Using Extended Logical Primitives for Efficient BDD Building;Mathematics;2020-07-31
3. Logic Synthesis for Established and Emerging Computing;Proceedings of the IEEE;2019-01
4. On Finding the Optimal BDD Relaxation;Integration of AI and OR Techniques in Constraint Programming;2017
5. Synthesis of Reversible Circuits Using Decision Diagrams;2012 International Symposium on Electronic System Design (ISED);2012-12