rsdecoder.vif

Reed-Solomon 信道编码广泛应用于DVB中

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

# Set logfile options
vif_set_result_file  RSDecoder.vlf

# 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 ../../../SourceCode/COMMON_MODULES/common_modules.v
vif_add_file -original  -verilog ../../../SourceCode/CSEE_block/cseeblock.v
vif_add_file -original  -verilog ../../../SourceCode/SCBLOCK/SCBLOCK.V
vif_add_file -original  -verilog ../../../SourceCode/Fifo/asyncfifo256.v
vif_add_file -original  -verilog ../../../SourceCode/Fifo/FIFO_GENERATOR_V2_0.v
vif_add_file -original  -verilog ../../../SourceCode/Fifo/fifo_register.v
vif_add_file -original  -verilog ../../../SourceCode/KES_block/kes.v
vif_add_file -original  -verilog ../../../SourceCode/MainControl/controller.v
vif_add_file -original  -verilog ../../../SourceCode/RS_Decoder_Top/RSDecoder.v
vif_set_top_module -original -top RSDecoder
 
vif_add_library -translated $XILINX/verilog/verification/unisims
vif_add_library -translated $XILINX/verilog/verification/simprims
vif_add_file -translated -verilog RSDecoder.vm
vif_set_top_module -translated -top RSDecoder 


# Read FSM encoding
vif_set_fsm -fsm fsm_0
vif_set_fsmreg -original -fsm fsm_0 SCblock/state[1:0]
vif_set_fsmreg -translated -fsm  fsm_0 SCblock/state[1:0]
vif_set_state_map -fsm fsm_0 -original "00" -translated "00"
vif_set_state_map -fsm fsm_0 -original "01" -translated "01"
vif_set_state_map -fsm fsm_0 -original "10" -translated "10"
vif_set_fsm -fsm fsm_3
vif_set_fsmreg -original -fsm fsm_3 KESblock/mcontrol/state[2:0]
vif_set_fsmreg -translated -fsm  fsm_3 KESblock/mcontrol/state[4:0]
vif_set_state_map -fsm fsm_3 -original "000" -translated "00001"
vif_set_state_map -fsm fsm_3 -original "001" -translated "00010"
vif_set_state_map -fsm fsm_3 -original "010" -translated "00100"
vif_set_state_map -fsm fsm_3 -original "011" -translated "01000"
vif_set_state_map -fsm fsm_3 -original "100" -translated "10000"
vif_set_fsm -fsm fsm_9
vif_set_fsmreg -original -fsm fsm_9 controller/state1[4:0]
vif_set_fsmreg -translated -fsm  fsm_9 controller/state1[16:0]
vif_set_state_map -fsm fsm_9 -original "00000" -translated "00000000000000001"
vif_set_state_map -fsm fsm_9 -original "00001" -translated "00000000000000010"
vif_set_state_map -fsm fsm_9 -original "00010" -translated "00000000000000100"
vif_set_state_map -fsm fsm_9 -original "00011" -translated "00000000000001000"
vif_set_state_map -fsm fsm_9 -original "00100" -translated "00000000000010000"
vif_set_state_map -fsm fsm_9 -original "00101" -translated "00000000000100000"
vif_set_state_map -fsm fsm_9 -original "00110" -translated "00000000001000000"
vif_set_state_map -fsm fsm_9 -original "00111" -translated "00000000010000000"
vif_set_state_map -fsm fsm_9 -original "01000" -translated "00000000100000000"
vif_set_state_map -fsm fsm_9 -original "01001" -translated "00000001000000000"
vif_set_state_map -fsm fsm_9 -original "01010" -translated "00000010000000000"
vif_set_state_map -fsm fsm_9 -original "01011" -translated "00000100000000000"
vif_set_state_map -fsm fsm_9 -original "01100" -translated "00001000000000000"
vif_set_state_map -fsm fsm_9 -original "01101" -translated "00010000000000000"
vif_set_state_map -fsm fsm_9 -original "01110" -translated "00100000000000000"
vif_set_state_map -fsm fsm_9 -original "01111" -translated "01000000000000000"
vif_set_state_map -fsm fsm_9 -original "10000" -translated "10000000000000000"
vif_set_fsm -fsm fsm_10
vif_set_fsmreg -original -fsm fsm_10 controller/state2[3:0]
vif_set_fsmreg -translated -fsm  fsm_10 controller/state2[11:0]
vif_set_state_map -fsm fsm_10 -original "0000" -translated "000000000001"
vif_set_state_map -fsm fsm_10 -original "0001" -translated "000000000010"
vif_set_state_map -fsm fsm_10 -original "0010" -translated "000000000100"
vif_set_state_map -fsm fsm_10 -original "0011" -translated "000000001000"
vif_set_state_map -fsm fsm_10 -original "0100" -translated "000000010000"
vif_set_state_map -fsm fsm_10 -original "0101" -translated "000000100000"
vif_set_state_map -fsm fsm_10 -original "0110" -translated "000001000000"
vif_set_state_map -fsm fsm_10 -original "0111" -translated "000010000000"
vif_set_state_map -fsm fsm_10 -original "1000" -translated "000100000000"
vif_set_state_map -fsm fsm_10 -original "1001" -translated "001000000000"
vif_set_state_map -fsm fsm_10 -original "1010" -translated "010000000000"
vif_set_state_map -fsm fsm_10 -original "1011" -translated "100000000000"


# Memory map points
# Memory redundancies


# SRL redundancies
# SRL map points

