丰富 发表于 2025-3-25 06:09:28

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

杂役 发表于 2025-3-25 10:11:01

http://reply.papertrans.cn/59/5880/587932/587932_22.png

道学气 发表于 2025-3-25 12:56:31

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

啪心儿跳动 发表于 2025-3-25 19:48:23

http://reply.papertrans.cn/59/5880/587932/587932_24.png

夸张 发表于 2025-3-25 21:34:48

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 发表于 2025-3-26 03:48:07

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

马具 发表于 2025-3-26 06:02:14

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.

过分 发表于 2025-3-26 11:41:53

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 发表于 2025-3-26 14:15:38

http://reply.papertrans.cn/59/5880/587932/587932_29.png

不妥协 发表于 2025-3-26 18:04:52

http://reply.papertrans.cn/59/5880/587932/587932_30.png
页: 1 2 [3] 4 5 6
查看完整版本: Titlebook: Logic Synthesis and Verification; Soha Hassoun,Tsutomu Sasao Book 2002 Kluwer Academic Publishers 2002 Analysis.CAD.algorithms.automation.