mcore_mi35.dc

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

include libs_mi35.dc
update_lib MTC45000 ramlib_mi35.lib
read -format vhdl {"clkgen.vhd"} 
read -format vhdl {"iu.vhd"} 
group -hdl_all_blocks
read -format vhdl {"regfile.vhd"} 
read -format vhdl {"cachemem.vhd"} 
read -format vhdl {"icache.vhd"} 
read -format vhdl {"dcache.vhd"} 
read -format vhdl {"cache.vhd"} 
read -format vhdl {"proc.vhd"} 
read -format vhdl {"irqctrl.vhd"} 
read -format vhdl {"pio.vhd"} 
read -format vhdl {"timers.vhd"} 
analyze -format vhdl {"uart.vhd"} 
read -format vhdl {"peri.vhd"} 
read -format vhdl {"mctrl.vhd"} 
read -format vhdl {"dma.vhd"} 
read -format vhdl {"mcore.vhd"} 
set_operating_conditions -library "MTC45000" "WCCOM"
create_clock -name "clk" -period 16 -waveform {   "0" "8.0" } {   "clk" } 
set_max_area 30000  
set_min_fault_coverage 95   
set_flatten false -design {"mcore.db:mcore"} 
set_structure true -design {"mcore.db:mcore"} -boolean false -timing true 
compile  -map_effort medium -boundary_optimization