armexio.sat

来自「usoc在北京博创兴业有限公司的实验平台s3c2410上运行。 2. 各实验的全」· SAT 代码 · 共 171 行

define_design_name {armExIO}
define_synthesis -family ACEX1K
define_synthesis -device {EP1K50QC208-3}
define_synthesis -style WYSIWYG
define_synthesis -inverter_push_back OFF
clear_auto_cliques
define_clock {} -freq 1.0
define_clock {|mclk} -period 1000.000
define_output_delay {|led0} 0.1 -clock {|mclk}
define_output_delay {|led1} 0.1 -clock {|mclk}
define_output_delay {|led2} 0.1 -clock {|mclk}
define_output_delay {|data0} 0.1
define_output_delay {|data1} 0.1
define_output_delay {|data2} 0.1
define_output_delay {|data3} 0.1
define_output_delay {|data4} 0.1
define_output_delay {|data5} 0.1
define_output_delay {|data6} 0.1
define_output_delay {|data7} 0.1
define_output_delay {|data8} 0.1
define_output_delay {|data9} 0.1
define_output_delay {|data10} 0.1
define_output_delay {|data11} 0.1
define_output_delay {|data12} 0.1
define_output_delay {|data13} 0.1
define_output_delay {|data14} 0.1
define_output_delay {|data15} 0.1
define_output_delay {|IOP30} 0.1
define_output_delay {|IOP31} 0.1
define_output_delay {|IOP32} 0.1
define_output_delay {|IOP33} 0.1
define_output_delay {|IOP34} 0.1
define_output_delay {|IOP35} 0.1
define_output_delay {|IOP36} 0.1
define_output_delay {|IOP37} 0.1
define_output_delay {|IOP38} 0.1
define_output_delay {|IOP39} 0.1
define_output_delay {|IOP310} 0.1
define_output_delay {|IOP311} 0.1
define_output_delay {|IOP312} 0.1
define_output_delay {|IOP313} 0.1
define_output_delay {|IOP314} 0.1
define_output_delay {|IOP315} 0.1
define_output_delay {|IOP316} 0.1
define_output_delay {|IOP317} 0.1
define_output_delay {|IOP318} 0.1
define_output_delay {|IOP319} 0.1
define_output_delay {|IOP320} 0.1
define_output_delay {|IOP321} 0.1
define_output_delay {|IOP322} 0.1
define_output_delay {|IOP323} 0.1
define_output_delay {|IOP324} 0.1
define_output_delay {|IOP325} 0.1
define_output_delay {|IOP10} 0.1
define_output_delay {|IOP11} 0.1
define_output_delay {|IOP12} 0.1
define_output_delay {|IOP13} 0.1
define_output_delay {|IOP14} 0.1
define_output_delay {|IOP15} 0.1
define_output_delay {|IOP16} 0.1
define_output_delay {|IOP17} 0.1
define_output_delay {|IOP18} 0.1
define_output_delay {|IOP19} 0.1
define_output_delay {|IOP110} 0.1
define_output_delay {|IOP111} 0.1
define_output_delay {|IOP112} 0.1
define_output_delay {|IOP113} 0.1
define_output_delay {|IOP114} 0.1
define_output_delay {|IOP115} 0.1
define_output_delay {|IOP116} 0.1
define_output_delay {|IOP117} 0.1
define_output_delay {|IOP118} 0.1
define_output_delay {|IOP119} 0.1
define_output_delay {|IOP120} 0.1
define_output_delay {|IOP121} 0.1
define_output_delay {|IOP122} 0.1
define_output_delay {|IOP123} 0.1
define_output_delay {|IOP124} 0.1
define_output_delay {|IOP125} 0.1
define_output_delay {|IOP126} 0.1
define_output_delay {|IOP127} 0.1
define_output_delay {|IOP128} 0.1
define_output_delay {|IOP129} 0.1
define_output_delay {|IOP130} 0.1
define_output_delay {|IOP131} 0.1
define_output_delay {|IOP132} 0.1
define_output_delay {|IOP133} 0.1
define_output_delay {|IOP134} 0.1
define_output_delay {|IOP135} 0.1
define_output_delay {|IOP136} 0.1
define_output_delay {|IOP20} 0.1
define_output_delay {|IOP21} 0.1
define_output_delay {|IOP22} 0.1
define_output_delay {|IOP23} 0.1
define_output_delay {|IOP24} 0.1
define_output_delay {|IOP25} 0.1
define_output_delay {|IOP26} 0.1
define_output_delay {|IOP27} 0.1
define_output_delay {|IOP28} 0.1
define_output_delay {|IOP29} 0.1
define_output_delay {|IOP210} 0.1
define_output_delay {|IOP211} 0.1
define_output_delay {|IOP212} 0.1
define_output_delay {|IOP213} 0.1
define_output_delay {|IOP214} 0.1
define_output_delay {|IOP215} 0.1
define_output_delay {|IOP216} 0.1
define_output_delay {|IOP217} 0.1
define_output_delay {|IOP218} 0.1
define_output_delay {|IOP219} 0.1
define_output_delay {|IOP220} 0.1
define_output_delay {|IOP221} 0.1
define_output_delay {|IOP222} 0.1
define_output_delay {|IOP223} 0.1
define_output_delay {|IOP224} 0.1
define_output_delay {|IOP225} 0.1
define_output_delay {|IOP226} 0.1
define_output_delay {|IOP227} 0.1
define_output_delay {|IOP228} 0.1
define_output_delay {|IOP229} 0.1
define_output_delay {|IOP230} 0.1
define_output_delay {|IOP231} 0.1
define_output_delay {|IOP232} 0.1
define_output_delay {|IOP233} 0.1
define_output_delay {|IOP234} 0.1
define_output_delay {|IOP235} 0.1
define_output_delay {|IOP236} 0.1
define_input_delay {|reset} 0.1
define_input_delay {|mclk} 0.1
define_input_delay {|wr} 0.1
define_input_delay {|rd} 0.1
define_input_delay {|cs} 0.1
define_input_delay {|switch0} 0.1
define_input_delay {|switch1} 0.1
define_input_delay {|switch2} 0.1
define_input_delay {|switch3} 0.1
define_input_delay {|unused0} 0.1
define_input_delay {|unused1} 0.1
define_input_delay {|unused2} 0.1
define_input_delay {|unused3} 0.1
define_input_delay {|unused4} 0.1
define_input_delay {|unused5} 0.1
define_input_delay {|address0} 0.1
define_input_delay {|address1} 0.1
define_input_delay {|address2} 0.1
define_input_delay {|address3} 0.1
define_input_delay {|address4} 0.1
define_input_delay {|address5} 0.1
define_input_delay {|address6} 0.1
define_input_delay {|address7} 0.1
define_input_delay {|address8} 0.1
define_input_delay {|address9} 0.1
define_input_delay {|data0} 0.1
define_input_delay {|data1} 0.1
define_input_delay {|data2} 0.1
define_input_delay {|data3} 0.1
define_input_delay {|data4} 0.1
define_input_delay {|data5} 0.1
define_input_delay {|data6} 0.1
define_input_delay {|data7} 0.1
define_input_delay {|data8} 0.1
define_input_delay {|data9} 0.1
define_input_delay {|data10} 0.1
define_input_delay {|data11} 0.1
define_input_delay {|data12} 0.1
define_input_delay {|data13} 0.1
define_input_delay {|data14} 0.1
define_input_delay {|data15} 0.1

log_puts {All Constraints processed!}