#
# 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_core.vlf

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

# RTL and technology files
vif_add_file -original -vhdl -lib work ../../vhdl/mc8051_p.vhd
vif_add_file -original -vhdl -lib work ../../vhdl/addsub_cy_.vhd
vif_add_file -original -vhdl -lib work ../../vhdl/addsub_cy_rtl.vhd
vif_add_file -original -vhdl -lib work ../../vhdl/addsub_ovcy_.vhd
vif_add_file -original -vhdl -lib work ../../vhdl/addsub_ovcy_rtl.vhd
vif_add_file -original -vhdl -lib work ../../vhdl/addsub_core_.vhd
vif_add_file -original -vhdl -lib work ../../vhdl/addsub_core_struc.vhd
vif_add_file -original -vhdl -lib work ../../vhdl/comb_divider_.vhd
vif_add_file -original -vhdl -lib work ../../vhdl/comb_divider_rtl.vhd
vif_add_file -original -vhdl -lib work ../../vhdl/comb_mltplr_.vhd
vif_add_file -original -vhdl -lib work ../../vhdl/comb_mltplr_rtl.vhd
vif_add_file -original -vhdl -lib work ../../vhdl/dcml_adjust_.vhd
vif_add_file -original -vhdl -lib work ../../vhdl/dcml_adjust_rtl.vhd
vif_add_file -original -vhdl -lib work ../../vhdl/alumux_.vhd
vif_add_file -original -vhdl -lib work ../../vhdl/alumux_rtl.vhd
vif_add_file -original -vhdl -lib work ../../vhdl/alucore_.vhd
vif_add_file -original -vhdl -lib work ../../vhdl/alucore_rtl.vhd
vif_add_file -original -vhdl -lib work ../../vhdl/mc8051_alu_.vhd
vif_add_file -original -vhdl -lib work ../../vhdl/mc8051_alu_struc.vhd
vif_add_file -original -vhdl -lib work ../../vhdl/control_fsm_.vhd
vif_add_file -original -vhdl -lib work ../../vhdl/control_fsm_rtl.vhd
vif_add_file -original -vhdl -lib work ../../vhdl/control_mem_.vhd
vif_add_file -original -vhdl -lib work ../../vhdl/control_mem_rtl.vhd
vif_add_file -original -vhdl -lib work ../../vhdl/mc8051_control_.vhd
vif_add_file -original -vhdl -lib work ../../vhdl/mc8051_control_struc.vhd
vif_add_file -original -vhdl -lib work ../../vhdl/mc8051_siu_.vhd
vif_add_file -original -vhdl -lib work ../../vhdl/mc8051_siu_rtl.vhd
vif_add_file -original -vhdl -lib work ../../vhdl/mc8051_tmrctr_.vhd
vif_add_file -original -vhdl -lib work ../../vhdl/mc8051_tmrctr_rtl.vhd
vif_add_file -original -vhdl -lib work ../../vhdl/mc8051_core_.vhd
vif_add_file -original -vhdl -lib work ../../vhdl/mc8051_core_struc.vhd
vif_set_top_module -original -top mc8051_core
 
vif_add_library -translated $env(QUARTUS_ROOTDIR)/eda/fv_lib/verilog
vif_add_file -translated -verilog mc8051_core.vqm
vif_set_top_module -translated -top mc8051_core 
# Read FSM encoding

# Memory map points

# SRL map points

# Compiler constant registers

# Compiler constant latches

# Compiler RTL sequential redundancies

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

# Technology sequential redundancies

