Makefile 1.22 KB
# report filtering

default: rtl.all

# extract rtl infered latches;

rtl.latches: _always
	-grep Latch rtl.read > rtl.latches

# extract all undeclared wires;

rtl.uwires: _always
	-grep 'VER-936' rtl.read > rtl.undeclared-wires

# extract ignored delay statements;

rtl.delays: _always
	-grep 'VER-129\|VER-130\|VER-173' rtl.read > rtl.delays

# non-synthesizable constructs;

rtl.nonsyn: _always
	-grep 'VER-209\|VER-274\|ELAB-902' rtl.read > rtl.nonsyn

# extract usage of supply;

rtl.supply: _always
	-grep 'ELAB-338' rtl.read > rtl.supply

# extract unreached cases;

rtl.unreached: _always
	-grep 'ELAB-311' rtl.read > rtl.unreached

# filter out all unwanted messages;

rtl.filtered: _always
	-grep -v 'VER-936' rtl.read \
		| grep -v 'VER-129\|VER-130\|VER-173' \
		| grep -v 'VER-209\|VER-274\|ELAB-902' \
		| grep -v 'ELAB-338' \
		| grep -v 'ELAB-311' \
		> rtl.filtered

# filter rtl check log;

rtl.checked: _always
	-grep -v 'LINT-1\|LINT-2\|LINT-10' rtl.check \
		| grep -v 'LINT-31\|INT-32\|LINT-33\|LINT-38' \
		| grep -v 'LINT-45' \
		> rtl.checked

# do all the filtering;

rtl.all: rtl.latches \
	rtl.uwires \
	rtl.delays \
	rtl.nonsyn \
	rtl.supply \
	rtl.unreached \
	rtl.filtered \
	rtl.checked

# always target;

_always: