Titlebook: Logic Synthesis and Verification; Soha Hassoun,Tsutomu Sasao Book 2002 Kluwer Academic Publishers 2002 Analysis.CAD.algorithms.automation.

丰富

Flexibility in Logic,egree by taking into account the environment of the logic targeted by synthesis. The environment provides flexibility in the choice of functionality. This chapter describes how a designer can specify the environment information, how the environment information can be derived, and how synthesis can t

杂役

道学气

Technology-Based Transformations,dustrial circuits in the presence of large gate libraries, complex design constraints, realistic & accurate delay models, and in the absence of interconnect load and delay information. Thus there is a need and scope for applying post-mapping logic transformations and even integrating them with the l

啪心儿跳动

夸张

Logic Synthesis for Low Power,ons in logic synthesis for achieving low-power consumption, by means of gate-level and register-transfer level restructuring. It presents also specialized techniques that leverage specific low-power silicon technologies.

negotiable

Optimization of Synchronous Circuits, recent advances in state-based techniques focusing on the computation of the flexibility in synthesizing or resynthesizing a node in a network of Finite State Machines. We then survey structural sequential optimization techniques that either relocate registers within the circuit (retiming) or that

马具

Asynchronous Control Circuits,rence and average-case performance. This chapter focuses on two styles for asynchronous controller synthesis: speed-independent and burst-mode. Basic synthesis and optimization methods are presented, as well as an introduction to timing-based optimization.

过分

Ordered Binary Decision Diagrams,the-art data structure for representing switching functions in various branches of electronic design automation. In the following we discuss the properties of this data structure, characterize its algorithmic behavior, and describe some prominent applications.

Liberate

不妥协