Skip to content

Commit 1d3cebc

Browse files
kroeningkroening
committed
fx
1 parent 2ce6795 commit 1d3cebc

File tree

1 file changed

+151
-0
lines changed

1 file changed

+151
-0
lines changed

‎examples/Benchmarks/run_nuterm

Lines changed: 151 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,151 @@
1+
#!/bin/sh
2+
3+
set -e
4+
5+
if false ; then
6+
ebmc PWM_1.sv --neural-liveness "2**10-cntR"
7+
ebmc PWM_2.sv --neural-liveness "2**11-cntR"
8+
ebmc PWM_3.sv --neural-liveness "2**12-cntR"
9+
ebmc PWM_4.sv --neural-liveness "2**13-cntR"
10+
ebmc PWM_5.sv --neural-liveness "2**14-cntR"
11+
ebmc PWM_6.sv --neural-liveness "2**15-cntR"
12+
ebmc PWM_7.sv --neural-liveness "2**16-cntR"
13+
ebmc PWM_8.sv --neural-liveness "2**17-cntR"
14+
ebmc PWM_9.sv --neural-liveness "2**18-cntR"
15+
fi
16+
17+
if false ; then
18+
ebmc delay_1.sv --neural-liveness "750-cnt"
19+
ebmc delay_2.sv --neural-liveness "1250-cnt"
20+
ebmc delay_3.sv --neural-liveness "2500-cnt"
21+
ebmc delay_4.sv --neural-liveness "5000-cnt"
22+
ebmc delay_5.sv --neural-liveness "7500-cnt"
23+
ebmc delay_6.sv --neural-liveness "10000-cnt"
24+
ebmc delay_7.sv --neural-liveness "12500-cnt"
25+
ebmc delay_8.sv --neural-liveness "15000-cnt"
26+
ebmc delay_9.sv --neural-liveness "17500-cnt"
27+
ebmc delay_10.sv --neural-liveness "20000-cnt"
28+
ebmc delay_11.sv --neural-liveness "22500-cnt"
29+
ebmc delay_12.sv --neural-liveness "25000-cnt"
30+
ebmc delay_13.sv --neural-liveness "50000-cnt"
31+
ebmc delay_14.sv --neural-liveness "100000-cnt"
32+
ebmc delay_15.sv --neural-liveness "200000-cnt"
33+
ebmc delay_16.sv --neural-liveness "400000-cnt"
34+
fi
35+
36+
if false ; then
37+
ebmc gray_1.sv --neural-liveness "2**8-cnt"
38+
ebmc gray_2.sv --neural-liveness "2**9-cnt"
39+
ebmc gray_3.sv --neural-liveness "2**10-cnt"
40+
ebmc gray_4.sv --neural-liveness "2**11-cnt"
41+
ebmc gray_5.sv --neural-liveness "2**12-cnt"
42+
ebmc gray_6.sv --neural-liveness "2**13-cnt"
43+
ebmc gray_7.sv --neural-liveness "2**14-cnt"
44+
ebmc gray_8.sv --neural-liveness "2**15-cnt"
45+
ebmc gray_9.sv --neural-liveness "2**16-cnt"
46+
ebmc gray_10.sv --neural-liveness "2**17-cnt"
47+
ebmc gray_11.sv --neural-liveness "2**18-cnt"
48+
fi
49+
50+
if false ; then
51+
ebmc i2c_1.sv --neural-liveness "2**9-cnt"
52+
ebmc i2c_2.sv --neural-liveness "2**10-cnt"
53+
ebmc i2c_3.sv --neural-liveness "2**11-cnt"
54+
ebmc i2c_4.sv --neural-liveness "2**12-cnt"
55+
ebmc i2c_5.sv --neural-liveness "2**13-cnt"
56+
ebmc i2c_6.sv --neural-liveness "2**14-cnt"
57+
ebmc i2c_7.sv --neural-liveness "2**15-cnt"
58+
ebmc i2c_8.sv --neural-liveness "2**16-cnt"
59+
ebmc i2c_9.sv --neural-liveness "2**17-cnt"
60+
ebmc i2c_10.sv --neural-liveness "2**18-cnt"
61+
ebmc i2c_11.sv --neural-liveness "2**19-cnt"
62+
ebmc i2c_12.sv --neural-liveness "2**10-cnt"
63+
ebmc i2c_13.sv --neural-liveness "2**10-cnt"
64+
ebmc i2c_14.sv --neural-liveness "2**10-cnt"
65+
ebmc i2c_15.sv --neural-liveness "2**10-cnt"
66+
ebmc i2c_16.sv --neural-liveness "2**10-cnt"
67+
ebmc i2c_17.sv --neural-liveness "2**10-cnt"
68+
ebmc i2c_18.sv --neural-liveness "2**10-cnt"
69+
ebmc i2c_19.sv --neural-liveness "2**10-cnt"
70+
ebmc i2c_20.sv --neural-liveness "2**19-cnt"
71+
fi
72+
73+
if false ; then
74+
ebmc lcd_1.sv --neural-liveness "{3-state,500-cnt}"
75+
ebmc lcd_2.sv --neural-liveness "{3-state,1000-cnt}"
76+
ebmc lcd_3.sv --neural-liveness "{3-state,1500-cnt}"
77+
ebmc lcd_4.sv --neural-liveness "{3-state,2500-cnt}"
78+
ebmc lcd_5.sv --neural-liveness "{3-state,5000-cnt}"
79+
ebmc lcd_6.sv --neural-liveness "{3-state,7500-cnt}"
80+
ebmc lcd_7.sv --neural-liveness "{3-state,10000-cnt}"
81+
ebmc lcd_8.sv --neural-liveness "{3-state,12500-cnt}"
82+
ebmc lcd_9.sv --neural-liveness "{3-state,15000-cnt}"
83+
ebmc lcd_10.sv --neural-liveness "{3-state,17500-cnt}"
84+
ebmc lcd_11.sv --neural-liveness "{3-state,20000-cnt}"
85+
ebmc lcd_12.sv --neural-liveness "{3-state,22500-cnt}"
86+
ebmc lcd_13.sv --neural-liveness "{3-state,90000-cnt}"
87+
ebmc lcd_14.sv --neural-liveness "{3-state,180000-cnt}"
88+
fi
89+
90+
ebmc seven_seg_1.sv --neural-liveness --property SEVEN.property.p1
91+
ebmc seven_seg_2.sv --neural-liveness --property SEVEN.property.p1
92+
ebmc seven_seg_3.sv --neural-liveness --property SEVEN.property.p1
93+
ebmc seven_seg_4.sv --neural-liveness --property SEVEN.property.p1
94+
ebmc seven_seg_5.sv --neural-liveness --property SEVEN.property.p1
95+
ebmc seven_seg_6.sv --neural-liveness --property SEVEN.property.p1
96+
ebmc seven_seg_7.sv --neural-liveness --property SEVEN.property.p1
97+
ebmc seven_seg_8.sv --neural-liveness --property SEVEN.property.p1
98+
ebmc seven_seg_9.sv --neural-liveness --property SEVEN.property.p1
99+
ebmc seven_seg_10.sv --neural-liveness --property SEVEN.property.p1
100+
ebmc seven_seg_11.sv --neural-liveness --property SEVEN.property.p1
101+
ebmc seven_seg_12.sv --neural-liveness --property SEVEN.property.p1
102+
ebmc seven_seg_16.sv --neural-liveness --property SEVEN.property.p1
103+
ebmc seven_seg_17.sv --neural-liveness --property SEVEN.property.p1
104+
ebmc seven_seg_18.sv --neural-liveness --property SEVEN.property.p1
105+
106+
if false ; then
107+
ebmc thermocouple_1.sv --neural-liveness "{2-state,2**5-cnt}"
108+
ebmc thermocouple_2.sv --neural-liveness "{2-state,2**9-cnt}"
109+
ebmc thermocouple_3.sv --neural-liveness "{2-state,2**10-cnt}"
110+
ebmc thermocouple_4.sv --neural-liveness "{2-state,2**10-cnt}"
111+
ebmc thermocouple_5.sv --neural-liveness "{2-state,2**11-cnt}"
112+
ebmc thermocouple_6.sv --neural-liveness "{2-state,2**11-cnt}"
113+
ebmc thermocouple_7.sv --neural-liveness "{2-state,2**12-cnt}"
114+
ebmc thermocouple_8.sv --neural-liveness "{2-state,2**12-cnt}"
115+
ebmc thermocouple_9.sv --neural-liveness "{2-state,2**13-cnt}"
116+
ebmc thermocouple_10.sv --neural-liveness "{2-state,2**14-cnt}"
117+
ebmc thermocouple_11.sv --neural-liveness "{2-state,2**14-cnt}"
118+
ebmc thermocouple_12.sv --neural-liveness "{2-state,2**14-cnt}"
119+
ebmc thermocouple_13.sv --neural-liveness "{2-state,2**15-cnt}"
120+
ebmc thermocouple_14.sv --neural-liveness "{2-state,2**16-cnt}"
121+
ebmc thermocouple_15.sv --neural-liveness "{2-state,2**17-cnt}"
122+
ebmc thermocouple_16.sv --neural-liveness "{2-state,2**18-cnt}"
123+
ebmc thermocouple_17.sv --neural-liveness "{2-state,2**19-cnt}"
124+
fi
125+
126+
if false ; then
127+
ebmc uart_transmit_1.sv --neural-liveness "2**3-tx_cnt"
128+
ebmc uart_transmit_2.sv --neural-liveness "2**4-tx_cnt"
129+
ebmc uart_transmit_3.sv --neural-liveness "2**4-tx_cnt"
130+
ebmc uart_transmit_4.sv --neural-liveness "2**4-tx_cnt"
131+
ebmc uart_transmit_5.sv --neural-liveness "2**4-tx_cnt"
132+
ebmc uart_transmit_6.sv --neural-liveness "2**4-tx_cnt"
133+
ebmc uart_transmit_7.sv --neural-liveness "2**4-tx_cnt"
134+
ebmc uart_transmit_8.sv --neural-liveness "2**4-tx_cnt"
135+
ebmc uart_transmit_9.sv --neural-liveness "2**5-tx_cnt"
136+
ebmc uart_transmit_10.sv --neural-liveness "2**5-tx_cnt"
137+
ebmc uart_transmit_11.sv --neural-liveness "2**5-tx_cnt"
138+
ebmc uart_transmit_12.sv --neural-liveness "2**6-tx_cnt"
139+
fi
140+
141+
if false ; then
142+
ebmc vga_1.sv --neural-liveness "{2**5-v_cnt,2**7-h_cnt}"
143+
ebmc vga_2.sv --neural-liveness "{2**6-v_cnt,2**8-h_cnt}"
144+
ebmc vga_3.sv --neural-liveness "{2**6-v_cnt,2**8-h_cnt}"
145+
ebmc vga_4.sv --neural-liveness "{2**7-v_cnt,2**9-h_cnt}"
146+
ebmc vga_5.sv --neural-liveness "{2**8-v_cnt,2**9-h_cnt}"
147+
ebmc vga_6.sv --neural-liveness "{2**8-v_cnt,2**9-h_cnt}"
148+
ebmc vga_7.sv --neural-liveness "{2**8-v_cnt,2**10-h_cnt}"
149+
ebmc vga_8.sv --neural-liveness "{2**9-v_cnt,2**10-h_cnt}"
150+
ebmc vga_9.sv --neural-liveness "{2**9-v_cnt,2**11-h_cnt}"
151+
fi

0 commit comments

Comments
 (0)