Welcome v7.0
Quick start
About Libero IDE v6.3
Getting and Using Help
Project Management
Design Constraints Guide
Design Creation / Verification
Design Implementation
    Welcome to Designer
    Starting Designer
    Getting Started
    Device Selection
    Importing Files
    Compile
    Assigning Design Constraints
    Layout
    Performing Analysis
    Back-Annotation
    Generating Reports
    Exporting Files
    Saving and Exiting
    Designer Reference
    Tool Guides
    Tcl Scripting
       Introduction to Tcl scripting
       Basic syntax
       Types of Tcl commands
       Variables
       Command substitution
       Quotes and braces
       Lists and arrays
       Control structures
       Handling exceptions
       Print statement and Return values
       Running Tcl scripts from the command line
       Running Tcl scripts from within Designer
       Exporting Tcl scripts
       Running Multiple Pass Layout from the command line
       Sample Tcl script
       Tcl Commands
          About Designer Tcl commands
          Tcl command documentation conventions
          are_all_source_files_curent
          backannotate
          close_design
          compile
          export
          extended_run_shell
          get_defvar
          get_design_filename
          get_design_info
          get_out_of_date_files
          import_aux
          import_source
          is_design_loaded
          is_design_modified
          is_design_state_complete
          is_source_file_current
          layout
          layout (advanced options for the SX family)
          layout (advanced options for ProASIC)
          layout (advanced options for Axcelerator)
          new_design
          open_design
          pin_assign
          pin_commit
          pin_fix
          pin_fix_all
          pin_unassign
          pin_unassign_all
          pin_unfix
          report
          save_design
          set_design
          set_device
          set_defvar
          smartpower_add_pin_in_domain
          smartpower_commit
          smartpower_create_domain
          smartpower_remove_domain
          smartpower_remove_pin_frequency
          smartpower_remove_pin_of_domain
          smartpower_restore
          smartpower_set_domain_frequency
          smartpower_set_pin_frequency
          timer_add_clock_exception
          timer_add_pass
          timer_add_stop
          timer_commit
          timer_get_path
          timer_get_clock_actuals
          timer_get_clock_constraints
          timer_get_maxdelay
          timer_get_path_constraints
          timer_remove_clock_exception
          timer_remove_pass
          timer_remove_stop
          timer_restore
          timer_setenv_clock_freq
          timer_setenv_clock_period
          timer_set_maxdelay
          timer_remove_all_constraints
Device Programming
Saving and Exiting Libero
Contacting Actel