index
:
iCE40/ghdl
master
[no description]
about
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
path:
root
/
src
/
vhdl
/
vhdl-sem_psl.adb
Commit message (
Expand
)
Author
Age
Files
Lines
*
vhdl-sem_psl: factorize code for onehot/onehot0 and stable/fell/rose.
Tristan Gingold
2021-02-09
1
-89
/
+6
*
Add support for PSL onehot/onehot0 functions (#1633)
T. Meissner
2021-02-09
1
-0
/
+32
*
update license headers
umarcor
2021-01-14
1
-11
/
+9
*
vhdl-sem_psl: fix crash in case of error in assert statement. Fix #1480
Tristan Gingold
2020-09-28
1
-2
/
+5
*
vhdl: add wildcard_psl_boolean. For #1387
Tristan Gingold
2020-07-02
1
-70
/
+73
*
vhdl-sem_psl: avoid a crash in synth on incorrect clock.
Tristan Gingold
2020-06-30
1
-0
/
+2
*
vhdl psl: add support for equivalence operator. Fix #1371
Tristan Gingold
2020-06-16
1
-4
/
+7
*
vhdl: analyze and synth concurrent statements in vunit. Fix #1366
Tristan Gingold
2020-06-12
1
-7
/
+12
*
Synthesis of PSL built-in fell() function.
tmeissner
2020-06-07
1
-0
/
+35
*
Synthesis of PSL built-in rose() function.
tmeissner
2020-06-06
1
-1
/
+36
*
Synthesis of PSL stable() function.
tmeissner
2020-06-06
1
-0
/
+35
*
Synthesis of PSL prev function.
Tristan Gingold
2020-06-02
1
-0
/
+60
*
vhdl-sem_psl: handle equal/goto repeat seq. Fix #1321
Tristan Gingold
2020-05-18
1
-1
/
+3
*
vhdl-sem_psl: handle next_event_a and next_event_e. Fix #1292
Tristan Gingold
2020-05-09
1
-0
/
+5
*
Add handling of N_Next_E in PSL semantic pass
tmeissner
2020-05-08
1
-1
/
+1
*
psl: keep locations.
Tristan Gingold
2020-04-26
1
-4
/
+6
*
psl: keep denoting names in the PSL ast.
Tristan Gingold
2020-03-13
1
-10
/
+24
*
vhdl: allow attributes in vunit declarations.
Tristan Gingold
2019-10-30
1
-1
/
+3
*
vhdl: extract sem_concurrent_statement, to handle hdl stmt in vunits.
Tristan Gingold
2019-10-25
1
-0
/
+5
*
vhdl-sem_psl: analyze some declarations.
Tristan Gingold
2019-10-23
1
-0
/
+18
*
vhdl: check cover/restrict is followed by a sequence.
Tristan Gingold
2019-10-16
1
-0
/
+14
*
vhdl: handle cover and restrict within vunit.
Tristan Gingold
2019-10-15
1
-0
/
+4
*
vhdl: handle architecture in verification unit hierarchical name.
Tristan Gingold
2019-08-20
1
-7
/
+37
*
vhdl: handle assume in verification units.
Tristan Gingold
2019-08-20
1
-0
/
+2
*
vhdl: parse verification unit (WIP).
Tristan Gingold
2019-08-17
1
-3
/
+82
*
vhdl: remove severity from cover, report and severity from assume.
Tristan Gingold
2019-08-08
1
-18
/
+9
*
Add support for PSL assumptions, used in formal verification (#880)
Pepijn de Vos
2019-08-07
1
-3
/
+22
*
vhdl: rename Cover_Statement to Cover_Directive.
Tristan Gingold
2019-07-04
1
-2
/
+2
*
vhdl: parse and analyze restrict directive.
Tristan Gingold
2019-07-04
1
-0
/
+15
*
vhdl: renames disp_vhdl to prints
Tristan Gingold
2019-05-30
1
-67
/
+69
*
psl: can keep parenthesis during parse.
Tristan Gingold
2019-05-24
1
-23
/
+70
*
errorout: add messages group instead of continuation.
Tristan Gingold
2019-05-12
1
-2
/
+4
*
vhdl: decouple errorouts a bit more.
Tristan Gingold
2019-05-10
1
-1
/
+0
*
psl: add psl-types, psl-nodes_priv.
Tristan Gingold
2019-05-10
1
-0
/
+1
*
Extract psl-errors from errorout.
Tristan Gingold
2019-05-10
1
-0
/
+1
*
vhdl: extract vhdl.errors from errorout.
Tristan Gingold
2019-05-08
1
-0
/
+1
*
vhdl: handle attributes in psl expressions. Fix #813
Tristan Gingold
2019-05-07
1
-1
/
+2
*
vhdl: move iirs_utils to vhdl.utils
Tristan Gingold
2019-05-06
1
-1
/
+1
*
vhdl: move xrefs to vhdl child package.
Tristan Gingold
2019-05-06
1
-1
/
+1
*
vhdl: move evaluation to vhdl child.
Tristan Gingold
2019-05-05
1
-1
/
+1
*
vhdl: move ieee packages to vhdl children.
Tristan Gingold
2019-05-05
1
-2
/
+2
*
vhdl: move std_standard package to vhdl child.
Tristan Gingold
2019-05-05
1
-5
/
+5
*
vhdl: move sem* packages to vhdl children.
Tristan Gingold
2019-05-05
1
-0
/
+808