Hakutulokset: thesis
yhteensä 26 hakutulosta
Time-Frequency Analysis and Synthesis of Linear Signal Spaces
Linear signal spaces are of fundamental importance in signal and system theory, communication theory, and modern signal processing. This book proposes a time-frequency analysis …
Logic Program Synthesis from Incomplete Information
Program synthesis is a solution to the software crisis. If we had a program that develops correct programs from specifications, then program validation and maintenance would …
Sequential Logic Synthesis
3. 2 Input Encoding Targeting Two-Level Logic . . . . . . . . 27 3. 2. 1 One-Hot Coding and Multiple-Valued Minimization 28 3. 2. 2 Input Constraints and Face Embedding 30 3. 3 …
Analysis and Synthesis of MOS Translinear Circuits
This book has its roots in an idea first formulated by Barrie Gilbert in 1975. He showed how bipolar analog circuits can realize nonlinear and computational functions. This …
Logic Synthesis and Optimization
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 …
A Computer-Aided Design and Synthesis Environment for Analog Integrated Circuits
In the first part the AMGIE analog synthesis system is described. AMGIE is the first analog synthesis system that automates the full design process from specifications down to …
A Survey of High-Level Synthesis Systems
After long years of work that have seen little industrial application, high-level synthesis is finally on the verge of becoming a practical tool. The state of high-level synthesis …
Principles of 3D Image Analysis and Synthesis
Traditionally, say 15 years ago, three-dimensional image analysis (aka computer vi sion) and three-dimensional image synthesis (aka computer graphics) were separate fields. Rarely …
High-Level VLSI Synthesis
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 …
Logic Minimization Algorithms for VLSI Synthesis
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 …
Optimal VLSI Architectural Synthesis
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 …
Software Synthesis from Dataflow Graphs
Software Synthesis from Dataflow Graphs addresses the problem of generating efficient software implementations from applications specified as synchronous dataflow graphs for …