aboutsummaryrefslogtreecommitdiffstats
path: root/src/vhdl/vhdl-canon.adb
Commit message (Collapse)AuthorAgeFilesLines
* vhdl-canon: add Canon_Add_Suspend_StateTristan Gingold2022-05-261-4/+184
|
* vhdl-canon: refactoring.Tristan Gingold2022-05-161-31/+66
| | | | Export procedures to extract sensitivity from concurrent statements
* vhdl-sem_names(sem_check_all_sensitized): only consider interface signalTristan Gingold2022-04-151-0/+2
|
* synth: handle type declarations in vunit. Fix #2034Tristan Gingold2022-04-131-0/+1
|
* vhdl: Iir_Kind_Foreign_Module is now a library unitTristan Gingold2021-11-091-0/+2
| | | | | (instead of a design unit). Also, add Iir_Kind_Foreign_Vector_Type_Definition
* vhdl/psl: handle PSL inherit spec. For #1899Tristan Gingold2021-11-051-1/+2
|
* synth: Support alias declarations in vunittmeissner2021-11-021-1/+3
|
* synth: add support for sequence instance in vunit. Fix #1889Tristan Gingold2021-10-131-0/+2
|
* Fixed some typos (#1868)Patrick Lehmann2021-09-161-2/+2
|
* vhdl-canon: recurse for default block configuration of a vunit.Tristan Gingold2021-09-121-12/+23
|
* vhdl,psl: abort is now identical to async_abort. For #1654Tristan Gingold2021-09-021-3/+2
|
* vhdl and psl: parse sync_abort and async_abort. For #1654Tristan Gingold2021-08-301-0/+11
|
* vhdl-canon: detect PSL assertion that cannot fail. For #1832Tristan Gingold2021-08-291-2/+12
|
* vhdl: remove iir_kind_anonymous_signal_declaration (now unused)Tristan Gingold2021-08-241-60/+0
|
* vhdl: introduce iir_kind_association_element_by_nameTristan Gingold2021-08-061-5/+5
|
* vhdl-nodes: remove Identifier from Psl_Default_ClockTristan Gingold2021-06-301-0/+1
|
* vhdl: also allow type and subtype declarations in vunit. For #1724Tristan Gingold2021-04-151-0/+2
|
* vhdl: handle constant declarations in PSL vunit. Fix #1724Tristan Gingold2021-04-151-0/+1
|
* vhdl and libraries: add support for binding to a foreign moduleTristan Gingold2021-04-051-6/+19
|
* vhdl-canon.adb: handle individual assoc in extract sensitivity. Fix #1684Tristan Gingold2021-03-131-0/+2
|
* vhdl-canon.adb: add a missing check on generic associations. Fix #1655Tristan Gingold2021-02-201-0/+3
|
* update license headersumarcor2021-01-141-11/+9
|
* vhdl-canon: canon generic associations for subprogram instantiations.Tristan Gingold2020-09-281-1/+6
|
* vhdl: analyze subprogram instantiations. WIP. For #1470Tristan Gingold2020-09-261-6/+9
|
* vhdl-canon: minor cleanup.Tristan Gingold2020-08-081-57/+0
|
* vhdl: renaming in vhdl-canon.Tristan Gingold2020-08-081-182/+195
|
* vhdl: check missing association to generics. Fix #1379Tristan Gingold2020-06-261-0/+9
|
* vhdl: create default configuration for a vunit. Fix #1372Tristan Gingold2020-06-151-158/+190
|
* vhdl: analyze and synth concurrent statements in vunit. Fix #1366Tristan Gingold2020-06-121-7/+12
|
* psl: keep denoting names in the PSL ast.Tristan Gingold2020-03-131-1/+2
|
* synth: simplify support of inertial associations.Tristan Gingold2020-01-091-1/+1
|
* ams-vhdl: add simultaneous null statement.Tristan Gingold2019-12-301-4/+23
|
* ams-vhdl: analyze, canon and print simultaneous procedural statements.Tristan Gingold2019-12-301-0/+11
|
* vhdl-ams: fix tree consistency for subnature declaration.Tristan Gingold2019-12-291-1/+2
| | | | Also fix use and canon for it.
* vhdl: improve support of AMS-vhdl (array and record natures, source quantities)Tristan Gingold2019-12-281-2/+148
|
* vhdl: allow attributes in vunit declarations.Tristan Gingold2019-10-301-1/+3
|
* vhdl-canon: handle simple signal assignment in vunits.Tristan Gingold2019-10-251-273/+272
|
* vhdl-canon: extract canon_concurrent_label.Tristan Gingold2019-10-251-20/+25
|
* vhdl-canon: handle some declarations in vunits.Tristan Gingold2019-10-231-2/+18
|
* vhdl: Add the implicit [*] at start of PSL cover sequence.Tristan Gingold2019-10-151-0/+7
|
* vhdl: handle cover and restrict within vunit.Tristan Gingold2019-10-151-0/+4
|
* vhdl: renames Conditional_Expression to Conditional_Expression_Chain.Tristan Gingold2019-09-021-1/+1
|
* vhdl: handle assume in verification units.Tristan Gingold2019-08-201-0/+2
|
* synth: handle verification units.Tristan Gingold2019-08-201-31/+57
|
* vhdl: parse verification unit (WIP).Tristan Gingold2019-08-171-0/+2
|
* vhdl: improve reprint of inertial association.Tristan Gingold2019-08-111-27/+37
|
* Add support for PSL assumptions, used in formal verification (#880)Pepijn de Vos2019-08-071-1/+2
| | | | | | | | | | | | | | | | | | | | | | | | | | * vhdl: make the parser understand PSL assume * assume does not actually have report according to the spec. Just a property. * add SPL assume to semantic analysis * canonicalise PSL assume * add assume to annotations * add PSL assume to simulation code * statement -> directive * add assume to translation files * update ticked24 testcase * correctly parse assume * add assume testcase * refactor chunk of duplicated code
* vhdl: cleanup in clear_instantiation_configuration.Tristan Gingold2019-07-131-2/+2
|
* vhdl: minor reformating.Tristan Gingold2019-07-111-3/+3
|
* vhdl: rename Cover_Statement to Cover_Directive.Tristan Gingold2019-07-041-1/+1
|
generated by cgit v1.2.3 (git 2.25.1) at 2024-10-29 13:30:58 +0000