mc8051_top.vif

这是一个基于xilinx平台的8051处理器文件

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

# Set logfile options
vif_set_result_file  mc8051_top.vlf

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

# RTL and technology files
vif_add_file -original -verilog d:\Synplicity\fpga_862\bin\..\lib\xilinx\unisim.v
vif_add_file -original -verilog ./mc8051_rom.v
vif_add_file -original -verilog ./mc8051_ram.v
 
vif_add_file -original -vhdl -lib work ./mc8051_p.vhd
vif_add_file -original -vhdl -lib work ./addsub_ovcy_.vhd
vif_add_file -original -vhdl -lib work ./addsub_cy_.vhd
vif_add_file -original -vhdl -lib work ./addsub_ovcy_rtl.vhd
vif_add_file -original -vhdl -lib work ./addsub_cy_rtl.vhd
vif_add_file -original -vhdl -lib work ./dcml_adjust_.vhd
vif_add_file -original -vhdl -lib work ./control_mem_.vhd
vif_add_file -original -vhdl -lib work ./control_fsm_.vhd
vif_add_file -original -vhdl -lib work ./comb_mltplr_.vhd
vif_add_file -original -vhdl -lib work ./comb_divider_.vhd
vif_add_file -original -vhdl -lib work ./alumux_.vhd
vif_add_file -original -vhdl -lib work ./alucore_.vhd
vif_add_file -original -vhdl -lib work ./addsub_core_.vhd
vif_add_file -original -vhdl -lib work ./dcml_adjust_rtl.vhd
vif_add_file -original -vhdl -lib work ./control_mem_rtl.vhd
vif_add_file -original -vhdl -lib work ./control_fsm_rtl.vhd
vif_add_file -original -vhdl -lib work ./comb_mltplr_rtl.vhd
vif_add_file -original -vhdl -lib work ./comb_divider_rtl.vhd
vif_add_file -original -vhdl -lib work ./alumux_rtl.vhd
vif_add_file -original -vhdl -lib work ./alucore_rtl.vhd
vif_add_file -original -vhdl -lib work ./addsub_core_struc.vhd
vif_add_file -original -vhdl -lib work ./mc8051_tmrctr_.vhd
vif_add_file -original -vhdl -lib work ./mc8051_siu_.vhd
vif_add_file -original -vhdl -lib work ./mc8051_control_.vhd
vif_add_file -original -vhdl -lib work ./mc8051_alu_.vhd
vif_add_file -original -vhdl -lib work ./mc8051_tmrctr_rtl.vhd
vif_add_file -original -vhdl -lib work ./mc8051_siu_rtl.vhd
vif_add_file -original -vhdl -lib work ./mc8051_control_struc.vhd
vif_add_file -original -vhdl -lib work ./mc8051_alu_struc.vhd
vif_add_file -original -vhdl -lib work ./mc8051_core_.vhd
vif_add_file -original -vhdl -lib work ./mc8051_clockdiv.vhd
vif_add_file -original -vhdl -lib work ./mc8051_core_struc.vhd
vif_add_file -original -vhdl -lib work ./mc8051_top_.vhd
vif_set_top_module -original -top mc8051_top
 
vif_add_library -translated $XILINX/verilog/verification/unisims
vif_add_library -translated $XILINX/verilog/verification/simprims
vif_add_file -translated -verilog mc8051_top.vm
vif_set_top_module -translated -top mc8051_top 
# Read FSM encoding

# Memory map points
# Select ram points
vif_set_map_point -register -original i_mc8051_core/i_mc8051_control/i_control_mem/s_r0_b0[0][7] -translated i_mc8051_core/i_mc8051_control/i_control_mem/s_r0.I_1/ff0_r_e_g
vif_set_map_point -register -original i_mc8051_core/i_mc8051_control/i_control_mem/s_r0_b0[1][7] -translated i_mc8051_core/i_mc8051_control/i_control_mem/s_r0.I_1/ff1_r_e_g
vif_set_map_point -register -original i_mc8051_core/i_mc8051_control/i_control_mem/s_r0_b0[2][7] -translated i_mc8051_core/i_mc8051_control/i_control_mem/s_r0.I_1/ff2_r_e_g
vif_set_map_point -register -original i_mc8051_core/i_mc8051_control/i_control_mem/s_r0_b0[3][7] -translated i_mc8051_core/i_mc8051_control/i_control_mem/s_r0.I_1/ff3_r_e_g
vif_set_map_point -register -original i_mc8051_core/i_mc8051_control/i_control_mem/s_r0_b0[4][7] -translated i_mc8051_core/i_mc8051_control/i_control_mem/s_r0.I_1/ff4_r_e_g
vif_set_map_point -register -original i_mc8051_core/i_mc8051_control/i_control_mem/s_r0_b0[5][7] -translated i_mc8051_core/i_mc8051_control/i_control_mem/s_r0.I_1/ff5_r_e_g
vif_set_map_point -register -original i_mc8051_core/i_mc8051_control/i_control_mem/s_r0_b0[6][7] -translated i_mc8051_core/i_mc8051_control/i_control_mem/s_r0.I_1/ff6_r_e_g
vif_set_map_point -register -original i_mc8051_core/i_mc8051_control/i_control_mem/s_r0_b0[7][7] -translated i_mc8051_core/i_mc8051_control/i_control_mem/s_r0.I_1/ff7_r_e_g

