aboutsummaryrefslogtreecommitdiffstats
path: root/frontends/verific/verific.cc
Commit message (Expand)AuthorAgeFilesLines
...
* | Verific: Produce errors for instantiating unknown moduleClifford Wolf2018-07-221-0/+3
|/
* Fix verific -vlog-incdir and -vlog-libdir handlingClifford Wolf2018-07-161-2/+13
* Fix "read -incdir"Clifford Wolf2018-07-161-1/+1
* Add "read -incdir"Clifford Wolf2018-07-161-0/+19
* Add "verific -formal" and "read -formal"Clifford Wolf2018-06-291-7/+15
* Add "read -sv -D" supportClifford Wolf2018-06-281-2/+25
* Add "read -undef"Clifford Wolf2018-06-281-0/+32
* Add YOSYS_NOVERIFIC env variable for temporarily disabling verificClifford Wolf2018-06-221-22/+40
* Add simplified "read" command, enable extnets in implicit Verific importClifford Wolf2018-06-211-0/+84
* Add automatic verific import in hierarchy commandClifford Wolf2018-06-201-0/+53
* Add (* gclk *) attribute supportClifford Wolf2018-06-011-0/+10
* Add comment to VIPER #13453 work-aroundClifford Wolf2018-05-281-0/+1
* Fix Verific handling of single-bit anyseq/anyconst wiresClifford Wolf2018-05-251-2/+4
* Fix VerificClocking for cases where Verific generates chains of PRIM_SVA_POSEDGEClifford Wolf2018-05-241-1/+1
* Fix verific handling of anyconst/anyseq attributesClifford Wolf2018-05-241-15/+26
* Fix handling of anyconst/anyseq attrs in VHDL code via VerificClifford Wolf2018-05-151-6/+6
* Add PRIM_HDL_ASSERTION support to Verific importerClifford Wolf2018-04-071-3/+19
* Fix handling of $global_clocking in VerificClifford Wolf2018-04-061-1/+7
* Add Verific anyseq/anyconst/allseq/allconst attribute supportClifford Wolf2018-04-061-2/+36
* Add "verific -autocover"Clifford Wolf2018-04-061-4/+15
* Set RAM runtime flags for Verific frontendmakaimann2018-04-051-0/+3
* Fix handling of unclocked immediate assertions in Verific front-endClifford Wolf2018-03-261-1/+6
* Improve import of memories via VerificClifford Wolf2018-03-151-16/+23
* Fix handling of SV compilation units in Verific front-endClifford Wolf2018-03-141-28/+25
* Use Verific hier_tree component for elaborationClifford Wolf2018-03-081-0/+54
* Fix Verific handling of "assert property (..);" in always blockClifford Wolf2018-03-071-4/+33
* Add "verific -import -V"Clifford Wolf2018-03-071-4/+16
* Set Verific db_preserve_user_nets flagClifford Wolf2018-03-071-0/+1
* Add proper SVA seq.triggered supportClifford Wolf2018-03-041-0/+7
* Add VerificClocking class and refactor Verific DFF handlingClifford Wolf2018-03-041-43/+158
* Fixes and improvements in Verific SVA importerClifford Wolf2018-03-011-5/+9
* Add $rose/$fell support to Verific bindingsClifford Wolf2018-03-011-3/+22
* Continue refactoring of Verific SVA importer codeClifford Wolf2018-02-281-62/+29
* Add handling of verific OPER_REDUCE_NORClifford Wolf2018-02-261-0/+6
* Add handling of verific OPER_SELECTOR and OPER_WIDE_SELECTORClifford Wolf2018-02-261-0/+13
* Add handling of verific OPER_NTO1MUX and OPER_WIDE_NTO1MUXClifford Wolf2018-02-261-0/+25
* Add support for SVA until statements via VerificClifford Wolf2018-02-181-23/+0
* Move Verific SVA importer to extra C++ source fileClifford Wolf2018-02-181-1279/+905
* Merge Verific SVA preprocessor and SVA importerClifford Wolf2018-02-181-79/+44
* Fix verific PRIM_SVA_AT handling in properties with PRIM_SVA_DISABLE_IFFClifford Wolf2018-02-151-1/+1
* Fix single-bit $stable handling in verific front-endClifford Wolf2018-02-011-0/+22
* Add Verific attribute handling for assert/assume/cover/live/fair cellsClifford Wolf2018-01-311-10/+16
* Fixed handling of synchronous and asynchronous assertion/assumption/cover in ...Clifford Wolf2018-01-231-27/+29
* Add support for Verific PRIM_SVA_NOT propertiesClifford Wolf2017-12-101-10/+25
* Add Verific OPER_SVA_STABLE supportClifford Wolf2017-12-101-2/+32
* Refactoring Verific SVA rewriterClifford Wolf2017-12-101-62/+70
* Remove all PSL support code from verific.ccClifford Wolf2017-10-201-179/+17
* Add "verific -vlog-libdir"Clifford Wolf2017-10-131-0/+12
* Add "verific -vlog-incdir" and "verific -vlog-define"Clifford Wolf2017-10-131-0/+35
* Add Verific fairness/liveness supportClifford Wolf2017-10-121-11/+32
generated by cgit v1.2.3 (git 2.25.1) at 2025-04-10 23:57:38 +0000