rsdecoder.vtc

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

//
// Verplex constraint file
// Generated using Synplify-pro
//
// Copyright (c) 1996-2004 Synplicity, Inc.
// All rights reserved
//

// Set parsing options
set log file RSDecoder.vlf -replace
set naming rule "%s_Z" -register -golden
set naming rule "%s" -register -revised
set case sensitivity off
// set undriven signal 0 -both
// set undefined cell black_box -noascend

// Read golden and revised designs
read design -file lec/RSDecoder.vlc -verilog \
 	../../../SourceCode/COMMON_MODULES/common_modules.v \
 	../../../SourceCode/CSEE_block/cseeblock.v \
 	../../../SourceCode/SCBLOCK/SCBLOCK.V \
 	../../../SourceCode/Fifo/asyncfifo256.v \
 	../../../SourceCode/Fifo/FIFO_GENERATOR_V2_0.v \
 	../../../SourceCode/Fifo/fifo_register.v \
 	../../../SourceCode/KES_block/kes.v \
 	../../../SourceCode/MainControl/controller.v \
 	../../../SourceCode/RS_Decoder_Top/RSDecoder.v \
	-golden -root RSDecoder
read design -file lec/RSDecoder.vlc -verilog RSDecoder.vm -revised -root RSDecoder

// Generate parsing report
report messages
report black box
report design data
report floating signals

// Read FSM encoding
read fsm encoding lec/state_0.vfc
read fsm encoding lec/state_1.vfc
read fsm encoding lec/state1_2.vfc
read fsm encoding lec/state2_3.vfc

// Read setup constraints
read setup file lec/RSDecoder.vsc

// Set mapping options
add renaming rule rulerr "\/Q_r_e_g" "" -revised
add renaming rule rulegh "_Z\[%d\]\[%d\]" "_@1__Z[@2]" -golden
add renaming rule rulegt "_Z\[%d\]$" "[@1]" -type DFF -type DLAT -golden
add renaming rule rulert "_Z\[%d\]$" "[@1]" -type DFF -type DLAT -revised
add renaming rule rulego "_Z$" "" -type DFF -type DLAT -golden
add renaming rule rulero "_Z$" "" -type DFF -type DLAT -revised
set flatten model -seq_constant
// set flatten model -mux_loop_to_dlat
// set flatten model -all_seq_merge
// set flatten model -self_seq_merge
set mapping method -name first

// Run equivalence checker
set sys mode lec -nomap
read map point lec/RSDecoder.vmc
map key point
add compare point -all
compare
usage
// exit -f