Author:
Chandrasekharan Arun,Große Daniel,Drechsler Rolf
Publisher
Springer International Publishing
Reference36 articles.
1. L. Amarú, P.E. Gaillardon, G. De Micheli, Majority-inverter graph: a novel data-structure and algorithms for efficient logic optimization, in Design Automation Conference, vol. 194, pp. 1–194:6 (2014)
2. H. Andersen, An introduction to binary decision diagrams, in Lecture notes for Efficient Algorithms and Programs, The IT University of Copenhagen, 1999
3. M.L. Bushnell, V. Agrawal, Essentials of Electronic Testing for Digital, Memory and Mixed-Signal VLSI Circuits (Springer, Boston, 2002)
4. P. Bjesse, A. Boralv, Dag-aware circuit compression for formal verification. International Conference on Computer Aided Design, pp. 42–49 (2004)
5. A. Biere, A. Cimatti, E. Clarke, Y. ZhuH, Symbolic model checking without BDDs, in Tools and Algorithms for the Construction and Analysis of Systems, pp. 193–207 (1999)