aboutsummaryrefslogtreecommitdiffstats
path: root/src/vhdl
Commit message (Collapse)AuthorAgeFilesLines
* add synthesis support for logic operators on numeric types (#893)Pepijn de Vos2019-08-152-0/+114
| | | | | | | | * add logic operators on unsigned * handle signed too * handle unary not
* vhdl: handle PSL keywords as vhdl08 reserved words; switch to PSL scanner mode.Tristan Gingold2019-08-141-0/+9
|
* vhdl: add PSL keywords to vhdl08 reserved words.Tristan Gingold2019-08-147-78/+98
|
* vhdl-nodes_walk: handle iir_kind_psl_default_clock.Tristan Gingold2019-08-131-1/+2
|
* libghdl: also add synthesis part. For #884Tristan Gingold2019-08-131-0/+2
|
* libghdl: preliminary work to also support synth.Tristan Gingold2019-08-132-4/+9
|
* vhdl: improve reprint of inertial association.Tristan Gingold2019-08-116-181/+206
|
* vhdl-sem: fix minor thinko for sem_insert_anonymous_signal.Tristan Gingold2019-08-111-1/+24
| | | | Fix #885
* vhdl: avoid crash on incorrect unit name.Tristan Gingold2019-08-102-6/+36
| | | | Fix #886
* vhdl: handle subtype indication (with range) in discrete_range.Tristan Gingold2019-08-107-63/+105
| | | | For #877
* vhdl: remove unused Get/Set_Choice_Order.Tristan Gingold2019-08-095-304/+247
|
* vhdl: remove -Whides warnings for processes without a label.Tristan Gingold2019-08-081-0/+9
|
* vhdl: remove severity from cover, report and severity from assume.Tristan Gingold2019-08-089-131/+154
|
* vhdl-nodes: gather PSL nodes, regenerate nodes_meta.Tristan Gingold2019-08-072-125/+91
|
* Add support for PSL assumptions, used in formal verification (#880)Pepijn de Vos2019-08-0723-141/+293
| | | | | | | | | | | | | | | | | | | | | | | | | | * 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: allow discrete subtype indication for discrete_range.Tristan Gingold2019-08-065-45/+53
| | | | For #877
* vhdl: for time resolution, do not consider unit name from textio body.Tristan Gingold2019-08-062-10/+38
| | | | For #881
* synth: improve support of vhdl08. Fix #882Tristan Gingold2019-08-051-1/+9
|
* synth: add support for memories.Tristan Gingold2019-07-291-0/+2
|
* synth: unconstrained arrays.Tristan Gingold2019-07-281-0/+3
|
* synth: preliminary support of dynamic indexing.Tristan Gingold2019-07-282-47/+70
|
* vhdl: linearize analyze and evaluation of concat operators.Tristan Gingold2019-07-265-360/+647
|
* vhdl+synth: recognize /= to std_logic_unsigned.Tristan Gingold2019-07-252-1/+13
|
* vhdl: handle (discard) more pragmas.Tristan Gingold2019-07-251-0/+8
|
* vhdl annotations: fix annotation of type in interface list.Tristan Gingold2019-07-241-0/+1
|
* vhdl scanner: handle pragma translate_on/translate_off.Tristan Gingold2019-07-242-4/+98
|
* vhdl: recognize resize function.Tristan Gingold2019-07-242-0/+38
|
* vhdl-prints: improve output for ports/generics.Tristan Gingold2019-07-221-5/+27
|
* synth: minor rework.Tristan Gingold2019-07-222-0/+14
|
* synth: initial support for for-generate statement.Tristan Gingold2019-07-201-5/+8
|
* vhdl: add a comment.Tristan Gingold2019-07-161-0/+3
|
* synth: add > and >= operators (#870)Pepijn de Vos2019-07-162-0/+68
| | | | | | * synth: add > and >= operators * synth: update ghdlsynth_gates.h
* vhdl: avoid a crash on no matching operator error.Tristan Gingold2019-07-151-1/+7
| | | | Fix #869
* vhdl-sem_names: avoid a crash on parenthesis ofTristan Gingold2019-07-151-2/+2
|
* find_top_entity: avoid crash on missing entity, handleTristan Gingold2019-07-152-13/+27
|
* ghdlsynth: check top entity can be a top entity.Tristan Gingold2019-07-143-4/+6
|
* vhdl: refactoring: remove configure function with string access.Tristan Gingold2019-07-144-29/+14
|
* vhdl: set location on reference to the anonymous signal declaration.Tristan Gingold2019-07-141-0/+1
|
* vhdl: fixes in find_top_entity (handle for-generate, remove early return)Tristan Gingold2019-07-142-5/+27
|
* vhdl: cleanup in clear_instantiation_configuration.Tristan Gingold2019-07-134-70/+23
|
* simul-elaboration: rewrite assertion.Tristan Gingold2019-07-131-3/+3
|
* vhdl-configuration: improve error message.Tristan Gingold2019-07-111-1/+1
|
* vhdl: minor reformating.Tristan Gingold2019-07-112-8/+5
|
* vhdl-sem_lib: save and restore nbr_errors inTristan Gingold2019-07-111-0/+10
|
* libghdl: import Free_Dependence_List.Tristan Gingold2019-07-112-0/+4
|
* vhdl-nodes: add commentsTristan Gingold2019-07-111-0/+16
|
* synth: do not crash on use of std_logic_1164 2008.Tristan Gingold2019-07-101-10/+4
|
* vhdl: improve an error message.Tristan Gingold2019-07-101-1/+1
|
* vhdl-sem_lib: Load_Parse_Design_Unit: ignore checksum ifTristan Gingold2019-07-091-3/+6
|
* vhdl-sem_lib: free_dependencies: only free entity aspect.Tristan Gingold2019-07-091-3/+19
|