
- •Contents
- •Preface
- •About This Manual
- •Other Information Sources
- •Syntax Conventions
- •Text Command Syntax
- •About the Graphical User Interface
- •Using Menus
- •Using Forms
- •Introduction to Ambit BuildGates Synthesis
- •Separately Licensed Software Products
- •Low Power Synthesis
- •Physically Knowledgeable Synthesis
- •Datapath Synthesis
- •AC_Shell / DC_Shell Equivalencies
- •Getting Started
- •Invoking Ambit BuildGates Synthesis
- •Exiting Ambit BuildGates Synthesis
- •Files Used in Ambit BuildGates Synthesis Software
- •Key Bindings and Mouse Operations
- •Using the GUI
- •Main Menu Functions
- •File Menu Options
- •Edit Menu Options
- •View Menu Options
- •Commands Menu Options
- •Reports Menu Options
- •Window Menu Options
- •Help Menu Options
- •The Tool Bar
- •The Browsers
- •The Module Browser
- •The Variable Browser
- •Work Area Tools
- •HDL and Tcl Editors
- •Constraints Tool
- •The Schematic Viewer
- •Distributed Processing
- •Update Mode
- •The ac_shell Console
- •The Status Bar
- •Flow Procedures
- •Typical Synthesis Flow
- •Read the Libraries
- •Read the Design Data
- •Build Generic Netlist
- •Set Constraints
- •Optimize the Design
- •Generate Reports
- •Save Final Netlist
- •Viewing the Schematic Design
- •How to Use the Schematic Viewer
- •Keyboard Shortcuts
- •Mouse Operations
- •Objects in the Schematic Database
- •Accessing Context-Sensitive Pop-Up Menus
- •Highlighting Path Between Pins
- •Viewing Bus Properties
- •The Schematic Tool Bar
- •The Module Title Bar
- •Searching for an Object
- •Grouping Instances
- •Dissolving Instances
- •Creating a Unique Module
- •Displaying Logic Cones
- •Extracting Logic Cones
- •Displaying Port Constraints
- •Printing a Schematic
- •Setting Constraints
- •Setting a Hierarchical Context
- •Units in Constraints
- •Timing Constraints
- •Timing Analysis
- •Setting up Timing Context
- •Clock Insertion Delay Time
- •Data Arrival Time
- •External Delay
- •Multicycle Paths
- •Setting Drive Cell for Input Ports
- •Setting Drive Resistance
- •Slew Related Commands
- •Technology and Design Rule Constraints
- •Operating Conditions
- •Estimating Capacitance and Resistance
- •Port Capacitance
- •Capacitance Limit
- •Fanout
- •Fanout Limit
- •External Sources and Sinks
- •Wire Capacitance
- •Wire Resistance
- •Wire Load Model Selection
- •Optimizing Before Place and Route
- •Running do_optimize Command
- •Top-Down Optimization
- •Bottom-Up Optimization
- •Deriving Constraints from Context
- •Time Budgeting
- •Preserving Module Contents
- •Uniquifying Instances
- •Collapsing Hierarchy
- •Incremental Optimization
- •Applying Timing Corrections
- •Optimizing with Logic Transforms
- •Introduction to Transforms
- •Logic Optimization Steps
- •Optimizing Generic Logic
- •Mapping and Unmapping of Generic Logic
- •Constraint-Driven Optimizing
- •Summary Listing of Transform Commands
- •Optimizing After Place and Route
- •Timing Analysis
- •Backannotating
- •A Script Showing the Backannotation of a Design
- •Reading SDF Data
- •Optimizing to Correct Late and Early Slack
- •Report Generation
- •Report Header
- •Timing Reports
- •Area Reports
- •Sample Area Report
- •Library Reports
- •Hierarchy Reports
- •Sample Hierarchy Report
- •Design Rule Violations Reports
- •Sample Design Rule Violations Report
- •VHDL Library Reports
- •Sample VHDL Library Report
- •End Point Slack and Path Histogram Reports
- •Fanin and Fanout Reports
- •Sample Fanin Report
- •Finite State Machine Reports
- •Sample FSM Report
- •Customizing Report Column Width
- •Using Tcl within ac_shell and pks_shell
- •The Tcl Language
- •Procedures
- •Tcl Variables and Control Structures
- •Variables
- •Syntax
- •Tcl Commands
- •get_names Command
- •Abbreviating Commands
- •Searching for Commands
- •Accessing Environment Variables
- •Returning Unix Command Values
- •Error Handling
- •Quick Reference

Ambit BuildGates Synthesis User Guide
Optimizing with Logic Transforms
Table 8-3 Transforms—Improve the Logic Speed of Critical Paths, continued
Transform |
Description |
do_xform_timing_correction Iteratively performs the following timing optimization transformations.
do_xform_reclaim_area do_xform_buffer do_xform_resize do_xform_clone
do_xform_fix_design_rule_violations do_xform_fix_hold
The table below contains the transforms that perform specific applications.
Table 8-4 Transforms—Perform Specific Applications
Transform |
Description |
|
|
do_xform_fix_design_rule_ |
Fixes only design rule violations. This transform |
violations |
may impact the critical slack, but will solve design |
|
rule violations without impacting slack if at all |
|
possible. |
|
|
do_xform_fix_hold |
Fixes hold (early slack) violations with minimal |
|
impact on setup (late slack) violations. |
|
|
do_xform_fix_multiport_net |
Adds logic to ensure that no “assign” statements |
|
appear in the netlist for nets which drive two ports |
|
or pass-through wires from input port to output |
|
port. |
|
|
do_xform_footprint |
This transform is similar to resizing but limited to |
|
cells which have the same footprint in the library. |
|
|
Summary Listing of Transform Commands
Table 8-5 groups the transforms by the representations or stages of the design in which they work. ATL is the abbreviation for Ambit Technology Library (generic logic) and TSC is the abbreviation for Technology-Specific Cells (library elements).
September 2000 |
182 |
Product Version 4.0 |

Ambit BuildGates Synthesis User Guide
Optimizing with Logic Transforms
Table 8-5 Transform Command Summary List
Command |
Description |
|
|
ATL -> ATL |
do_xform_propagate_constant |
|
do_xform_structure |
|
do_xform_remove_redundancy |
|
do_xform_optimize_generic |
|
|
ATL -> TSC |
do_optimize |
|
do_xform_map |
|
|
TSC -> TSC |
do_optimize |
|
do_xform_timing_correction |
|
do_xform_propagate_constant |
|
do_xform_reclaim_area |
|
do_xform_buffer |
|
do_xform_clone |
|
do_xform_restructure |
|
do_xform_fix_design_rule_violations |
|
do_xform_fix_hold |
|
do_xform_footprint |
|
do_xform_resize |
|
do_xform_optimize_slack |
|
do_xform_fast_optimize |
|
do_xform_buffer_tree |
|
|
TSC -> ATL |
do_xform_unmap |
|
|
September 2000 |
183 |
Product Version 4.0 |

Ambit BuildGates Synthesis User Guide
Optimizing with Logic Transforms
September 2000 |
184 |
Product Version 4.0 |