# Select ram points
vif_set_map_point -register -original i_mc8051_core/i_mc8051_control/i_control_mem/s_r0_b0[0][4] -translated i_mc8051_core/i_mc8051_control/i_control_mem/s_r0.I_2/ff0_r_e_g
vif_set_map_point -register -original i_mc8051_core/i_mc8051_control/i_control_mem/s_r0_b0[1][4] -translated i_mc8051_core/i_mc8051_control/i_control_mem/s_r0.I_2/ff1_r_e_g
vif_set_map_point -register -original i_mc8051_core/i_mc8051_control/i_control_mem/s_r0_b0[2][4] -translated i_mc8051_core/i_mc8051_control/i_control_mem/s_r0.I_2/ff2_r_e_g
vif_set_map_point -register -original i_mc8051_core/i_mc8051_control/i_control_mem/s_r0_b0[3][4] -translated i_mc8051_core/i_mc8051_control/i_control_mem/s_r0.I_2/ff3_r_e_g
vif_set_map_point -register -original i_mc8051_core/i_mc8051_control/i_control_mem/s_r0_b0[4][4] -translated i_mc8051_core/i_mc8051_control/i_control_mem/s_r0.I_2/ff4_r_e_g
vif_set_map_point -register -original i_mc8051_core/i_mc8051_control/i_control_mem/s_r0_b0[5][4] -translated i_mc8051_core/i_mc8051_control/i_control_mem/s_r0.I_2/ff5_r_e_g
vif_set_map_point -register -original i_mc8051_core/i_mc8051_control/i_control_mem/s_r0_b0[6][4] -translated i_mc8051_core/i_mc8051_control/i_control_mem/s_r0.I_2/ff6_r_e_g
vif_set_map_point -register -original i_mc8051_core/i_mc8051_control/i_control_mem/s_r0_b0[7][4] -translated i_mc8051_core/i_mc8051_control/i_control_mem/s_r0.I_2/ff7_r_e_g

# Select ram points
vif_set_map_point -register -original i_mc8051_core/i_mc8051_control/i_control_mem/s_r0_b0[0][5] -translated i_mc8051_core/i_mc8051_control/i_control_mem/s_r0.I_3/ff0_r_e_g
vif_set_map_point -register -original i_mc8051_core/i_mc8051_control/i_control_mem/s_r0_b0[1][5] -translated i_mc8051_core/i_mc8051_control/i_control_mem/s_r0.I_3/ff1_r_e_g
vif_set_map_point -register -original i_mc8051_core/i_mc8051_control/i_control_mem/s_r0_b0[2][5] -translated i_mc8051_core/i_mc8051_control/i_control_mem/s_r0.I_3/ff2_r_e_g
vif_set_map_point -register -original i_mc8051_core/i_mc8051_control/i_control_mem/s_r0_b0[3][5] -translated i_mc8051_core/i_mc8051_control/i_control_mem/s_r0.I_3/ff3_r_e_g
vif_set_map_point -register -original i_mc8051_core/i_mc8051_control/i_control_mem/s_r0_b0[4][5] -translated i_mc8051_core/i_mc8051_control/i_control_mem/s_r0.I_3/ff4_r_e_g
vif_set_map_point -register -original i_mc8051_core/i_mc8051_control/i_control_mem/s_r0_b0[5][5] -translated i_mc8051_core/i_mc8051_control/i_control_mem/s_r0.I_3/ff5_r_e_g
vif_set_map_point -register -original i_mc8051_core/i_mc8051_control/i_control_mem/s_r0_b0[6][5] -translated i_mc8051_core/i_mc8051_control/i_control_mem/s_r0.I_3/ff6_r_e_g
vif_set_map_point -register -original i_mc8051_core/i_mc8051_control/i_control_mem/s_r0_b0[7][5] -translated i_mc8051_core/i_mc8051_control/i_control_mem/s_r0.I_3/ff7_r_e_g

