Hakutulokset: thesis
yhteensä 53 hakutulosta
Algorithmic and Register-Transfer Level Synthesis: The System Architect’s Workbench
Recently there has been increased interest in the development of computer-aided design programs to support the system level designer of integrated circuits more actively. Such …
Petri Net Synthesis for Discrete Event Control of Manufacturing Systems
Petri Net Synthesis for Discrete Event Control of Manufacturing Systems develops two essential resource-sharing concepts: parallel and sequential mutual exclusions and …
Algorithms for Synthesis and Testing of Asynchronous Circuits
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 …
Logic Synthesis and Verification
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 …
Circuit Synthesis with VHDL
One of the main applications of VHDL is the synthesis of electronic circuits. Circuit Synthesis with VHDL is an introduction to the use of VHDL logic (RTL) synthesis tools in …
Algorithmic and Register-Transfer Level Synthesis: The System Architect’s Workbench
Recently there has been increased interest in the development of computer-aided design programs to support the system level designer of integrated circuits more actively. Such …
VHDL for Simulation, Synthesis and Formal Proofs of Hardware
The success of VHDL since it has been balloted in 1987 as an IEEE standard may look incomprehensible to the large population of hardware designers, who had never heared of Hardware …
High Level Synthesis of ASICs under Timing and Synchronization Constraints
Computer-aided synthesis of digital circuits from behavioral level specifications offers an effective means to deal with increasing complexity of digital hardware design. High …
Algorithms and Techniques for VLSI Layout Synthesis
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 …
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 …