optimize.dc

一个航天航空用的Sparc处理器（配美国欧洲宇航局用的R_tems嵌入式操作系统）的VHDL源代码

set_max_area 30000  
set_min_fault_coverage 95   
set_flatten false -design {"leon.db:leon"} 
set_structure true -design {"leon.db:leon"} -boolean false -timing true 
uniquify
compile  -map_effort high -boundary_optimization  
report_area
report_timing -path full -delay max -max_paths 1 -nworst 1