]> Nick Gasson's Git Repositories - nvc.git/commit
Add support for PSL "never" assertions. Fixes #914
authorNick Gasson <nick@nickg.me.uk>
Sat, 13 Jul 2024 20:07:14 +0000 (21:07 +0100)
committerNick Gasson <nick@nickg.me.uk>
Sat, 13 Jul 2024 20:58:57 +0000 (21:58 +0100)
commit457a93782a874797b62ff6aa42f098119ef74742
treed4c300034292e3ef574b4ae77215faa724b5706b
parent22100701f7805e5db9b8727e00a1ae585992b42f
Add support for PSL "never" assertions. Fixes #914
src/psl/psl-fsm.c
src/psl/psl-fsm.h
src/psl/psl-lower.c
test/regress/gold/psl8.txt [new file with mode: 0644]
test/regress/psl8.vhd [new file with mode: 0644]
test/regress/testlist.txt