vr_fifo.vif

可预取的fifo 的fpga 设计代码

#
# Synplicity Verification Interface File
# Generated using Synplify-pro
#
# Copyright (c) 1996-2005 Synplicity, Inc.
# All rights reserved
#

# Set logfile options
vif_set_result_file  vr_fifo.vlf

# Set technology for TCL script
vif_set_technology -architecture FPGA -vendor Xilinx

# RTL and technology files
vif_add_file -original -vhdl -lib work ../src/vr_fifo_rtl.vhd
vif_set_top_module -original -top vr_fifo
 
vif_add_library -translated $XILINX/verilog/verification/unisims
vif_add_library -translated $XILINX/verilog/verification/simprims
vif_add_file -translated -verilog vr_fifo.vm
vif_set_top_module -translated -top vr_fifo 
# Read FSM encoding

# Memory map points
vif_set_map_point -register -original fifo_ary[0][7] -translated fifo_ary.I_1/ff0_r_e_g
vif_set_map_point -register -original fifo_ary[1][7] -translated fifo_ary.I_1/ff1_r_e_g
vif_set_map_point -register -original fifo_ary[2][7] -translated fifo_ary.I_1/ff2_r_e_g
vif_set_map_point -register -original fifo_ary[3][7] -translated fifo_ary.I_1/ff3_r_e_g
vif_set_map_point -register -original fifo_ary[4][7] -translated fifo_ary.I_1/ff4_r_e_g
vif_set_map_point -register -original fifo_ary[5][7] -translated fifo_ary.I_1/ff5_r_e_g
vif_set_map_point -register -original fifo_ary[6][7] -translated fifo_ary.I_1/ff6_r_e_g
vif_set_map_point -register -original fifo_ary[7][7] -translated fifo_ary.I_1/ff7_r_e_g
vif_set_map_point -register -original fifo_ary[8][7] -translated fifo_ary.I_1/ff8_r_e_g
vif_set_map_point -register -original fifo_ary[9][7] -translated fifo_ary.I_1/ff9_r_e_g
vif_set_map_point -register -original fifo_ary[10][7] -translated fifo_ary.I_1/ff10_r_e_g
vif_set_map_point -register -original fifo_ary[11][7] -translated fifo_ary.I_1/ff11_r_e_g
vif_set_map_point -register -original fifo_ary[12][7] -translated fifo_ary.I_1/ff12_r_e_g
vif_set_map_point -register -original fifo_ary[13][7] -translated fifo_ary.I_1/ff13_r_e_g
vif_set_map_point -register -original fifo_ary[14][7] -translated fifo_ary.I_1/ff14_r_e_g
vif_set_map_point -register -original fifo_ary[15][7] -translated fifo_ary.I_1/ff15_r_e_g
vif_set_map_point -register -original fifo_ary[0][4] -translated fifo_ary.I_2/ff0_r_e_g
vif_set_map_point -register -original fifo_ary[1][4] -translated fifo_ary.I_2/ff1_r_e_g
vif_set_map_point -register -original fifo_ary[2][4] -translated fifo_ary.I_2/ff2_r_e_g
vif_set_map_point -register -original fifo_ary[3][4] -translated fifo_ary.I_2/ff3_r_e_g
vif_set_map_point -register -original fifo_ary[4][4] -translated fifo_ary.I_2/ff4_r_e_g
vif_set_map_point -register -original fifo_ary[5][4] -translated fifo_ary.I_2/ff5_r_e_g
vif_set_map_point -register -original fifo_ary[6][4] -translated fifo_ary.I_2/ff6_r_e_g
vif_set_map_point -register -original fifo_ary[7][4] -translated fifo_ary.I_2/ff7_r_e_g
vif_set_map_point -register -original fifo_ary[8][4] -translated fifo_ary.I_2/ff8_r_e_g
vif_set_map_point -register -original fifo_ary[9][4] -translated fifo_ary.I_2/ff9_r_e_g
vif_set_map_point -register -original fifo_ary[10][4] -translated fifo_ary.I_2/ff10_r_e_g
vif_set_map_point -register -original fifo_ary[11][4] -translated fifo_ary.I_2/ff11_r_e_g
vif_set_map_point -register -original fifo_ary[12][4] -translated fifo_ary.I_2/ff12_r_e_g
vif_set_map_point -register -original fifo_ary[13][4] -translated fifo_ary.I_2/ff13_r_e_g
vif_set_map_point -register -original fifo_ary[14][4] -translated fifo_ary.I_2/ff14_r_e_g
vif_set_map_point -register -original fifo_ary[15][4] -translated fifo_ary.I_2/ff15_r_e_g
vif_set_map_point -register -original fifo_ary[0][5] -translated fifo_ary.I_3/ff0_r_e_g
vif_set_map_point -register -original fifo_ary[1][5] -translated fifo_ary.I_3/ff1_r_e_g
vif_set_map_point -register -original fifo_ary[2][5] -translated fifo_ary.I_3/ff2_r_e_g
vif_set_map_point -register -original fifo_ary[3][5] -translated fifo_ary.I_3/ff3_r_e_g
vif_set_map_point -register -original fifo_ary[4][5] -translated fifo_ary.I_3/ff4_r_e_g
vif_set_map_point -register -original fifo_ary[5][5] -translated fifo_ary.I_3/ff5_r_e_g
vif_set_map_point -register -original fifo_ary[6][5] -translated fifo_ary.I_3/ff6_r_e_g
vif_set_map_point -register -original fifo_ary[7][5] -translated fifo_ary.I_3/ff7_r_e_g
vif_set_map_point -register -original fifo_ary[8][5] -translated fifo_ary.I_3/ff8_r_e_g
vif_set_map_point -register -original fifo_ary[9][5] -translated fifo_ary.I_3/ff9_r_e_g
vif_set_map_point -register -original fifo_ary[10][5] -translated fifo_ary.I_3/ff10_r_e_g
vif_set_map_point -register -original fifo_ary[11][5] -translated fifo_ary.I_3/ff11_r_e_g
vif_set_map_point -register -original fifo_ary[12][5] -translated fifo_ary.I_3/ff12_r_e_g
vif_set_map_point -register -original fifo_ary[13][5] -translated fifo_ary.I_3/ff13_r_e_g
vif_set_map_point -register -original fifo_ary[14][5] -translated fifo_ary.I_3/ff14_r_e_g
vif_set_map_point -register -original fifo_ary[15][5] -translated fifo_ary.I_3/ff15_r_e_g
vif_set_map_point -register -original fifo_ary[0][6] -translated fifo_ary.I_4/ff0_r_e_g
vif_set_map_point -register -original fifo_ary[1][6] -translated fifo_ary.I_4/ff1_r_e_g
vif_set_map_point -register -original fifo_ary[2][6] -translated fifo_ary.I_4/ff2_r_e_g
vif_set_map_point -register -original fifo_ary[3][6] -translated fifo_ary.I_4/ff3_r_e_g
vif_set_map_point -register -original fifo_ary[4][6] -translated fifo_ary.I_4/ff4_r_e_g
vif_set_map_point -register -original fifo_ary[5][6] -translated fifo_ary.I_4/ff5_r_e_g
vif_set_map_point -register -original fifo_ary[6][6] -translated fifo_ary.I_4/ff6_r_e_g
vif_set_map_point -register -original fifo_ary[7][6] -translated fifo_ary.I_4/ff7_r_e_g
vif_set_map_point -register -original fifo_ary[8][6] -translated fifo_ary.I_4/ff8_r_e_g
vif_set_map_point -register -original fifo_ary[9][6] -translated fifo_ary.I_4/ff9_r_e_g
vif_set_map_point -register -original fifo_ary[10][6] -translated fifo_ary.I_4/ff10_r_e_g
vif_set_map_point -register -original fifo_ary[11][6] -translated fifo_ary.I_4/ff11_r_e_g
vif_set_map_point -register -original fifo_ary[12][6] -translated fifo_ary.I_4/ff12_r_e_g
vif_set_map_point -register -original fifo_ary[13][6] -translated fifo_ary.I_4/ff13_r_e_g
vif_set_map_point -register -original fifo_ary[14][6] -translated fifo_ary.I_4/ff14_r_e_g
vif_set_map_point -register -original fifo_ary[15][6] -translated fifo_ary.I_4/ff15_r_e_g
vif_set_map_point -register -original fifo_ary[0][3] -translated fifo_ary.I_5/ff0_r_e_g
vif_set_map_point -register -original fifo_ary[1][3] -translated fifo_ary.I_5/ff1_r_e_g
vif_set_map_point -register -original fifo_ary[2][3] -translated fifo_ary.I_5/ff2_r_e_g
vif_set_map_point -register -original fifo_ary[3][3] -translated fifo_ary.I_5/ff3_r_e_g
vif_set_map_point -register -original fifo_ary[4][3] -translated fifo_ary.I_5/ff4_r_e_g
vif_set_map_point -register -original fifo_ary[5][3] -translated fifo_ary.I_5/ff5_r_e_g
vif_set_map_point -register -original fifo_ary[6][3] -translated fifo_ary.I_5/ff6_r_e_g
vif_set_map_point -register -original fifo_ary[7][3] -translated fifo_ary.I_5/ff7_r_e_g
vif_set_map_point -register -original fifo_ary[8][3] -translated fifo_ary.I_5/ff8_r_e_g
vif_set_map_point -register -original fifo_ary[9][3] -translated fifo_ary.I_5/ff9_r_e_g
vif_set_map_point -register -original fifo_ary[10][3] -translated fifo_ary.I_5/ff10_r_e_g
vif_set_map_point -register -original fifo_ary[11][3] -translated fifo_ary.I_5/ff11_r_e_g
vif_set_map_point -register -original fifo_ary[12][3] -translated fifo_ary.I_5/ff12_r_e_g
vif_set_map_point -register -original fifo_ary[13][3] -translated fifo_ary.I_5/ff13_r_e_g
vif_set_map_point -register -original fifo_ary[14][3] -translated fifo_ary.I_5/ff14_r_e_g
vif_set_map_point -register -original fifo_ary[15][3] -translated fifo_ary.I_5/ff15_r_e_g
vif_set_map_point -register -original fifo_ary[0][0] -translated fifo_ary.I_6/ff0_r_e_g
vif_set_map_point -register -original fifo_ary[1][0] -translated fifo_ary.I_6/ff1_r_e_g
vif_set_map_point -register -original fifo_ary[2][0] -translated fifo_ary.I_6/ff2_r_e_g
vif_set_map_point -register -original fifo_ary[3][0] -translated fifo_ary.I_6/ff3_r_e_g
vif_set_map_point -register -original fifo_ary[4][0] -translated fifo_ary.I_6/ff4_r_e_g
vif_set_map_point -register -original fifo_ary[5][0] -translated fifo_ary.I_6/ff5_r_e_g
vif_set_map_point -register -original fifo_ary[6][0] -translated fifo_ary.I_6/ff6_r_e_g
vif_set_map_point -register -original fifo_ary[7][0] -translated fifo_ary.I_6/ff7_r_e_g
vif_set_map_point -register -original fifo_ary[8][0] -translated fifo_ary.I_6/ff8_r_e_g
vif_set_map_point -register -original fifo_ary[9][0] -translated fifo_ary.I_6/ff9_r_e_g
vif_set_map_point -register -original fifo_ary[10][0] -translated fifo_ary.I_6/ff10_r_e_g
vif_set_map_point -register -original fifo_ary[11][0] -translated fifo_ary.I_6/ff11_r_e_g
vif_set_map_point -register -original fifo_ary[12][0] -translated fifo_ary.I_6/ff12_r_e_g
vif_set_map_point -register -original fifo_ary[13][0] -translated fifo_ary.I_6/ff13_r_e_g
vif_set_map_point -register -original fifo_ary[14][0] -translated fifo_ary.I_6/ff14_r_e_g
vif_set_map_point -register -original fifo_ary[15][0] -translated fifo_ary.I_6/ff15_r_e_g
vif_set_map_point -register -original fifo_ary[0][1] -translated fifo_ary.I_7/ff0_r_e_g
vif_set_map_point -register -original fifo_ary[1][1] -translated fifo_ary.I_7/ff1_r_e_g
vif_set_map_point -register -original fifo_ary[2][1] -translated fifo_ary.I_7/ff2_r_e_g
vif_set_map_point -register -original fifo_ary[3][1] -translated fifo_ary.I_7/ff3_r_e_g
vif_set_map_point -register -original fifo_ary[4][1] -translated fifo_ary.I_7/ff4_r_e_g
vif_set_map_point -register -original fifo_ary[5][1] -translated fifo_ary.I_7/ff5_r_e_g
vif_set_map_point -register -original fifo_ary[6][1] -translated fifo_ary.I_7/ff6_r_e_g
vif_set_map_point -register -original fifo_ary[7][1] -translated fifo_ary.I_7/ff7_r_e_g
vif_set_map_point -register -original fifo_ary[8][1] -translated fifo_ary.I_7/ff8_r_e_g
vif_set_map_point -register -original fifo_ary[9][1] -translated fifo_ary.I_7/ff9_r_e_g
vif_set_map_point -register -original fifo_ary[10][1] -translated fifo_ary.I_7/ff10_r_e_g
vif_set_map_point -register -original fifo_ary[11][1] -translated fifo_ary.I_7/ff11_r_e_g
vif_set_map_point -register -original fifo_ary[12][1] -translated fifo_ary.I_7/ff12_r_e_g
vif_set_map_point -register -original fifo_ary[13][1] -translated fifo_ary.I_7/ff13_r_e_g
vif_set_map_point -register -original fifo_ary[14][1] -translated fifo_ary.I_7/ff14_r_e_g
vif_set_map_point -register -original fifo_ary[15][1] -translated fifo_ary.I_7/ff15_r_e_g
vif_set_map_point -register -original fifo_ary[0][2] -translated fifo_ary.I_8/ff0_r_e_g
vif_set_map_point -register -original fifo_ary[1][2] -translated fifo_ary.I_8/ff1_r_e_g
vif_set_map_point -register -original fifo_ary[2][2] -translated fifo_ary.I_8/ff2_r_e_g
vif_set_map_point -register -original fifo_ary[3][2] -translated fifo_ary.I_8/ff3_r_e_g
vif_set_map_point -register -original fifo_ary[4][2] -translated fifo_ary.I_8/ff4_r_e_g
vif_set_map_point -register -original fifo_ary[5][2] -translated fifo_ary.I_8/ff5_r_e_g
vif_set_map_point -register -original fifo_ary[6][2] -translated fifo_ary.I_8/ff6_r_e_g
vif_set_map_point -register -original fifo_ary[7][2] -translated fifo_ary.I_8/ff7_r_e_g
vif_set_map_point -register -original fifo_ary[8][2] -translated fifo_ary.I_8/ff8_r_e_g
vif_set_map_point -register -original fifo_ary[9][2] -translated fifo_ary.I_8/ff9_r_e_g
vif_set_map_point -register -original fifo_ary[10][2] -translated fifo_ary.I_8/ff10_r_e_g
vif_set_map_point -register -original fifo_ary[11][2] -translated fifo_ary.I_8/ff11_r_e_g
vif_set_map_point -register -original fifo_ary[12][2] -translated fifo_ary.I_8/ff12_r_e_g
vif_set_map_point -register -original fifo_ary[13][2] -translated fifo_ary.I_8/ff13_r_e_g
vif_set_map_point -register -original fifo_ary[14][2] -translated fifo_ary.I_8/ff14_r_e_g
vif_set_map_point -register -original fifo_ary[15][2] -translated fifo_ary.I_8/ff15_r_e_g

# SRL map points

# Compiler constant registers

# Compiler constant latches

# Compiler RTL sequential redundancies

# RTL sequential redundancies

# Technology sequential redundancies
vif_set_equiv -inverted -translated fifo_full_Z fifo_full_rep0_i_Z

# Inversion map points

# Port mappping and directions

# Black box mapping


# Other sequential cells, including multidimensional arrays

# Constant Registers

# Retimed Registers