OpenCores
URL https://opencores.org/ocsvn/mips789/mips789/trunk

Subversion Repositories mips789

[/] [mips789/] [tags/] [arelease/] [synplify_prj/] [mips_sys/] [verif/] [mips_sys.vif] - Blame information for rev 53

Go to most recent revision | Details | Compare with Previous | View Log

Line No. Rev Author Line
1 10 mcupro
#
2
# Synplicity Verification Interface File
3
# Generated using Synplify-pro
4
#
5
# Copyright (c) 1996-2005 Synplicity, Inc.
6
# All rights reserved
7
#
8
 
9
# Set logfile options
10
vif_set_result_file  mips_sys.vlf
11
 
12
# Set technology for TCL script
13
vif_set_technology -architecture FPGA -vendor Altera
14
 
15
# RTL and technology files
16
vif_add_library -original $env(QUARTUS_ROOTDIR)/eda/fv_lib/verilog
17
vif_add_file -original -verilog ../../rtl/verilog/ctl_fsm.v
18
vif_add_file -original -verilog ../../rtl/verilog/decode_pipe.v
19
vif_add_file -original -verilog ../../rtl/verilog/dvc.v
20
vif_add_file -original -verilog ../../rtl/verilog/EXEC_stage.v
21
vif_add_file -original -verilog ../../rtl/verilog/fifo.v
22
vif_add_file -original -verilog ../../rtl/verilog/forward.v
23
vif_add_file -original -verilog ../../rtl/verilog/mem_module.v
24
vif_add_file -original -verilog ../../rtl/verilog/mips_core.v
25
vif_add_file -original -verilog ../../rtl/verilog/mips_dvc.v
26
vif_add_file -original -verilog ../../rtl/verilog/mips_sys.v
27
vif_add_file -original -verilog ../../rtl/verilog/mips_uart.v
28
vif_add_file -original -verilog ../../rtl/verilog/ram_module.v
29
vif_add_file -original -verilog ../../rtl/verilog/RF_components.v
30
vif_add_file -original -verilog ../../rtl/verilog/RF_stage.v
31
vif_add_file -original -verilog ../../rtl/verilog/sim_ram.v
32
vif_add_file -original -verilog ../../rtl/verilog/tools.v
33
vif_add_file -original -verilog ../../rtl/verilog/fifo512_cyclone.v
34
vif_set_top_module -original -top mips_sys
35
 
