optimize.dc

来自「一个航天航空用的Sparc处理器（配美国欧洲宇航局用的R_tems嵌入式操作系统」· DC 代码 · 共 9 行

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