aboutsummaryrefslogtreecommitdiffstats
path: root/src/vhdl/vhdl-sem_psl.adb
Commit message (Expand)AuthorAgeFilesLines
* vhdl-sem_psl: fix crash in case of error in assert statement. Fix #1480Tristan Gingold2020-09-281-2/+5
* vhdl: add wildcard_psl_boolean. For #1387Tristan Gingold2020-07-021-70/+73
* vhdl-sem_psl: avoid a crash in synth on incorrect clock.Tristan Gingold2020-06-301-0/+2
* vhdl psl: add support for equivalence operator. Fix #1371Tristan Gingold2020-06-161-4/+7
* vhdl: analyze and synth concurrent statements in vunit. Fix #1366Tristan Gingold2020-06-121-7/+12
* Synthesis of PSL built-in fell() function.tmeissner2020-06-071-0/+35
* Synthesis of PSL built-in rose() function.tmeissner2020-06-061-1/+36
* Synthesis of PSL stable() function.tmeissner2020-06-061-0/+35
* Synthesis of PSL prev function.Tristan Gingold2020-06-021-0/+60
* vhdl-sem_psl: handle equal/goto repeat seq. Fix #1321Tristan Gingold2020-05-181-1/+3
* vhdl-sem_psl: handle next_event_a and next_event_e. Fix #1292Tristan Gingold2020-05-091-0/+5
* Add handling of N_Next_E in PSL semantic passtmeissner2020-05-081-1/+1
* psl: keep locations.Tristan Gingold2020-04-261-4/+6
* psl: keep denoting names in the PSL ast.Tristan Gingold2020-03-131-10/+24
* vhdl: allow attributes in vunit declarations.Tristan Gingold2019-10-301-1/+3
* vhdl: extract sem_concurrent_statement, to handle hdl stmt in vunits.Tristan Gingold2019-10-251-0/+5
* vhdl-sem_psl: analyze some declarations.Tristan Gingold2019-10-231-0/+18
* vhdl: check cover/restrict is followed by a sequence.Tristan Gingold2019-10-161-0/+14
* vhdl: handle cover and restrict within vunit.Tristan Gingold2019-10-151-0/+4
* vhdl: handle architecture in verification unit hierarchical name.Tristan Gingold2019-08-201-7/+37
* vhdl: handle assume in verification units.Tristan Gingold2019-08-201-0/+2
* vhdl: parse verification unit (WIP).Tristan Gingold2019-08-171-3/+82
* vhdl: remove severity from cover, report and severity from assume.Tristan Gingold2019-08-081-18/+9
* Add support for PSL assumptions, used in formal verification (#880)Pepijn de Vos2019-08-071-3/+22
* vhdl: rename Cover_Statement to Cover_Directive.Tristan Gingold2019-07-041-2/+2
* vhdl: parse and analyze restrict directive.Tristan Gingold2019-07-041-0/+15
* vhdl: renames disp_vhdl to printsTristan Gingold2019-05-301-67/+69
* psl: can keep parenthesis during parse.Tristan Gingold2019-05-241-23/+70
* errorout: add messages group instead of continuation.Tristan Gingold2019-05-121-2/+4
* vhdl: decouple errorouts a bit more.Tristan Gingold2019-05-101-1/+0
* psl: add psl-types, psl-nodes_priv.Tristan Gingold2019-05-101-0/+1
* Extract psl-errors from errorout.Tristan Gingold2019-05-101-0/+1
* vhdl: extract vhdl.errors from errorout.Tristan Gingold2019-05-081-0/+1
* vhdl: handle attributes in psl expressions. Fix #813Tristan Gingold2019-05-071-1/+2
* vhdl: move iirs_utils to vhdl.utilsTristan Gingold2019-05-061-1/+1
* vhdl: move xrefs to vhdl child package.Tristan Gingold2019-05-061-1/+1
* vhdl: move evaluation to vhdl child.Tristan Gingold2019-05-051-1/+1
* vhdl: move ieee packages to vhdl children.Tristan Gingold2019-05-051-2/+2
* vhdl: move std_standard package to vhdl child.Tristan Gingold2019-05-051-5/+5
* vhdl: move sem* packages to vhdl children.Tristan Gingold2019-05-051-0/+808