]> Nick Gasson's Git Repositories - nvc.git/commit
Add basic support for PSL cover directives
authorNick Gasson <nick@nickg.me.uk>
Sat, 18 Nov 2023 19:54:01 +0000 (19:54 +0000)
committerNick Gasson <nick@nickg.me.uk>
Sat, 18 Nov 2023 20:26:16 +0000 (20:26 +0000)
commit2cc27a9953a38d36a381a7aeba06b3c29b56333f
treec8c96386e9e4615e52a2d433a410bea2b83b6947
parente814645ff2ee235e4549a2b790dbe2e7cf8f4a2e
Add basic support for PSL cover directives

Issue #795
20 files changed:
src/dump.c
src/elab.c
src/jit/jit-exits.c
src/jit/jit-exits.h
src/parse.c
src/psl/psl-dump.c
src/psl/psl-fsm.c
src/psl/psl-fsm.h
src/psl/psl-lower.c
src/psl/psl-node.c
src/psl/psl-node.h
src/psl/psl-phase.h
src/rt/assert.c
src/rt/model.c
test/dump/psl1.vhd
test/regress/gold/psl7.txt [new file with mode: 0644]
test/regress/psl7.vhd [new file with mode: 0644]
test/regress/testlist.txt
test/test_dump.c
test/test_psl.c