Logic Synthesis

  • Donald E. Thomas
  • Philip R. Moorby


Our view of the language so far has been toward modeling and simulating logic hardware. We have presented language constructs that can be used to specify the intricate functionality and timing of a circuit. Using this approach, we can simulate a design using timing parameters based on circuits that have been placed and routed, giving great confidence in the results of the simulation. In this chapter, we consider an alternate view of the language: synthesis. When using the language as an input specification for synthesis, the concern is specifying a functionally correct system while allowing a synthesis cad tool to design the final gate level structure of the system. These views of the language are complementary. However, care must be taken in writing a description that will be used in both simulation and synthesis.


Finite State Machine Flip Flop Combinational Logic Procedural Statement Combinational Function 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer Science+Business Media New York 1998

Authors and Affiliations

  • Donald E. Thomas
    • 1
  • Philip R. Moorby
    • 2
  1. 1.Carnegie Mellon UniversityUSA
  2. 2.Synapix, Inc.USA

Personalised recommendations