36
vif_add_library -translated $env(QUARTUS_ROOTDIR)/eda/fv_lib/verilog
37
vif_add_file -translated -verilog mips_sys.vqm
38
vif_set_top_module -translated -top mips_sys
39
# Read FSM encoding
40
vif_set_fsm -fsm fsm_0
41
vif_set_fsmreg -original -fsm fsm_0 mips_core/iRF_stage/MIAN_FSM/CurrState_Sreg0[3:0]
42
vif_set_fsmreg -translated -fsm  fsm_0 mips_core/iRF_stage/MIAN_FSM/CurrState_Sreg0[8:0]
43
vif_set_state_map -fsm fsm_0 -original "0000" -translated "000000001"
44
vif_set_state_map -fsm fsm_0 -original "0001" -translated "000000010"
45
vif_set_state_map -fsm fsm_0 -original "0010" -translated "000000100"
46
vif_set_state_map -fsm fsm_0 -original "0011" -translated "000001000"
47
vif_set_state_map -fsm fsm_0 -original "0100" -translated "000010000"
48
vif_set_state_map -fsm fsm_0 -original "0101" -translated "000100000"
49
vif_set_state_map -fsm fsm_0 -original "0110" -translated "001000000"
50
vif_set_state_map -fsm fsm_0 -original "0111" -translated "010000000"
51
vif_set_state_map -fsm fsm_0 -original "1000" -translated "100000000"
52
vif_set_fsm -fsm fsm_9
53
vif_set_fsmreg -original -fsm fsm_9 imips_dvc/iuart0/uart_rd_tak/ua_state[2:0]
54
vif_set_fsmreg -translated -fsm  fsm_9 imips_dvc/iuart0/uart_rd_tak/ua_state[4:0]
55
vif_set_state_map -fsm fsm_9 -original "000" -translated "00001"
56
vif_set_state_map -fsm fsm_9 -original "001" -translated "00010"
57
vif_set_state_map -fsm fsm_9 -original "010" -translated "00100"
58
vif_set_state_map -fsm fsm_9 -original "011" -translated "01000"
59
vif_set_state_map -fsm fsm_9 -original "100" -translated "10000"
60
vif_set_fsm -fsm fsm_15
61
vif_set_fsmreg -original -fsm fsm_15 imips_dvc/iuart0/uart_txd/ua_state[2:0]
62
vif_set_fsmreg -translated -fsm  fsm_15 imips_dvc/iuart0/uart_txd/ua_state[7:0]
63
vif_set_state_map -fsm fsm_15 -original "000" -translated "00000001"
64
vif_set_state_map -fsm fsm_15 -original "001" -translated "00000010"
65
vif_set_state_map -fsm fsm_15 -original "010" -translated "00000100"
66
vif_set_state_map -fsm fsm_15 -original "011" -translated "00001000"
67
vif_set_state_map -fsm fsm_15 -original "100" -translated "00010000"
68
vif_set_state_map -fsm fsm_15 -original "101" -translated "00100000"
69
vif_set_state_map -fsm fsm_15 -original "110" -translated "01000000"
70
vif_set_state_map -fsm fsm_15 -original "111" -translated "10000000"
71
 
72
# Memory map points
73
 
74
# SRL map points
75
 
76
# Compiler constant registers
77
 
78
# Compiler constant latches
79
 
80
# Compiler RTL sequential redundancies
81
 
82
# RTL sequential redundancies
83
vif_set_merge -original  mips_core/MEM_CTL/dmem_ctl_post/byte_addr_o[0] mips_core/alu_pass0/r32_o[0]
84
vif_set_merge -original  mips_core/MEM_CTL/dmem_ctl_post/byte_addr_o[1] mips_core/alu_pass0/r32_o[1]
85
vif_set_merge -original  mips_core/iexec_stage/MIPS_alu/muldiv_ff/op2_sign_reged mips_core/iexec_stage/MIPS_alu/muldiv_ff/op2_reged[32]
86
 
87
# Technology sequential redundancies
88
 
89
# Inversion map points
90
vif_set_map_point -register -inverted -original mips_core/iRF_stage/MIAN_FSM/CurrState_Sreg0[0] -translated mips_core/iRF_stage/MIAN_FSM/CurrState_Sreg0_i_0__Z
91
vif_set_map_point -register -inverted -original imips_dvc/iuart0/uart_rd_tak/ua_state[0] -translated imips_dvc/iuart0/uart_rd_tak/ua_state_i_0__Z
92
vif_set_map_point -register -inverted -original imips_dvc/iuart0/uart_txd/ua_state[0] -translated imips_dvc/iuart0/uart_txd/ua_state_i_0__Z
93
 
94
# Port mappping and directions
95
 
96
# Black box mapping
97
vif_set_black_box synplicity_altsyncram4_r_w
98
vif_set_black_box scfifo
99
 
100
vif_set_map_point -blackbox -original mips_core/iRF_stage/reg_bank/reg_bank/altsyncram -translated mips_core/iRF_stage/reg_bank/reg_bank.I_1
101
vif_set_map_point -blackbox -original mips_core/iRF_stage/reg_bank/reg_bank_1/altsyncram -translated mips_core/iRF_stage/reg_bank/reg_bank_1.I_1
102
vif_set_map_point -blackbox -original imips_dvc/iuart0/uart_txd/fifo/scfifo_component -translated imips_dvc/iuart0/uart_txd/fifo/scfifo_component
103
 
