#####################################
## Makefile
#####################################
MODEL_HOME = ${CBD_ROOT}/xmodel_dpll
SOURCE_PATH = ${MODEL_HOME}/dpll
DESIGN = digital_lf

TCL_DIR = ./tcl

JUNK_FILES = \
            work wlf* *.wlf transcript ncverilog.* INCA_libs ncelab.* *.vstf simv* csrc ucli.key vc_hdrs.h *.log alib-52 *_log\
            fm_shell_command*.lck fm_shell_command*.log formality*.lck formality*.log formality*svf FM_WORK*\

#--------------------------------------------------------------------------

# Synthesis
dc:
	mkdir -p ./dc_log
	dc_shell -f ${TCL_DIR}/dc_${DESIGN}.tcl | tee -i ./dc_log/dc_${DESIGN}.log

# Formality
fm:
	\formality -file ${TCL_DIR}/fm_${DESIGN}.tcl

# Primetime
pt:
	mkdir -p ./pt_log
	pt_shell -f ${TCL_DIR}/pt_${DESIGN}.tcl | tee -i ./pt_log/pt_${DESIGN}.log

clean:
	\rm -rf ${JUNK_FILES}
