mc8051_top.vif

增强型8051的VHDL源代码

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

global env
# Set logfile options
vif_set_result_file  mc8051_top.vlf

# RTL and technology files
vif_add_file -original  -vhdl ../../vhdl/mc8051_p.vhd
vif_add_file -original  -vhdl ../../vhdl/addsub_core_.vhd
vif_add_file -original  -vhdl ../../vhdl/addsub_core_struc.vhd
vif_add_file -original  -vhdl ../../vhdl/addsub_cy_.vhd
vif_add_file -original  -vhdl ../../vhdl/addsub_cy_rtl.vhd
vif_add_file -original  -vhdl ../../vhdl/addsub_ovcy_.vhd
vif_add_file -original  -vhdl ../../vhdl/addsub_ovcy_rtl.vhd
vif_add_file -original  -vhdl ../../vhdl/alucore_.vhd
vif_add_file -original  -vhdl ../../vhdl/alucore_rtl.vhd
vif_add_file -original  -vhdl ../../vhdl/alumux_.vhd
vif_add_file -original  -vhdl ../../vhdl/alumux_rtl.vhd
vif_add_file -original  -vhdl ../../vhdl/comb_divider_.vhd
vif_add_file -original  -vhdl ../../vhdl/comb_divider_rtl.vhd
vif_add_file -original  -vhdl ../../vhdl/comb_mltplr_.vhd
vif_add_file -original  -vhdl ../../vhdl/comb_mltplr_rtl.vhd
vif_add_file -original  -vhdl ../../vhdl/control_fsm_.vhd
vif_add_file -original  -vhdl ../../vhdl/control_fsm_rtl.vhd
vif_add_file -original  -vhdl ../../vhdl/dcml_adjust_.vhd
vif_add_file -original  -vhdl ../../vhdl/dcml_adjust_rtl.vhd
vif_add_file -original  -vhdl ../../vhdl/control_mem_.vhd
vif_add_file -original  -vhdl ../../vhdl/control_mem_rtl.vhd
vif_add_file -original  -vhdl ../../vhdl/mc8051_alu_.vhd
vif_add_file -original  -vhdl ../../vhdl/mc8051_alu_struc.vhd
vif_add_file -original  -vhdl ../../vhdl/mc8051_siu_.vhd
vif_add_file -original  -vhdl ../../vhdl/mc8051_siu_rtl.vhd
vif_add_file -original  -vhdl ../../vhdl/mc8051_tmrctr_.vhd
vif_add_file -original  -vhdl ../../vhdl/mc8051_tmrctr_rtl.vhd
vif_add_file -original  -vhdl ../../vhdl/mc8051_control_.vhd
vif_add_file -original  -vhdl ../../vhdl/mc8051_control_struc.vhd
vif_add_file -original  -vhdl ../../vhdl/mc8051_core_.vhd
vif_add_file -original  -vhdl ../../vhdl/mc8051_core_struc.vhd
vif_add_file -original  -vhdl ../../vhdl/mc8051_chipsel_.vhd
vif_add_file -original  -vhdl ../../vhdl/mc8051_chipsel_rtl.vhd
vif_add_file -original  -vhdl ../../vhdl/mc8051_datamux_.vhd
vif_add_file -original  -vhdl ../../vhdl/mc8051_datamux_rtl.vhd
vif_add_file -original  -vhdl ../../generate/cyclonepll.vhd
vif_add_file -original  -vhdl ../../vhdl/mc8051_top_.vhd
vif_add_file -original  -vhdl ../../vhdl/mc8051_top_struc.vhd
vif_set_top_module -original -top mc8051_top
 
vif_add_library -translated $env(QUARTUS_ROOTDIR)/eda/fv_lib/verilog
vif_add_file -translated -verilog mc8051_top.vqm
vif_set_top_module -translated -top mc8051_top 


# Read FSM encoding


# Memory map points
# Memory redundancies