# Select ram points
vif_set_map_point -register -original i_mc8051_core/i_mc8051_control/i_control_mem/s_r0_b0[0][6] -translated i_mc8051_core/i_mc8051_control/i_control_mem/s_r0.I_4/ff0_r_e_g
vif_set_map_point -register -original i_mc8051_core/i_mc8051_control/i_control_mem/s_r0_b0[1][6] -translated i_mc8051_core/i_mc8051_control/i_control_mem/s_r0.I_4/ff1_r_e_g
vif_set_map_point -register -original i_mc8051_core/i_mc8051_control/i_control_mem/s_r0_b0[2][6] -translated i_mc8051_core/i_mc8051_control/i_control_mem/s_r0.I_4/ff2_r_e_g
vif_set_map_point -register -original i_mc8051_core/i_mc8051_control/i_control_mem/s_r0_b0[3][6] -translated i_mc8051_core/i_mc8051_control/i_control_mem/s_r0.I_4/ff3_r_e_g
vif_set_map_point -register -original i_mc8051_core/i_mc8051_control/i_control_mem/s_r0_b0[4][6] -translated i_mc8051_core/i_mc8051_control/i_control_mem/s_r0.I_4/ff4_r_e_g
vif_set_map_point -register -original i_mc8051_core/i_mc8051_control/i_control_mem/s_r0_b0[5][6] -translated i_mc8051_core/i_mc8051_control/i_control_mem/s_r0.I_4/ff5_r_e_g
vif_set_map_point -register -original i_mc8051_core/i_mc8051_control/i_control_mem/s_r0_b0[6][6] -translated i_mc8051_core/i_mc8051_control/i_control_mem/s_r0.I_4/ff6_r_e_g
vif_set_map_point -register -original i_mc8051_core/i_mc8051_control/i_control_mem/s_r0_b0[7][6] -translated i_mc8051_core/i_mc8051_control/i_control_mem/s_r0.I_4/ff7_r_e_g

# Select ram points
vif_set_map_point -register -original i_mc8051_core/i_mc8051_control/i_control_mem/s_r0_b0[0][3] -translated i_mc8051_core/i_mc8051_control/i_control_mem/s_r0.I_5/ff0_r_e_g
vif_set_map_point -register -original i_mc8051_core/i_mc8051_control/i_control_mem/s_r0_b0[1][3] -translated i_mc8051_core/i_mc8051_control/i_control_mem/s_r0.I_5/ff1_r_e_g
vif_set_map_point -register -original i_mc8051_core/i_mc8051_control/i_control_mem/s_r0_b0[2][3] -translated i_mc8051_core/i_mc8051_control/i_control_mem/s_r0.I_5/ff2_r_e_g
vif_set_map_point -register -original i_mc8051_core/i_mc8051_control/i_control_mem/s_r0_b0[3][3] -translated i_mc8051_core/i_mc8051_control/i_control_mem/s_r0.I_5/ff3_r_e_g
vif_set_map_point -register -original i_mc8051_core/i_mc8051_control/i_control_mem/s_r0_b0[4][3] -translated i_mc8051_core/i_mc8051_control/i_control_mem/s_r0.I_5/ff4_r_e_g
vif_set_map_point -register -original i_mc8051_core/i_mc8051_control/i_control_mem/s_r0_b0[5][3] -translated i_mc8051_core/i_mc8051_control/i_control_mem/s_r0.I_5/ff5_r_e_g
vif_set_map_point -register -original i_mc8051_core/i_mc8051_control/i_control_mem/s_r0_b0[6][3] -translated i_mc8051_core/i_mc8051_control/i_control_mem/s_r0.I_5/ff6_r_e_g
vif_set_map_point -register -original i_mc8051_core/i_mc8051_control/i_control_mem/s_r0_b0[7][3] -translated i_mc8051_core/i_mc8051_control/i_control_mem/s_r0.I_5/ff7_r_e_g

# Select ram points
vif_set_map_point -register -original i_mc8051_core/i_mc8051_control/i_control_mem/s_r0_b0[0][0] -translated i_mc8051_core/i_mc8051_control/i_control_mem/s_r0.I_6/ff0_r_e_g
vif_set_map_point -register -original i_mc8051_core/i_mc8051_control/i_control_mem/s_r0_b0[1][0] -translated i_mc8051_core/i_mc8051_control/i_control_mem/s_r0.I_6/ff1_r_e_g
vif_set_map_point -register -original i_mc8051_core/i_mc8051_control/i_control_mem/s_r0_b0[2][0] -translated i_mc8051_core/i_mc8051_control/i_control_mem/s_r0.I_6/ff2_r_e_g
vif_set_map_point -register -original i_mc8051_core/i_mc8051_control/i_control_mem/s_r0_b0[3][0] -translated i_mc8051_core/i_mc8051_control/i_control_mem/s_r0.I_6/ff3_r_e_g
vif_set_map_point -register -original i_mc8051_core/i_mc8051_control/i_control_mem/s_r0_b0[4][0] -translated i_mc8051_core/i_mc8051_control/i_control_mem/s_r0.I_6/ff4_r_e_g
vif_set_map_point -register -original i_mc8051_core/i_mc8051_control/i_control_mem/s_r0_b0[5][0] -translated i_mc8051_core/i_mc8051_control/i_control_mem/s_r0.I_6/ff5_r_e_g
vif_set_map_point -register -original i_mc8051_core/i_mc8051_control/i_control_mem/s_r0_b0[6][0] -translated i_mc8051_core/i_mc8051_control/i_control_mem/s_r0.I_6/ff6_r_e_g
vif_set_map_point -register -original i_mc8051_core/i_mc8051_control/i_control_mem/s_r0_b0[7][0] -translated i_mc8051_core/i_mc8051_control/i_control_mem/s_r0.I_6/ff7_r_e_g