The Kluwer International Series in Engineering and Computer Science - Sequential Logic Synthesis
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer US

9781461366133, 9781461536284

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Sequential Don’t Cares

The Kluwer International Series in Engineering and Computer Science - Sequential Logic Synthesis ◽

10.1007/978-1-4615-3628-4_7 ◽

1992 ◽

pp. 169-201

Author(s):

Pranav Ashar ◽

Srinivas Devadas ◽

A. Richard Newton

Keyword(s):

Don't Cares

Download Full-text

Finite State Machine Decomposition

The Kluwer International Series in Engineering and Computer Science - Sequential Logic Synthesis ◽

10.1007/978-1-4615-3628-4_6 ◽

1992 ◽

pp. 117-168

Author(s):

Pranav Ashar ◽

Srinivas Devadas ◽

A. Richard Newton

Keyword(s):

Finite State Machine ◽

State Machine ◽

Finite State

Download Full-text

Introduction

The Kluwer International Series in Engineering and Computer Science - Sequential Logic Synthesis ◽

10.1007/978-1-4615-3628-4_1 ◽

1992 ◽

pp. 3-16

Author(s):

Pranav Ashar ◽

Srinivas Devadas ◽

A. Richard Newton

Download Full-text

Conclusions and Directions for Future Work

The Kluwer International Series in Engineering and Computer Science - Sequential Logic Synthesis ◽

10.1007/978-1-4615-3628-4_8 ◽

1992 ◽

pp. 203-208

Author(s):

Pranav Ashar ◽

Srinivas Devadas ◽

A. Richard Newton

Keyword(s):

Future Work

Download Full-text

Encoding of Symbolic Outputs

The Kluwer International Series in Engineering and Computer Science - Sequential Logic Synthesis ◽

10.1007/978-1-4615-3628-4_4 ◽

1992 ◽

pp. 57-85

Author(s):

Pranav Ashar ◽

Srinivas Devadas ◽

A. Richard Newton

Download Full-text

Basic Definitions and Concepts

The Kluwer International Series in Engineering and Computer Science - Sequential Logic Synthesis ◽

10.1007/978-1-4615-3628-4_2 ◽

1992 ◽

pp. 17-23

Author(s):

Pranav Ashar ◽

Srinivas Devadas ◽

A. Richard Newton

Download Full-text

Encoding of Symbolic Inputs

The Kluwer International Series in Engineering and Computer Science - Sequential Logic Synthesis ◽

10.1007/978-1-4615-3628-4_3 ◽

1992 ◽

pp. 25-56

Author(s):

Pranav Ashar ◽

Srinivas Devadas ◽

A. Richard Newton

Download Full-text

State Encoding

The Kluwer International Series in Engineering and Computer Science - Sequential Logic Synthesis ◽

10.1007/978-1-4615-3628-4_5 ◽

1992 ◽

pp. 87-116

Author(s):

Pranav Ashar ◽

Srinivas Devadas ◽

A. Richard Newton

Keyword(s):

State Encoding

Download Full-text

The Kluwer International Series in Engineering and Computer Science - Sequential Logic SynthesisLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer US

Sequential Don’t Cares

Finite State Machine Decomposition

Introduction

Conclusions and Directions for Future Work

Encoding of Symbolic Outputs

Basic Definitions and Concepts

Encoding of Symbolic Inputs

State Encoding

The Kluwer International Series in Engineering and Computer Science - Sequential Logic Synthesis
Latest Publications