# SRL redundancies
# SRL map points

# Compiler merged registers

# Compiler pruned constant registers


# RTL sequential redundancies
vif_set_merge -original i_mc8051_core/i_mc8051_control/i_control_mem/s_tf1_h2[0] i_mc8051_core/gen_mc8051_siu/0/i_mc8051_siu/s_ff1
vif_set_merge -original i_mc8051_core/gen_mc8051_siu.0.i_mc8051_siu/s_ff0 i_mc8051_core/i_mc8051_control/i_control_mem/s_tf1_h1[0]

# Technology sequential redundancies
vif_set_equiv -translated i_mc8051_core/i_mc8051_control/i_control_mem/state_o_3__Z i_mc8051_core/i_mc8051_control/i_control_mem/state_o_0_3__Z

# Inverted map points
vif_set_map_point -register -inverted -original i_mc8051_core/i_mc8051_control/i_control_mem/s_int0_h1[0] -translated i_mc8051_core/i_mc8051_control/i_control_mem/s_int0_h1_i_0_0__Z
vif_set_map_point -register -inverted -original i_mc8051_core/i_mc8051_control/i_control_mem/s_int1_h1[0] -translated i_mc8051_core/i_mc8051_control/i_control_mem/s_int1_h1_i_0_0__Z
vif_set_map_point -register -inverted -original i_mc8051_core/i_mc8051_control/i_control_mem/s_int0_h2[0] -translated i_mc8051_core/i_mc8051_control/i_control_mem/s_int0_h2_i_0_0__Z
vif_set_map_point -register -inverted -original i_mc8051_core/i_mc8051_control/i_control_mem/s_int1_h2[0] -translated i_mc8051_core/i_mc8051_control/i_control_mem/s_int1_h2_i_0_0__Z
vif_set_map_point -register -inverted -original i_mc8051_core/i_mc8051_control/i_control_mem/p3[7] -translated i_mc8051_core/i_mc8051_control/i_control_mem/p3_i_7__Z
vif_set_map_point -register -inverted -original i_mc8051_core/i_mc8051_control/i_control_mem/p2[7] -translated i_mc8051_core/i_mc8051_control/i_control_mem/p2_i_7__Z
vif_set_map_point -register -inverted -original i_mc8051_core/i_mc8051_control/i_control_mem/p1[7] -translated i_mc8051_core/i_mc8051_control/i_control_mem/p1_i_7__Z
vif_set_map_point -register -inverted -original i_mc8051_core/i_mc8051_control/i_control_mem/p0[7] -translated i_mc8051_core/i_mc8051_control/i_control_mem/p0_i_7__Z
vif_set_map_point -register -inverted -original i_mc8051_core/i_mc8051_control/i_control_mem/p3[6] -translated i_mc8051_core/i_mc8051_control/i_control_mem/p3_i_6__Z
vif_set_map_point -register -inverted -original i_mc8051_core/i_mc8051_control/i_control_mem/p2[6] -translated i_mc8051_core/i_mc8051_control/i_control_mem/p2_i_6__Z
vif_set_map_point -register -inverted -original i_mc8051_core/i_mc8051_control/i_control_mem/p1[6] -translated i_mc8051_core/i_mc8051_control/i_control_mem/p1_i_6__Z
vif_set_map_point -register -inverted -original i_mc8051_core/i_mc8051_control/i_control_mem/p0[6] -translated i_mc8051_core/i_mc8051_control/i_control_mem/p0_i_6__Z
vif_set_map_point -register -inverted -original i_mc8051_core/i_mc8051_control/i_control_mem/p3[5] -translated i_mc8051_core/i_mc8051_control/i_control_mem/p3_i_5__Z
vif_set_map_point -register -inverted -original i_mc8051_core/i_mc8051_control/i_control_mem/p2[5] -translated i_mc8051_core/i_mc8051_control/i_control_mem/p2_i_5__Z