Subversion Repositories sdhc-sc-core

prove: psl_analyze psl_compile psl_prove

confirm: psl_analyze psl_compile psl_confirm

psl_analyze:
        0in -od SFV_PSL_VH -cmd analyze \
        -vhdl ../../../grpGlobal/pkgGlobal/src/Global-p.vhdl \
        ../src/SdClockMaster-e.vhdl \
        ../src/SdClockMaster-Rtl-a.vhdl \
        -work zwork -libmap zwork=zwork

psl_compile:
        0in -od SFV_PSL_VH -cmd csl -d SdClockMaster \
        -work zwork -libmap zwork=zwork \
        -pslfile_vh ../src/SdClockMaster.psl \
        -vhctrl csl_ctrl.vhd \
        -eode

psl_prove:
        0in_prove +0in_od+SFV_PSL_RESULTS_VH \
        +0in_dir+SFV_PSL_VH/0in_cache \
        +0in_effort+high

psl_confirm:
        0in_confirm +0in_od+SFV_PSL_RESULTS_VH \
        +0in_dir+SFV_PSL_VH/0in_cache \
        +0in_effort+high

clean:
        \rm -rf work zwork *.wlf *.log replay* transcript *.db *.fcdb \
        SFV_PSL_VH SFV_PSL_RESULTS_VH