| 1 |
80 |
olivier.gi |
|
| 2 |
|
|
|
| 3 |
82 |
olivier.gi |
new_design -name "libero_designer" -family "<DEVICE_FAMILY>" -path {.} -block "off"
|
| 4 |
80 |
olivier.gi |
|
| 5 |
|
|
set_device -die "<DEVICE_NAME>" \
|
| 6 |
|
|
-package "<DEVICE_PACKAGE>" \
|
| 7 |
|
|
-speed "<SPEED_GRADE>"
|
| 8 |
|
|
|
| 9 |
82 |
olivier.gi |
import_source -format "edif" -edif_flavor "GENERIC" {../work_synplify/synplify.edn} \
|
| 10 |
|
|
-format "sdc" -scenario "Primary" {../design_constraints.post.sdc} \
|
| 11 |
|
|
-format "pdc" -abort_on_error "yes" {../design_constraints.pdc} \
|
| 12 |
80 |
olivier.gi |
-merge_physical "no" -merge_timing "yes"
|
| 13 |
|
|
|
| 14 |
|
|
compile -pdc_abort_on_error "on" -pdc_eco_display_unmatched_objects "off" -pdc_eco_max_warnings 10000 \
|
| 15 |
|
|
-demote_globals "off" -demote_globals_max_fanout 12 -promote_globals "off" \
|
| 16 |
82 |
olivier.gi |
-promote_globals_min_fanout 200 -promote_globals_max_limit 0 -localclock_max_shared_instances 12 \
|
| 17 |
80 |
olivier.gi |
-localclock_buffer_tree_max_fanout 12 -combine_register "off" -delete_buffer_tree "off" \
|
| 18 |
|
|
-delete_buffer_tree_max_fanout 12 -report_high_fanout_nets_limit 10
|
| 19 |
|
|
|
| 20 |
82 |
olivier.gi |
layout -timing_driven -place_incremental "off" \
|
| 21 |
|
|
-route_incremental "off" \
|
| 22 |
|
|
-mindel_repair "on" \
|
| 23 |
|
|
-placer_high_effort "on" \
|
| 24 |
|
|
-seq_opt "on"
|
| 25 |
80 |
olivier.gi |
|
| 26 |
|
|
|
| 27 |
82 |
olivier.gi |
report -type "status" {./report_status.txt}
|
| 28 |
|
|
report -type "timer" -format "TEXT" -analysis "max" -print_summary "yes" \
|
| 29 |
|
|
-use_slack_threshold "no" -print_paths "yes" -max_paths 5 \
|
| 30 |
|
|
-max_expanded_paths 1 -include_user_sets "no" -include_pin_to_pin "yes" \
|
| 31 |
|
|
-include_clock_domains "yes" -select_clock_domains "no" \
|
| 32 |
|
|
"./report_timing_max.txt"
|
| 33 |
|
|
report -type "timing_violations" -format "TEXT" -analysis "max" -use_slack_threshold "yes" \
|
| 34 |
|
|
-slack_threshold 0.00 -limit_max_paths "yes" -max_paths 100 \
|
| 35 |
|
|
-max_expanded_paths 0 \
|
| 36 |
|
|
"./report_timing_violations_max.txt"
|
| 37 |
|
|
report -type "bottleneck" -format "TEXT" -analysis "max" -slack_threshold 0.00 \
|
| 38 |
|
|
-max_parallel_paths 1 -max_paths 100 -max_instances 10 \
|
| 39 |
|
|
-cost_type "path_count" \
|
| 40 |
|
|
"./report_bottleneck_max.txt"
|
| 41 |
|
|
report -type "datasheet" -format "TEXT" \
|
| 42 |
|
|
"./reports_datasheet.txt"
|
| 43 |
|
|
report -type "constraints_coverage" "./reports_constraints_coverage.txt"
|
| 44 |
|
|
report -type "combinational_loops" "./reports_combinational_loops.txt"
|
| 45 |
|
|
report -type "pin" -listby "name" \
|
| 46 |
|
|
"./reports_pin.txt"
|
| 47 |
|
|
report -type "flipflop" "./reports_flipflop.txt"
|
| 48 |
|
|
report -type "ccc_configuration" "./reports_ccc_configuration.txt"
|
| 49 |
|
|
report -type "globalnet" "./reports_globalnet.txt"
|
| 50 |
|
|
report -type "globalusage" "./reports_globalusage.txt"
|
| 51 |
|
|
export -format "log" -diagnostic "./libero_designer.log"
|
| 52 |
80 |
olivier.gi |
|
| 53 |
|
|
|
| 54 |
82 |
olivier.gi |
export -format "pdb " -feature "prog_fpga" "./fpga_bitstream.pdb"
|
| 55 |
|
|
|
| 56 |
|
|
save_design "./libero_designer.adb"
|
