The roots of the project which culminates with the writing of this book can be...The roots of the project which culminates with the writing of this book can be traced to the work on logic synthesis started in 1979 at the IBM Watson Research Center and at University of California Berkeley. During the preliminary phases of these...more
The roots of the project which culminates with the writing of this book can be...The roots of the project which culminates with the writing of this book can be traced to the work on logic synthesis started in 1979 at the IBM Watson Research Center and at University of California Berkeley. During the preliminary phases of these...more
This book describes a system of VLSI layout tools called IDA which stands for ...This book describes a system of VLSI layout tools called IDA which stands for Integrated Design Aides. It is not a main-line production CAD environment but neither is it a paper tool. Rather IDA is an experimental environment that serves to test out...more
The roots of the project which culminates with the writing of this book can be...The roots of the project which culminates with the writing of this book can be traced to the work on logic synthesis started in 1979 at the IBM Watson Research Center and at University of California Berkeley. During the preliminary phases of these...more
The time has come for high-level synthesis. When research into synthesizing ha...The time has come for high-level synthesis. When research into synthesizing hardware from abstract program-like de- scriptions started in the early 1970 s there was no automated path from the register- transfer design produced by high-level...more
VLSI Specification Verification and Synthesis Proceedings of a workshop held i...VLSI Specification Verification and Synthesis Proceedings of a workshop held in Calgary from 12-16 January 1987. The collection of papers in this book represents some of the discussions and presentations at a workshop on hardware verification held...more
Although research in architectural synthesis has been conducted for over ten y...Although research in architectural synthesis has been conducted for over ten years it has had very little impact on industry. This in our view is due to the inability of current architectural synthesizers to provide area-delay competitive (or...more
The time has come for high-level synthesis. When research into synthesizing ha...The time has come for high-level synthesis. When research into synthesizing hardware from abstract program-like de- scriptions started in the early 1970 s there was no automated path from the register- transfer design produced by high-level...more
LogicSynthesis and Optimization presents up-to-date research information in a...Logic Synthesis and Optimization presents up-to-date research information in a pedagogical form. The authors are recognized as the leading experts on the subject. The focus of the book is on logic minimization and includes such topics as two-level...more
LogicSynthesis and Optimization presents up-to-date research information in a...Logic Synthesis and Optimization presents up-to-date research information in a pedagogical form. The authors are recognized as the leading experts on the subject. The focus of the book is on logic minimization and includes such topics as two-level...more
Since the second half of the 1980s asynchronous circuits have been the subject...Since the second half of the 1980s asynchronous circuits have been the subject of a great deal of research following a period of relative oblivion. The lack of interest in asynchronous techniques was motivated by the progressive shift towards...more
Thebook is devoted to design and optimization of control units represented by...The book is devoted to design and optimization of control units represented by combined finite state machines (CFSMs). The CFSMs combine features of both Mealy and Moore FSMs. Having states of Moore FSM they produce output signals of both Mealy and...more
Research and development of logicsynthesis and verification have matured cons...Research and development of logic synthesis and verification have matured considerably over the past two decades. Many commercial products are available and they have been critical in harnessing advances in fabrication technology to produce today s...more
Research and development of logicsynthesis and verification have matured cons...Research and development of logic synthesis and verification have matured considerably over the past two decades. Many commercial products are available and they have been critical in harnessing advances in fabrication technology to produce today s...more