control_mem.vif

8051VHDL原代码

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

# Set logfile options
vif_set_result_file  control_mem.vlf

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

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

# Memory map points
vif_set_map_point -register -original s_r0_b0[0][7] -translated s_r0.I_1/ff0_r_e_g
vif_set_map_point -register -original s_r0_b0[1][7] -translated s_r0.I_1/ff1_r_e_g
vif_set_map_point -register -original s_r0_b0[2][7] -translated s_r0.I_1/ff2_r_e_g
vif_set_map_point -register -original s_r0_b0[3][7] -translated s_r0.I_1/ff3_r_e_g
vif_set_map_point -register -original s_r0_b0[4][7] -translated s_r0.I_1/ff4_r_e_g
vif_set_map_point -register -original s_r0_b0[5][7] -translated s_r0.I_1/ff5_r_e_g
vif_set_map_point -register -original s_r0_b0[6][7] -translated s_r0.I_1/ff6_r_e_g
vif_set_map_point -register -original s_r0_b0[7][7] -translated s_r0.I_1/ff7_r_e_g
vif_set_map_point -register -original s_r0_b0[0][4] -translated s_r0.I_2/ff0_r_e_g
vif_set_map_point -register -original s_r0_b0[1][4] -translated s_r0.I_2/ff1_r_e_g
vif_set_map_point -register -original s_r0_b0[2][4] -translated s_r0.I_2/ff2_r_e_g
vif_set_map_point -register -original s_r0_b0[3][4] -translated s_r0.I_2/ff3_r_e_g
vif_set_map_point -register -original s_r0_b0[4][4] -translated s_r0.I_2/ff4_r_e_g
vif_set_map_point -register -original s_r0_b0[5][4] -translated s_r0.I_2/ff5_r_e_g
vif_set_map_point -register -original s_r0_b0[6][4] -translated s_r0.I_2/ff6_r_e_g
vif_set_map_point -register -original s_r0_b0[7][4] -translated s_r0.I_2/ff7_r_e_g
vif_set_map_point -register -original s_r0_b0[0][5] -translated s_r0.I_3/ff0_r_e_g
vif_set_map_point -register -original s_r0_b0[1][5] -translated s_r0.I_3/ff1_r_e_g
vif_set_map_point -register -original s_r0_b0[2][5] -translated s_r0.I_3/ff2_r_e_g
vif_set_map_point -register -original s_r0_b0[3][5] -translated s_r0.I_3/ff3_r_e_g
vif_set_map_point -register -original s_r0_b0[4][5] -translated s_r0.I_3/ff4_r_e_g
vif_set_map_point -register -original s_r0_b0[5][5] -translated s_r0.I_3/ff5_r_e_g
vif_set_map_point -register -original s_r0_b0[6][5] -translated s_r0.I_3/ff6_r_e_g
vif_set_map_point -register -original s_r0_b0[7][5] -translated s_r0.I_3/ff7_r_e_g
vif_set_map_point -register -original s_r0_b0[0][6] -translated s_r0.I_4/ff0_r_e_g
vif_set_map_point -register -original s_r0_b0[1][6] -translated s_r0.I_4/ff1_r_e_g
vif_set_map_point -register -original s_r0_b0[2][6] -translated s_r0.I_4/ff2_r_e_g
vif_set_map_point -register -original s_r0_b0[3][6] -translated s_r0.I_4/ff3_r_e_g
vif_set_map_point -register -original s_r0_b0[4][6] -translated s_r0.I_4/ff4_r_e_g
vif_set_map_point -register -original s_r0_b0[5][6] -translated s_r0.I_4/ff5_r_e_g
vif_set_map_point -register -original s_r0_b0[6][6] -translated s_r0.I_4/ff6_r_e_g
vif_set_map_point -register -original s_r0_b0[7][6] -translated s_r0.I_4/ff7_r_e_g
vif_set_map_point -register -original s_r0_b0[0][3] -translated s_r0.I_5/ff0_r_e_g
vif_set_map_point -register -original s_r0_b0[1][3] -translated s_r0.I_5/ff1_r_e_g
vif_set_map_point -register -original s_r0_b0[2][3] -translated s_r0.I_5/ff2_r_e_g
vif_set_map_point -register -original s_r0_b0[3][3] -translated s_r0.I_5/ff3_r_e_g
vif_set_map_point -register -original s_r0_b0[4][3] -translated s_r0.I_5/ff4_r_e_g
vif_set_map_point -register -original s_r0_b0[5][3] -translated s_r0.I_5/ff5_r_e_g
vif_set_map_point -register -original s_r0_b0[6][3] -translated s_r0.I_5/ff6_r_e_g
vif_set_map_point -register -original s_r0_b0[7][3] -translated s_r0.I_5/ff7_r_e_g
vif_set_map_point -register -original s_r0_b0[0][0] -translated s_r0.I_6/ff0_r_e_g
vif_set_map_point -register -original s_r0_b0[1][0] -translated s_r0.I_6/ff1_r_e_g
vif_set_map_point -register -original s_r0_b0[2][0] -translated s_r0.I_6/ff2_r_e_g
vif_set_map_point -register -original s_r0_b0[3][0] -translated s_r0.I_6/ff3_r_e_g
vif_set_map_point -register -original s_r0_b0[4][0] -translated s_r0.I_6/ff4_r_e_g
vif_set_map_point -register -original s_r0_b0[5][0] -translated s_r0.I_6/ff5_r_e_g
vif_set_map_point -register -original s_r0_b0[6][0] -translated s_r0.I_6/ff6_r_e_g
vif_set_map_point -register -original s_r0_b0[7][0] -translated s_r0.I_6/ff7_r_e_g
vif_set_map_point -register -original s_r0_b0[0][1] -translated s_r0.I_7/ff0_r_e_g
vif_set_map_point -register -original s_r0_b0[1][1] -translated s_r0.I_7/ff1_r_e_g
vif_set_map_point -register -original s_r0_b0[2][1] -translated s_r0.I_7/ff2_r_e_g
vif_set_map_point -register -original s_r0_b0[3][1] -translated s_r0.I_7/ff3_r_e_g
vif_set_map_point -register -original s_r0_b0[4][1] -translated s_r0.I_7/ff4_r_e_g
vif_set_map_point -register -original s_r0_b0[5][1] -translated s_r0.I_7/ff5_r_e_g
vif_set_map_point -register -original s_r0_b0[6][1] -translated s_r0.I_7/ff6_r_e_g
vif_set_map_point -register -original s_r0_b0[7][1] -translated s_r0.I_7/ff7_r_e_g
vif_set_map_point -register -original s_r0_b0[0][2] -translated s_r0.I_8/ff0_r_e_g
vif_set_map_point -register -original s_r0_b0[1][2] -translated s_r0.I_8/ff1_r_e_g
vif_set_map_point -register -original s_r0_b0[2][2] -translated s_r0.I_8/ff2_r_e_g
vif_set_map_point -register -original s_r0_b0[3][2] -translated s_r0.I_8/ff3_r_e_g
vif_set_map_point -register -original s_r0_b0[4][2] -translated s_r0.I_8/ff4_r_e_g
vif_set_map_point -register -original s_r0_b0[5][2] -translated s_r0.I_8/ff5_r_e_g
vif_set_map_point -register -original s_r0_b0[6][2] -translated s_r0.I_8/ff6_r_e_g
vif_set_map_point -register -original s_r0_b0[7][2] -translated s_r0.I_8/ff7_r_e_g