# Compiler merged registers

# Compiler pruned constant registers


# RTL sequential redundancies

# Technology sequential redundancies
vif_set_equiv -translated KESblock/PE0/reg1/dataout_Z[6] KESblock/PE0/reg1/dataout_6_rep2_rep2_Z
vif_set_equiv -translated KESblock/PE0/reg1/dataout_Z[6] KESblock/PE0/reg1/dataout_6_rep2_rep1_Z
vif_set_equiv -translated KESblock/PE0/reg1/dataout_Z[6] KESblock/PE0/reg1/dataout_6_rep2_fast_Z
vif_set_equiv -translated KESblock/PE0/reg1/dataout_Z[7] KESblock/PE0/reg1/dataout_7_rep1_rep2_Z
vif_set_equiv -translated KESblock/PE0/reg1/dataout_Z[7] KESblock/PE0/reg1/dataout_7_rep1_rep1_Z
vif_set_equiv -translated KESblock/PE0/reg1/dataout_Z[7] KESblock/PE0/reg1/dataout_7_rep1_fast_Z
vif_set_equiv -translated KESblock/PE0/reg1/dataout_Z[6] KESblock/PE0/reg1/dataout_6_rep1_rep2_Z
vif_set_equiv -translated KESblock/PE0/reg1/dataout_Z[6] KESblock/PE0/reg1/dataout_6_rep1_rep1_Z
vif_set_equiv -translated KESblock/PE0/reg1/dataout_Z[6] KESblock/PE0/reg1/dataout_6_rep1_fast_Z
vif_set_equiv -translated KESblock/PE0/reg1/dataout_Z[5] KESblock/PE0/reg1/dataout_5_rep1_rep2_Z
vif_set_equiv -translated KESblock/PE0/reg1/dataout_Z[5] KESblock/PE0/reg1/dataout_5_rep1_rep1_Z
vif_set_equiv -translated KESblock/PE0/reg1/dataout_Z[5] KESblock/PE0/reg1/dataout_5_rep1_fast_Z
vif_set_equiv -translated KESblock/PE0/reg1/dataout_Z[2] KESblock/PE0/reg1/dataout_fast_2_rep2_Z
vif_set_equiv -translated KESblock/PE0/reg1/dataout_Z[2] KESblock/PE0/reg1/dataout_fast_2_rep1_Z
vif_set_equiv -translated KESblock/PE0/reg1/dataout_Z[2] KESblock/PE0/reg1/dataout_fast_fast_Z[2]
vif_set_equiv -translated KESblock/PE0/reg1/dataout_Z[6] KESblock/PE0/reg1/dataout_fast_6_rep1_0_Z
vif_set_equiv -translated KESblock/PE0/reg1/dataout_Z[6] KESblock/PE0/reg1/dataout_fast_fast_0_Z[6]
vif_set_equiv -translated KESblock/PE0/reg1/dataout_Z[4] KESblock/PE0/reg1/dataout_4_rep1_rep2_Z
vif_set_equiv -translated KESblock/PE0/reg1/dataout_Z[4] KESblock/PE0/reg1/dataout_4_rep1_rep1_Z
vif_set_equiv -translated KESblock/PE0/reg1/dataout_Z[4] KESblock/PE0/reg1/dataout_4_rep1_fast_Z
vif_set_equiv -translated KESblock/PE0/reg1/dataout_Z[1] KESblock/PE0/reg1/dataout_1_rep1_rep2_Z
vif_set_equiv -translated KESblock/PE0/reg1/dataout_Z[1] KESblock/PE0/reg1/dataout_1_rep1_rep1_Z
vif_set_equiv -translated KESblock/PE0/reg1/dataout_Z[1] KESblock/PE0/reg1/dataout_1_rep1_fast_Z
vif_set_equiv -translated KESblock/PE0/reg1/dataout_Z[4] KESblock/PE0/reg1/dataout_4_rep2_rep2_Z
vif_set_equiv -translated KESblock/PE0/reg1/dataout_Z[4] KESblock/PE0/reg1/dataout_4_rep2_rep1_Z
vif_set_equiv -translated KESblock/PE0/reg1/dataout_Z[4] KESblock/PE0/reg1/dataout_4_rep2_fast_Z
vif_set_equiv -translated KESblock/PE0/reg1/dataout_Z[7] KESblock/PE0/reg1/dataout_7_rep2_rep2_Z
vif_set_equiv -translated KESblock/PE0/reg1/dataout_Z[7] KESblock/PE0/reg1/dataout_7_rep2_rep1_Z
vif_set_equiv -translated KESblock/PE0/reg1/dataout_Z[7] KESblock/PE0/reg1/dataout_7_rep2_fast_Z
vif_set_equiv -translated KESblock/PE0/reg1/dataout_Z[3] KESblock/PE0/reg1/dataout_3_rep1_rep2_Z
vif_set_equiv -translated KESblock/PE0/reg1/dataout_Z[3] KESblock/PE0/reg1/dataout_3_rep1_rep1_Z
vif_set_equiv -translated KESblock/PE0/reg1/dataout_Z[3] KESblock/PE0/reg1/dataout_3_rep1_fast_Z
vif_set_equiv -translated KESblock/PE0/reg1/dataout_Z[4] KESblock/PE0/reg1/dataout_fast_4_rep2_Z
vif_set_equiv -translated KESblock/PE0/reg1/dataout_Z[4] KESblock/PE0/reg1/dataout_fast_4_rep1_Z