# Inversion map points
vif_set_map_point -register -inverted -original i_mc8051_control/i_control_mem/s_int0_h1[0] -translated i_mc8051_control/i_control_mem/s_int0_h1_i_0_0__Z
vif_set_map_point -register -inverted -original i_mc8051_control/i_control_mem/s_int1_h1[0] -translated i_mc8051_control/i_control_mem/s_int1_h1_i_0_0__Z
vif_set_map_point -register -inverted -original i_mc8051_control/i_control_mem/s_int0_h2[0] -translated i_mc8051_control/i_control_mem/s_int0_h2_i_0_0__Z
vif_set_map_point -register -inverted -original i_mc8051_control/i_control_mem/s_int1_h2[0] -translated i_mc8051_control/i_control_mem/s_int1_h2_i_0_0__Z
vif_set_map_point -register -inverted -original i_mc8051_control/i_control_mem/p3[7] -translated i_mc8051_control/i_control_mem/p3_i_7__Z
vif_set_map_point -register -inverted -original i_mc8051_control/i_control_mem/p2[7] -translated i_mc8051_control/i_control_mem/p2_i_7__Z
vif_set_map_point -register -inverted -original i_mc8051_control/i_control_mem/p1[7] -translated i_mc8051_control/i_control_mem/p1_i_7__Z
vif_set_map_point -register -inverted -original i_mc8051_control/i_control_mem/p0[7] -translated i_mc8051_control/i_control_mem/p0_i_7__Z
vif_set_map_point -register -inverted -original i_mc8051_control/i_control_mem/p3[6] -translated i_mc8051_control/i_control_mem/p3_i_6__Z
vif_set_map_point -register -inverted -original i_mc8051_control/i_control_mem/p2[6] -translated i_mc8051_control/i_control_mem/p2_i_6__Z
vif_set_map_point -register -inverted -original i_mc8051_control/i_control_mem/p1[6] -translated i_mc8051_control/i_control_mem/p1_i_6__Z
vif_set_map_point -register -inverted -original i_mc8051_control/i_control_mem/p0[6] -translated i_mc8051_control/i_control_mem/p0_i_6__Z
vif_set_map_point -register -inverted -original i_mc8051_control/i_control_mem/p3[5] -translated i_mc8051_control/i_control_mem/p3_i_5__Z
vif_set_map_point -register -inverted -original i_mc8051_control/i_control_mem/p2[5] -translated i_mc8051_control/i_control_mem/p2_i_5__Z
vif_set_map_point -register -inverted -original i_mc8051_control/i_control_mem/p1[5] -translated i_mc8051_control/i_control_mem/p1_i_5__Z
vif_set_map_point -register -inverted -original i_mc8051_control/i_control_mem/p0[5] -translated i_mc8051_control/i_control_mem/p0_i_5__Z
vif_set_map_point -register -inverted -original i_mc8051_control/i_control_mem/p3[4] -translated i_mc8051_control/i_control_mem/p3_i_4__Z
vif_set_map_point -register -inverted -original i_mc8051_control/i_control_mem/p2[4] -translated i_mc8051_control/i_control_mem/p2_i_4__Z
vif_set_map_point -register -inverted -original i_mc8051_control/i_control_mem/p1[4] -translated i_mc8051_control/i_control_mem/p1_i_4__Z
vif_set_map_point -register -inverted -original i_mc8051_control/i_control_mem/p0[4] -translated i_mc8051_control/i_control_mem/p0_i_4__Z
vif_set_map_point -register -inverted -original i_mc8051_control/i_control_mem/p3[3] -translated i_mc8051_control/i_control_mem/p3_i_3__Z
vif_set_map_point -register -inverted -original i_mc8051_control/i_control_mem/p2[3] -translated i_mc8051_control/i_control_mem/p2_i_3__Z
vif_set_map_point -register -inverted -original i_mc8051_control/i_control_mem/p1[3] -translated i_mc8051_control/i_control_mem/p1_i_3__Z
vif_set_map_point -register -inverted -original i_mc8051_control/i_control_mem/p0[3] -translated i_mc8051_control/i_control_mem/p0_i_3__Z
vif_set_map_point -register -inverted -original i_mc8051_control/i_control_mem/p3[2] -translated i_mc8051_control/i_control_mem/p3_i_2__Z
vif_set_map_point -register -inverted -original i_mc8051_control/i_control_mem/p2[2] -translated i_mc8051_control/i_control_mem/p2_i_2__Z
vif_set_map_point -register -inverted -original i_mc8051_control/i_control_mem/p1[2] -translated i_mc8051_control/i_control_mem/p1_i_2__Z
vif_set_map_point -register -inverted -original i_mc8051_control/i_control_mem/p0[2] -translated i_mc8051_control/i_control_mem/p0_i_2__Z
vif_set_map_point -register -inverted -original i_mc8051_control/i_control_mem/p3[1] -translated i_mc8051_control/i_control_mem/p3_i_1__Z