# SRL map points

# Compiler constant registers

# Compiler constant latches

# Compiler RTL sequential redundancies

# RTL sequential redundancies

# Technology sequential redundancies

# Inversion map points

# Port mappping and directions

# Black box mapping


# Other sequential cells, including multidimensional arrays
vif_set_map_point -register -original tcon[0][4] -translated tcon_0_Z[4]
vif_set_map_point -register -original tcon[0][3] -translated tcon_0_Z[3]
vif_set_map_point -register -original tcon[0][2] -translated tcon_0_Z[2]
vif_set_map_point -register -original tcon[0][1] -translated tcon_0_Z[1]
vif_set_map_point -register -original tcon[0][0] -translated tcon_0_Z[0]
vif_set_map_point -register -original scon[0][7] -translated scon_0_Z[7]
vif_set_map_point -register -original scon[0][6] -translated scon_0_Z[6]
vif_set_map_point -register -original scon[0][5] -translated scon_0_Z[5]
vif_set_map_point -register -original scon[0][4] -translated scon_0_Z[4]
vif_set_map_point -register -original scon[0][3] -translated scon_0_Z[3]
vif_set_map_point -register -original scon[0][2] -translated scon_0_Z[2]
vif_set_map_point -register -original scon[0][1] -translated scon_0_Z[1]
vif_set_map_point -register -original scon[0][0] -translated scon_0_Z[0]
vif_set_map_point -register -original tcon[0][7] -translated tcon_0_Z[7]
vif_set_map_point -register -original tcon[0][6] -translated tcon_0_Z[6]
vif_set_map_point -register -original tcon[0][5] -translated tcon_0_Z[5]
vif_set_map_point -register -original sbuf[0][7] -translated sbuf_0_Z[7]
vif_set_map_point -register -original sbuf[0][6] -translated sbuf_0_Z[6]
vif_set_map_point -register -original sbuf[0][5] -translated sbuf_0_Z[5]
vif_set_map_point -register -original sbuf[0][4] -translated sbuf_0_Z[4]
vif_set_map_point -register -original sbuf[0][3] -translated sbuf_0_Z[3]
vif_set_map_point -register -original sbuf[0][2] -translated sbuf_0_Z[2]
vif_set_map_point -register -original sbuf[0][1] -translated sbuf_0_Z[1]
vif_set_map_point -register -original sbuf[0][0] -translated sbuf_0_Z[0]
vif_set_map_point -register -original tmod[0][7] -translated tmod_0_Z[7]
vif_set_map_point -register -original tmod[0][6] -translated tmod_0_Z[6]
vif_set_map_point -register -original tmod[0][5] -translated tmod_0_Z[5]
vif_set_map_point -register -original tmod[0][4] -translated tmod_0_Z[4]
vif_set_map_point -register -original tmod[0][3] -translated tmod_0_Z[3]
vif_set_map_point -register -original tmod[0][2] -translated tmod_0_Z[2]
vif_set_map_point -register -original tmod[0][1] -translated tmod_0_Z[1]
vif_set_map_point -register -original tmod[0][0] -translated tmod_0_Z[0]
vif_set_map_point -register -original s_wt[0][1] -translated s_wt_0_Z[1]