104
# Other sequential cells, including multidimensional arrays
105
vif_set_map_point -latch -original mips_core/MEM_CTL/i_mem_dout_ctl/dout[7] -translated mips_core/MEM_CTL/i_mem_dout_ctl/dout_1_7__Z
106
vif_set_map_point -latch -original mips_core/MEM_CTL/i_mem_dout_ctl/dout[6] -translated mips_core/MEM_CTL/i_mem_dout_ctl/dout_1_6__Z
107
vif_set_map_point -latch -original mips_core/MEM_CTL/i_mem_dout_ctl/dout[5] -translated mips_core/MEM_CTL/i_mem_dout_ctl/dout_1_5__Z
108
vif_set_map_point -latch -original mips_core/MEM_CTL/i_mem_dout_ctl/dout[4] -translated mips_core/MEM_CTL/i_mem_dout_ctl/dout_1_4__Z
109
vif_set_map_point -latch -original mips_core/MEM_CTL/i_mem_dout_ctl/dout[3] -translated mips_core/MEM_CTL/i_mem_dout_ctl/dout_1_3__Z
110
vif_set_map_point -latch -original mips_core/MEM_CTL/i_mem_dout_ctl/dout[2] -translated mips_core/MEM_CTL/i_mem_dout_ctl/dout_1_2__Z
111
vif_set_map_point -latch -original mips_core/MEM_CTL/i_mem_dout_ctl/dout[1] -translated mips_core/MEM_CTL/i_mem_dout_ctl/dout_1_1__Z
112
vif_set_map_point -latch -original mips_core/MEM_CTL/i_mem_dout_ctl/dout[0] -translated mips_core/MEM_CTL/i_mem_dout_ctl/dout_1_0__Z
113
vif_set_map_point -latch -original mips_core/MEM_CTL/i_mem_dout_ctl/dout[15] -translated mips_core/MEM_CTL/i_mem_dout_ctl/dout_1_15__Z
114
vif_set_map_point -latch -original mips_core/MEM_CTL/i_mem_dout_ctl/dout[14] -translated mips_core/MEM_CTL/i_mem_dout_ctl/dout_1_14__Z
115
vif_set_map_point -latch -original mips_core/MEM_CTL/i_mem_dout_ctl/dout[13] -translated mips_core/MEM_CTL/i_mem_dout_ctl/dout_1_13__Z
116
vif_set_map_point -latch -original mips_core/MEM_CTL/i_mem_dout_ctl/dout[12] -translated mips_core/MEM_CTL/i_mem_dout_ctl/dout_1_12__Z
117
vif_set_map_point -latch -original mips_core/MEM_CTL/i_mem_dout_ctl/dout[11] -translated mips_core/MEM_CTL/i_mem_dout_ctl/dout_1_11__Z
118
vif_set_map_point -latch -original mips_core/MEM_CTL/i_mem_dout_ctl/dout[10] -translated mips_core/MEM_CTL/i_mem_dout_ctl/dout_1_10__Z
119
vif_set_map_point -latch -original mips_core/MEM_CTL/i_mem_dout_ctl/dout[9] -translated mips_core/MEM_CTL/i_mem_dout_ctl/dout_1_9__Z
120
vif_set_map_point -latch -original mips_core/MEM_CTL/i_mem_dout_ctl/dout[8] -translated mips_core/MEM_CTL/i_mem_dout_ctl/dout_1_8__Z
121
vif_set_map_point -latch -original mips_core/MEM_CTL/i_mem_dout_ctl/dout[31] -translated mips_core/MEM_CTL/i_mem_dout_ctl/dout_1_31__Z
122
vif_set_map_point -latch -original mips_core/MEM_CTL/i_mem_dout_ctl/dout[30] -translated mips_core/MEM_CTL/i_mem_dout_ctl/dout_1_30__Z
123
vif_set_map_point -latch -original mips_core/MEM_CTL/i_mem_dout_ctl/dout[29] -translated mips_core/MEM_CTL/i_mem_dout_ctl/dout_1_29__Z
124
vif_set_map_point -latch -original mips_core/MEM_CTL/i_mem_dout_ctl/dout[28] -translated mips_core/MEM_CTL/i_mem_dout_ctl/dout_1_28__Z
125
vif_set_map_point -latch -original mips_core/MEM_CTL/i_mem_dout_ctl/dout[27] -translated mips_core/MEM_CTL/i_mem_dout_ctl/dout_1_27__Z
126
vif_set_map_point -latch -original mips_core/MEM_CTL/i_mem_dout_ctl/dout[26] -translated mips_core/MEM_CTL/i_mem_dout_ctl/dout_1_26__Z
127
vif_set_map_point -latch -original mips_core/MEM_CTL/i_mem_dout_ctl/dout[25] -translated mips_core/MEM_CTL/i_mem_dout_ctl/dout_1_25__Z
128
vif_set_map_point -latch -original mips_core/MEM_CTL/i_mem_dout_ctl/dout[24] -translated mips_core/MEM_CTL/i_mem_dout_ctl/dout_1_24__Z
129
vif_set_map_point -latch -original mips_core/MEM_CTL/i_mem_dout_ctl/dout[23] -translated mips_core/MEM_CTL/i_mem_dout_ctl/dout_1_23__Z
130
vif_set_map_point -latch -original mips_core/MEM_CTL/i_mem_dout_ctl/dout[22] -translated mips_core/MEM_CTL/i_mem_dout_ctl/dout_1_22__Z
131
vif_set_map_point -latch -original mips_core/MEM_CTL/i_mem_dout_ctl/dout[21] -translated mips_core/MEM_CTL/i_mem_dout_ctl/dout_1_21__Z
132
vif_set_map_point -latch -original mips_core/MEM_CTL/i_mem_dout_ctl/dout[20] -translated mips_core/MEM_CTL/i_mem_dout_ctl/dout_1_20__Z
133
vif_set_map_point -latch -original mips_core/MEM_CTL/i_mem_dout_ctl/dout[19] -translated mips_core/MEM_CTL/i_mem_dout_ctl/dout_1_19__Z
134
vif_set_map_point -latch -original mips_core/MEM_CTL/i_mem_dout_ctl/dout[18] -translated mips_core/MEM_CTL/i_mem_dout_ctl/dout_1_18__Z
135
vif_set_map_point -latch -original mips_core/MEM_CTL/i_mem_dout_ctl/dout[17] -translated mips_core/MEM_CTL/i_mem_dout_ctl/dout_1_17__Z
136
vif_set_map_point -latch -original mips_core/MEM_CTL/i_mem_dout_ctl/dout[16] -translated mips_core/MEM_CTL/i_mem_dout_ctl/dout_1_16__Z
137
vif_set_map_point -latch -original mips_core/decoder_pipe/idecoder/fsm_dly[2] -translated mips_core/decoder_pipe/idecoder/fsm_dly_1_2__Z
138
vif_set_map_point -latch -original mips_core/decoder_pipe/idecoder/fsm_dly[1] -translated mips_core/decoder_pipe/idecoder/fsm_dly_1_1__Z
139
 
