The Kluwer International Series in Engineering and Computer Science - Binary Decision Diagrams and Applications for VLSI CAD
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer US

9781461285588, 9781461313038

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Conclusions

The Kluwer International Series in Engineering and Computer Science - Binary Decision Diagrams and Applications for VLSI CAD ◽

10.1007/978-1-4613-1303-8_10 ◽

1996 ◽

pp. 129-132

Author(s):

Shin-ichi Minato

Download Full-text

Arithmetic Boolean Expressions

The Kluwer International Series in Engineering and Computer Science - Binary Decision Diagrams and Applications for VLSI CAD ◽

10.1007/978-1-4613-1303-8_9 ◽

1996 ◽

pp. 109-128

Author(s):

Shin-ichi Minato

Keyword(s):

Boolean Expressions

Download Full-text

Introduction

The Kluwer International Series in Engineering and Computer Science - Binary Decision Diagrams and Applications for VLSI CAD ◽

10.1007/978-1-4613-1303-8_1 ◽

1996 ◽

pp. 1-5

Author(s):

Shin-ichi Minato

Download Full-text

Implicit Manipulation of Polynomials Based on ZBDDs

The Kluwer International Series in Engineering and Computer Science - Binary Decision Diagrams and Applications for VLSI CAD ◽

10.1007/978-1-4613-1303-8_8 ◽

1996 ◽

pp. 95-107 ◽

Cited By ~ 1

Author(s):

Shin-ichi Minato

Download Full-text

Variable Ordering for BDDs

The Kluwer International Series in Engineering and Computer Science - Binary Decision Diagrams and Applications for VLSI CAD ◽

10.1007/978-1-4613-1303-8_3 ◽

1996 ◽

pp. 25-37

Author(s):

Shin-ichi Minato

Keyword(s):

Variable Ordering

Download Full-text

Representation of Multi-Valued Functions

The Kluwer International Series in Engineering and Computer Science - Binary Decision Diagrams and Applications for VLSI CAD ◽

10.1007/978-1-4613-1303-8_4 ◽

1996 ◽

pp. 39-47

Author(s):

Shin-ichi Minato

Download Full-text

Multi-Level Logic Synthesis Using ZBDDs

The Kluwer International Series in Engineering and Computer Science - Binary Decision Diagrams and Applications for VLSI CAD ◽

10.1007/978-1-4613-1303-8_7 ◽

1996 ◽

pp. 81-94

Author(s):

Shin-ichi Minato

Keyword(s):

Logic Synthesis ◽

Multi Level

Download Full-text

Zero-Suppressed BDDs

The Kluwer International Series in Engineering and Computer Science - Binary Decision Diagrams and Applications for VLSI CAD ◽

10.1007/978-1-4613-1303-8_6 ◽

1996 ◽

pp. 61-80

Author(s):

Shin-ichi Minato

Download Full-text

Generation of Cube Sets from BDDs

The Kluwer International Series in Engineering and Computer Science - Binary Decision Diagrams and Applications for VLSI CAD ◽

10.1007/978-1-4613-1303-8_5 ◽

1996 ◽

pp. 49-60

Author(s):

Shin-ichi Minato

Download Full-text

Techniques of BDD Manipulation

The Kluwer International Series in Engineering and Computer Science - Binary Decision Diagrams and Applications for VLSI CAD ◽

10.1007/978-1-4613-1303-8_2 ◽

1996 ◽

pp. 7-24

Author(s):

Shin-ichi Minato

Download Full-text

The Kluwer International Series in Engineering and Computer Science - Binary Decision Diagrams and Applications for VLSI CADLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer US

Conclusions

Arithmetic Boolean Expressions

Introduction

Implicit Manipulation of Polynomials Based on ZBDDs

Variable Ordering for BDDs

Representation of Multi-Valued Functions

Multi-Level Logic Synthesis Using ZBDDs

Zero-Suppressed BDDs

Generation of Cube Sets from BDDs

Techniques of BDD Manipulation

The Kluwer International Series in Engineering and Computer Science - Binary Decision Diagrams and Applications for VLSI CAD
Latest Publications