data_control.vif

如何使用ISE和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  data_control.vlf

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

# RTL and technology files
vif_add_library -original $XILINX/verilog/verification/unisims
vif_add_library -original $XILINX/verilog/verification/simprims
vif_add_file -original -verilog ./mac_ch.v
vif_add_file -original -verilog ./read_ch_arbiter.v
vif_add_file -original -verilog ./mac.v
vif_add_file -original -verilog ./data_output_mux.v
vif_add_file -original -verilog ./data_control_fsm.v
vif_add_file -original -verilog ./data_control.v
vif_set_top_module -original -top data_control
 
vif_add_library -translated $XILINX/verilog/verification/unisims
vif_add_library -translated $XILINX/verilog/verification/simprims
vif_add_file -translated -verilog data_control.vm
vif_set_top_module -translated -top data_control 
# Read FSM encoding
vif_set_fsm -fsm fsm_0
vif_set_fsmreg -original -fsm fsm_0 data_control_fsm_inst/cs[11:0]
vif_set_fsmreg -translated -fsm  fsm_0 data_control_fsm_inst/cs[11:0]
vif_set_state_map -fsm fsm_0 -original "000000000001" -translated "000000000001"
vif_set_state_map -fsm fsm_0 -original "000000000010" -translated "000000000010"
vif_set_state_map -fsm fsm_0 -original "000000000100" -translated "000000000100"
vif_set_state_map -fsm fsm_0 -original "000000001000" -translated "000000001000"
vif_set_state_map -fsm fsm_0 -original "000000010000" -translated "000000010000"
vif_set_state_map -fsm fsm_0 -original "000000100000" -translated "000000100000"
vif_set_state_map -fsm fsm_0 -original "000001000000" -translated "000001000000"
vif_set_state_map -fsm fsm_0 -original "000010000000" -translated "000010000000"
vif_set_state_map -fsm fsm_0 -original "000100000000" -translated "000100000000"
vif_set_state_map -fsm fsm_0 -original "001000000000" -translated "001000000000"
vif_set_state_map -fsm fsm_0 -original "010000000000" -translated "010000000000"
vif_set_state_map -fsm fsm_0 -original "100000000000" -translated "100000000000"

# Memory map points

# SRL map points

# Compiler constant registers
vif_set_constant -original 0 mac_inst/mac_chd_inst/product[0]
vif_set_constant -original 0 mac_inst/mac_chd_inst/accumulator[0]
vif_set_constant -original 0 mac_inst/mac_chd_inst/mac_data[0]
vif_set_constant -original 0 mac_inst/mac_chc_inst/product[0]
vif_set_constant -original 0 mac_inst/mac_chc_inst/accumulator[0]
vif_set_constant -original 0 mac_inst/mac_chc_inst/mac_data[0]
vif_set_constant -original 0 mac_inst/mac_chb_inst/product[0]
vif_set_constant -original 0 mac_inst/mac_chb_inst/accumulator[0]
vif_set_constant -original 0 mac_inst/mac_chb_inst/mac_data[0]
vif_set_constant -original 0 mac_inst/mac_cha_inst/product[0]
vif_set_constant -original 0 mac_inst/mac_cha_inst/accumulator[0]
vif_set_constant -original 0 mac_inst/mac_cha_inst/mac_data[0]

# Compiler constant latches

# Compiler RTL sequential redundancies

# RTL sequential redundancies