140
# Constant Registers
141
vif_set_constant -original -1 mips_core/iRF_stage/MIAN_FSM/CurrState_Sreg0[5]
142
vif_set_transparent -original 1 mips_core/iRF_stage/MIAN_FSM/iack
143
vif_set_constant -original -1 mips_core/iRF_stage/ins_reg/r32_o[31]
144
vif_set_constant -original -1 mips_core/iRF_stage/ins_reg/r32_o[30]
145
vif_set_constant -original -1 mips_core/iRF_stage/ins_reg/r32_o[29]
146
vif_set_constant -original -1 mips_core/iRF_stage/ins_reg/r32_o[28]
147
vif_set_constant -original -1 mips_core/iRF_stage/ins_reg/r32_o[27]
148
vif_set_constant -original -1 mips_core/iRF_stage/ins_reg/r32_o[26]
149
vif_set_constant -original -1 imips_dvc/mips_tmr0/itmr_d/q
150
vif_set_constant -original -1 imips_dvc/key2_addr[31]
151
vif_set_constant -original -1 imips_dvc/key2_addr[30]
152
vif_set_constant -original -1 imips_dvc/key2_addr[29]
153
vif_set_constant -original -1 imips_dvc/key2_addr[28]
154
vif_set_constant -original -1 imips_dvc/key2_addr[27]
155
vif_set_constant -original -1 imips_dvc/key2_addr[26]
156
vif_set_constant -original -1 imips_dvc/key2_addr[25]
157
vif_set_constant -original -1 imips_dvc/key2_addr[24]
158
vif_set_constant -original -1 imips_dvc/key2_addr[23]
159
vif_set_constant -original -1 imips_dvc/key2_addr[22]
160
vif_set_constant -original -1 imips_dvc/key2_addr[21]
161
vif_set_constant -original -1 imips_dvc/key2_addr[20]
162
vif_set_constant -original -1 imips_dvc/key2_addr[19]
163
vif_set_constant -original -1 imips_dvc/key2_addr[18]
164
vif_set_constant -original -1 imips_dvc/key2_addr[17]
165
vif_set_constant -original -1 imips_dvc/key2_addr[16]
166
vif_set_constant -original -1 imips_dvc/key2_addr[15]
167
vif_set_constant -original -1 imips_dvc/key2_addr[14]
168
vif_set_constant -original -1 imips_dvc/key2_addr[13]
169
vif_set_constant -original -1 imips_dvc/key2_addr[12]
170
vif_set_constant -original -1 imips_dvc/key2_addr[11]
171
vif_set_constant -original -1 imips_dvc/key2_addr[10]
172
vif_set_constant -original -1 imips_dvc/key2_addr[9]
173
vif_set_constant -original -1 imips_dvc/key2_addr[8]
174
vif_set_constant -original -1 imips_dvc/key2_addr[7]
175
vif_set_constant -original -1 imips_dvc/key2_addr[6]
176
vif_set_constant -original -1 imips_dvc/key2_addr[5]
177
vif_set_constant -original -1 imips_dvc/key2_addr[4]
178
vif_set_constant -original -1 imips_dvc/key2_addr[3]
179
vif_set_constant -original -1 imips_dvc/key2_addr[2]
180
vif_set_constant -original -1 imips_dvc/key2_addr[1]
181
vif_set_constant -original -1 imips_dvc/key2_addr[0]
182
vif_set_constant -original -1 imips_dvc/key1_addr[31]
183
vif_set_constant -original -1 imips_dvc/key1_addr[30]
184
vif_set_constant -original -1 imips_dvc/key1_addr[29]
185
vif_set_constant -original -1 imips_dvc/key1_addr[28]
186
vif_set_constant -original -1 imips_dvc/key1_addr[27]
187
vif_set_constant -original -1 imips_dvc/key1_addr[26]
188
vif_set_constant -original -1 imips_dvc/key1_addr[25]
189
vif_set_constant -original -1 imips_dvc/key1_addr[24]
190
vif_set_constant -original -1 imips_dvc/key1_addr[23]
191
vif_set_constant -original -1 imips_dvc/key1_addr[22]
192
vif_set_constant -original -1 imips_dvc/key1_addr[21]
193
vif_set_constant -original -1 imips_dvc/key1_addr[20]
194
vif_set_constant -original -1 imips_dvc/key1_addr[19]
195
vif_set_constant -original -1 imips_dvc/key1_addr[18]
196
vif_set_constant -original -1 imips_dvc/key1_addr[17]
197
vif_set_constant -original -1 imips_dvc/key1_addr[16]
198
vif_set_constant -original -1 imips_dvc/key1_addr[15]
199
vif_set_constant -original -1 imips_dvc/key1_addr[14]
200
vif_set_constant -original -1 imips_dvc/key1_addr[13]
201
vif_set_constant -original -1 imips_dvc/key1_addr[12]
202
vif_set_constant -original -1 imips_dvc/key1_addr[11]
203
vif_set_constant -original -1 imips_dvc/key1_addr[10]
204
vif_set_constant -original -1 imips_dvc/key1_addr[9]
205
vif_set_constant -original -1 imips_dvc/key1_addr[8]
206
vif_set_constant -original -1 imips_dvc/key1_addr[7]
207
vif_set_constant -original -1 imips_dvc/key1_addr[6]
208
vif_set_constant -original -1 imips_dvc/key1_addr[5]
209
vif_set_constant -original -1 imips_dvc/key1_addr[4]
210
vif_set_constant -original -1 imips_dvc/key1_addr[3]
211
vif_set_constant -original -1 imips_dvc/key1_addr[2]
212
vif_set_constant -original -1 imips_dvc/key1_addr[1]
213
vif_set_constant -original -1 imips_dvc/key1_addr[0]
214
vif_set_constant -original -1 imips_dvc/tmr_addr[31]
215
vif_set_constant -original -1 imips_dvc/tmr_addr[30]
216
vif_set_constant -original -1 imips_dvc/tmr_addr[29]
217
vif_set_constant -original -1 imips_dvc/tmr_addr[28]
218
vif_set_constant -original -1 imips_dvc/tmr_addr[27]
219
vif_set_constant -original -1 imips_dvc/tmr_addr[26]
220
vif_set_constant -original -1 imips_dvc/tmr_addr[25]
221
vif_set_constant -original -1 imips_dvc/tmr_addr[24]
222
vif_set_constant -original -1 imips_dvc/tmr_addr[23]
223
vif_set_constant -original -1 imips_dvc/tmr_addr[22]
224
vif_set_constant -original -1 imips_dvc/tmr_addr[21]
225
vif_set_constant -original -1 imips_dvc/tmr_addr[20]
226
vif_set_constant -original -1 imips_dvc/tmr_addr[19]
227
vif_set_constant -original -1 imips_dvc/tmr_addr[18]
228
vif_set_constant -original -1 imips_dvc/tmr_addr[17]
229
vif_set_constant -original -1 imips_dvc/tmr_addr[16]
230
vif_set_constant -original -1 imips_dvc/tmr_addr[15]
231
vif_set_constant -original -1 imips_dvc/tmr_addr[14]
232
vif_set_constant -original -1 imips_dvc/tmr_addr[13]
233
vif_set_constant -original -1 imips_dvc/tmr_addr[12]
234
vif_set_constant -original -1 imips_dvc/tmr_addr[11]
235
vif_set_constant -original -1 imips_dvc/tmr_addr[10]
236
vif_set_constant -original -1 imips_dvc/tmr_addr[9]
237
vif_set_constant -original -1 imips_dvc/tmr_addr[8]
238
vif_set_constant -original -1 imips_dvc/tmr_addr[7]
239
vif_set_constant -original -1 imips_dvc/tmr_addr[6]
240
vif_set_constant -original -1 imips_dvc/tmr_addr[5]
241
vif_set_constant -original -1 imips_dvc/tmr_addr[4]
242
vif_set_constant -original -1 imips_dvc/tmr_addr[3]
243
vif_set_constant -original -1 imips_dvc/tmr_addr[2]
244
vif_set_constant -original -1 imips_dvc/tmr_addr[1]
245
vif_set_constant -original -1 imips_dvc/tmr_addr[0]
246
 
247
# Retimed Registers
248
 
249
# Altera MAC annotations
250
 

powered by: WebSVN 2.1.0

© copyright 1999-2024 OpenCores.org, equivalent to Oliscience, all rights reserved. OpenCores®, registered trademark.