Advanced Techniques in Logic Synthesis, Optimizations and Applications
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer New York

9781441975171, 9781441975188

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

SAT Sweeping with Local Observability Don’t-Cares

Advanced Techniques in Logic Synthesis, Optimizations and Applications ◽

10.1007/978-1-4419-7518-8_8 ◽

2010 ◽

pp. 129-148

Author(s):

Qi Zhu ◽

Nathan B. Kitchen ◽

Andreas Kuehlmann ◽

Alberto Sangiovanni-Vincentelli

Keyword(s):

Don't Cares

Download Full-text

Synthesizing Combinational Logic to Generate Probabilities: Theories and Algorithms

Advanced Techniques in Logic Synthesis, Optimizations and Applications ◽

10.1007/978-1-4419-7518-8_18 ◽

2010 ◽

pp. 337-357 ◽

Cited By ~ 2

Author(s):

Weikang Qian ◽

Marc D. Riedel ◽

Kia Bazargan ◽

David J. Lilja

Keyword(s):

Combinational Logic

Download Full-text

Automated Logic Restructuring with aSPFDs

Advanced Techniques in Logic Synthesis, Optimizations and Applications ◽

10.1007/978-1-4419-7518-8_15 ◽

2010 ◽

pp. 267-286

Author(s):

Yu-Shen Yang ◽

Subarna Sinha ◽

Andreas Veneris ◽

Robert Brayton ◽

Duncan Smith

Download Full-text

Bi-decomposition Using SAT and Interpolation

Advanced Techniques in Logic Synthesis, Optimizations and Applications ◽

10.1007/978-1-4419-7518-8_6 ◽

2010 ◽

pp. 87-105

Author(s):

Ruei-Rung Lee ◽

Jie-Hong Roland Jiang ◽

Wei-Lun Hung

Download Full-text

Boolean Factoring and Decomposition of Logic Networks

Advanced Techniques in Logic Synthesis, Optimizations and Applications ◽

10.1007/978-1-4419-7518-8_4 ◽

2010 ◽

pp. 47-66

Author(s):

Robert Brayton ◽

Alan Mishchenko ◽

Satrajit Chatterjee

Download Full-text

Logic Synthesis by Signal-Driven Decomposition

Advanced Techniques in Logic Synthesis, Optimizations and Applications ◽

10.1007/978-1-4419-7518-8_2 ◽

2010 ◽

pp. 9-29 ◽

Cited By ~ 5

Author(s):

Anna Bernasconi ◽

Valentina Ciriani ◽

Gabriella Trucco ◽

Tiziano Villa

Keyword(s):

Logic Synthesis

Download Full-text

Introduction

Advanced Techniques in Logic Synthesis, Optimizations and Applications ◽

10.1007/978-1-4419-7518-8_1 ◽

2010 ◽

pp. 1-6

Author(s):

Sunil P. Khatri ◽

Kanupriya Gulati

Download Full-text

Probabilistic Error Propagation in a Logic Circuit Using the Boolean Difference Calculus

Advanced Techniques in Logic Synthesis, Optimizations and Applications ◽

10.1007/978-1-4419-7518-8_19 ◽

2010 ◽

pp. 359-381 ◽

Cited By ~ 6

Author(s):

Nasir Mohyuddin ◽

Ehsan Pakbaznia ◽

Massoud Pedram

Keyword(s):

Error Propagation ◽

Logic Circuit ◽

Probabilistic Error

Download Full-text

Digital Logic Using Non-DC Signals

Advanced Techniques in Logic Synthesis, Optimizations and Applications ◽

10.1007/978-1-4419-7518-8_20 ◽

2010 ◽

pp. 383-400

Author(s):

Kalyana C. Bollapalli ◽

Sunil P. Khatri ◽

Laszlo B. Kish

Keyword(s):

Digital Logic

Download Full-text

A Robust Window-Based Multi-node Minimization Technique Using Boolean Relations

Advanced Techniques in Logic Synthesis, Optimizations and Applications ◽

10.1007/978-1-4419-7518-8_17 ◽

2010 ◽

pp. 309-334

Author(s):

Jeff L. Cobb ◽

Kanupriya Gulati ◽

Sunil P. Khatri

Keyword(s):

Minimization Technique

Download Full-text

Advanced Techniques in Logic Synthesis, Optimizations and ApplicationsLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer New York

SAT Sweeping with Local Observability Don’t-Cares

Synthesizing Combinational Logic to Generate Probabilities: Theories and Algorithms

Automated Logic Restructuring with aSPFDs

Bi-decomposition Using SAT and Interpolation

Boolean Factoring and Decomposition of Logic Networks

Logic Synthesis by Signal-Driven Decomposition

Introduction

Probabilistic Error Propagation in a Logic Circuit Using the Boolean Difference Calculus

Digital Logic Using Non-DC Signals

A Robust Window-Based Multi-node Minimization Technique Using Boolean Relations

Advanced Techniques in Logic Synthesis, Optimizations and Applications
Latest Publications