# Technology sequential redundancies
vif_set_equiv -translated mac_inst/mac_cha_inst/accumulator_cntr_Z[0] mac_inst/mac_cha_inst/accumulator_cntr_fast_Z[0]
vif_set_equiv -translated mac_inst/mac_cha_inst/accumulator_cntr_Z[6] mac_inst/mac_cha_inst/accumulator_cntr_fast_Z[6]
vif_set_equiv -translated mac_inst/mac_cha_inst/accumulator_cntr_Z[7] mac_inst/mac_cha_inst/accumulator_cntr_fast_Z[7]
vif_set_equiv -translated mac_inst/mac_cha_inst/accumulator_cntr_Z[1] mac_inst/mac_cha_inst/accumulator_cntr_fast_Z[1]
vif_set_equiv -translated mac_inst/mac_cha_inst/accumulator_cntr_Z[4] mac_inst/mac_cha_inst/accumulator_cntr_fast_Z[4]
vif_set_equiv -translated mac_inst/mac_cha_inst/accumulator_cntr_Z[5] mac_inst/mac_cha_inst/accumulator_cntr_fast_Z[5]
vif_set_equiv -translated mac_inst/mac_cha_inst/accumulator_cntr_Z[3] mac_inst/mac_cha_inst/accumulator_cntr_fast_Z[3]
vif_set_equiv -translated mac_inst/mac_cha_inst/accumulator_cntr_Z[2] mac_inst/mac_cha_inst/accumulator_cntr_fast_Z[2]
vif_set_equiv -translated mac_inst/mac_chb_inst/accumulator_cntr_Z[0] mac_inst/mac_chb_inst/accumulator_cntr_fast_Z[0]
vif_set_equiv -translated mac_inst/mac_chb_inst/accumulator_cntr_Z[7] mac_inst/mac_chb_inst/accumulator_cntr_fast_Z[7]
vif_set_equiv -translated mac_inst/mac_chb_inst/accumulator_cntr_Z[6] mac_inst/mac_chb_inst/accumulator_cntr_fast_Z[6]
vif_set_equiv -translated mac_inst/mac_chb_inst/accumulator_cntr_Z[1] mac_inst/mac_chb_inst/accumulator_cntr_fast_Z[1]
vif_set_equiv -translated mac_inst/mac_chb_inst/accumulator_cntr_Z[2] mac_inst/mac_chb_inst/accumulator_cntr_fast_Z[2]
vif_set_equiv -translated mac_inst/mac_chb_inst/accumulator_cntr_Z[3] mac_inst/mac_chb_inst/accumulator_cntr_fast_Z[3]
vif_set_equiv -translated mac_inst/mac_chb_inst/accumulator_cntr_Z[4] mac_inst/mac_chb_inst/accumulator_cntr_fast_Z[4]
vif_set_equiv -translated mac_inst/mac_chb_inst/accumulator_cntr_Z[5] mac_inst/mac_chb_inst/accumulator_cntr_fast_Z[5]
vif_set_equiv -translated mac_inst/mac_chc_inst/accumulator_cntr_Z[0] mac_inst/mac_chc_inst/accumulator_cntr_fast_Z[0]
vif_set_equiv -translated mac_inst/mac_chc_inst/accumulator_cntr_Z[7] mac_inst/mac_chc_inst/accumulator_cntr_fast_Z[7]
vif_set_equiv -translated mac_inst/mac_chc_inst/accumulator_cntr_Z[6] mac_inst/mac_chc_inst/accumulator_cntr_fast_Z[6]
vif_set_equiv -translated mac_inst/mac_chc_inst/accumulator_cntr_Z[4] mac_inst/mac_chc_inst/accumulator_cntr_fast_Z[4]
vif_set_equiv -translated mac_inst/mac_chc_inst/accumulator_cntr_Z[2] mac_inst/mac_chc_inst/accumulator_cntr_fast_Z[2]
vif_set_equiv -translated mac_inst/mac_chc_inst/accumulator_cntr_Z[3] mac_inst/mac_chc_inst/accumulator_cntr_fast_Z[3]
vif_set_equiv -translated mac_inst/mac_chc_inst/accumulator_cntr_Z[5] mac_inst/mac_chc_inst/accumulator_cntr_fast_Z[5]
vif_set_equiv -translated mac_inst/mac_chc_inst/accumulator_cntr_Z[1] mac_inst/mac_chc_inst/accumulator_cntr_fast_Z[1]
vif_set_equiv -translated mac_inst/mac_chd_inst/accumulator_cntr_Z[0] mac_inst/mac_chd_inst/accumulator_cntr_fast_Z[0]
vif_set_equiv -translated mac_inst/mac_chd_inst/accumulator_cntr_Z[7] mac_inst/mac_chd_inst/accumulator_cntr_fast_Z[7]
vif_set_equiv -translated mac_inst/mac_chd_inst/accumulator_cntr_Z[6] mac_inst/mac_chd_inst/accumulator_cntr_fast_Z[6]
vif_set_equiv -translated mac_inst/mac_chd_inst/accumulator_cntr_Z[2] mac_inst/mac_chd_inst/accumulator_cntr_fast_Z[2]
vif_set_equiv -translated mac_inst/mac_chd_inst/accumulator_cntr_Z[3] mac_inst/mac_chd_inst/accumulator_cntr_fast_Z[3]
vif_set_equiv -translated mac_inst/mac_chd_inst/accumulator_cntr_Z[4] mac_inst/mac_chd_inst/accumulator_cntr_fast_Z[4]
vif_set_equiv -translated mac_inst/mac_chd_inst/accumulator_cntr_Z[5] mac_inst/mac_chd_inst/accumulator_cntr_fast_Z[5]
vif_set_equiv -translated mac_inst/mac_chd_inst/accumulator_cntr_Z[1] mac_inst/mac_chd_inst/accumulator_cntr_fast_Z[1]

# Inversion map points

# Port mappping and directions