projects / yosys.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Un-break default specify parser
[yosys.git] / frontends / verific /
2018-05-24 Clifford WolfFix VerificClocking for cases where Verific generates... tree | commitdiff
2018-05-24 Clifford WolfFix verific handling of anyconst/anyseq attributes tree | commitdiff
2018-05-15 Clifford WolfFix handling of anyconst/anyseq attrs in VHDL code... tree | commitdiff
2018-05-05 Clifford WolfFurther improve handling of zero-length SVA consecutive... tree | commitdiff
2018-05-05 Clifford WolfFix handling of zero-length SVA consecutive repetition tree | commitdiff
2018-04-07 Clifford WolfAdd PRIM_HDL_ASSERTION support to Verific importer tree | commitdiff
2018-04-06 Clifford WolfFix handling of $global_clocking in Verific tree | commitdiff
2018-04-06 Clifford WolfAdd Verific anyseq/anyconst/allseq/allconst attribute... tree | commitdiff
2018-04-06 Clifford WolfAdd "verific -autocover" tree | commitdiff
2018-04-06 Clifford WolfMerge pull request #530 from makaimann/set-ram-flags tree | commitdiff
2018-04-06 makaimannSet RAM runtime flags for Verific frontend tree | commitdiff
2018-03-31 Clifford WolfRemove left-over log_ping debug commands.. oops. tree | commitdiff
2018-03-27 Clifford WolfMerge pull request #515 from edcote/patch-1 tree | commitdiff
2018-03-26 Clifford WolfFix handling of unclocked immediate assertions in Verif... tree | commitdiff
2018-03-16 Clifford WolfUpdate todo for more features to verificsva.cc tree | commitdiff
2018-03-16 Clifford WolfUpdate todo for more features to verificsva.cc tree | commitdiff
2018-03-16 Clifford WolfAdd todo for more features to verificsva.cc tree | commitdiff
2018-03-15 Clifford WolfImprove import of memories via Verific tree | commitdiff
2018-03-14 Clifford WolfFix handling of SV compilation units in Verific front-end tree | commitdiff
2018-03-10 Clifford WolfFix SVA handling of NON_CONSECUTIVE_REPEAT and GOTO_REPEAT tree | commitdiff
2018-03-10 Clifford WolfFix variable name typo in verificsva.cc tree | commitdiff
2018-03-10 Clifford WolfAdd support for trivial SVA sequences and properties tree | commitdiff
2018-03-08 Clifford WolfUse Verific hier_tree component for elaboration tree | commitdiff
2018-03-07 Clifford WolfFix Verific handling of "assert property (..);" in... tree | commitdiff
2018-03-07 Clifford WolfAdd "verific -import -V" tree | commitdiff
2018-03-07 Clifford WolfSet Verific db_preserve_user_nets flag tree | commitdiff
2018-03-06 Clifford WolfUpdate comment about supported SVA in verificsva.cc tree | commitdiff
2018-03-06 Clifford WolfAdd SVA NON_CONSECUTIVE_REPEAT and GOTO_REPEAT support tree | commitdiff
2018-03-06 Clifford WolfAdd SVA first_match() support tree | commitdiff
2018-03-06 Clifford WolfAdd SVA within support tree | commitdiff
2018-03-06 Clifford WolfAdd support for SVA sequence intersect tree | commitdiff
2018-03-06 Clifford WolfAdd get_fsm_accept_reject for parsing SVA properties tree | commitdiff
2018-03-06 Clifford WolfSimplified SVA "until" handling tree | commitdiff
2018-03-04 Clifford WolfAdd proper SVA seq.triggered support tree | commitdiff
2018-03-04 Clifford WolfAdd Verific SVA support for "seq and seq" expressions tree | commitdiff
2018-03-04 Clifford WolfRefactor Verific SVA importer property parser tree | commitdiff
2018-03-04 Clifford WolfAdd VerificClocking class and refactor Verific DFF... tree | commitdiff
2018-03-03 Clifford WolfAdd SVA support for sequence OR tree | commitdiff
2018-03-02 Clifford WolfFix handling of SVA "until seq.triggered" properties tree | commitdiff
2018-03-02 Clifford WolfUpdate SVA cheat sheet in verificsva.cc tree | commitdiff
2018-03-01 Clifford WolfFix in Verific SVA importer handling of until_with tree | commitdiff
2018-03-01 Clifford WolfFixes and improvements in Verific SVA importer tree | commitdiff
2018-03-01 Clifford WolfAdd $rose/$fell support to Verific bindings tree | commitdiff
2018-02-28 Clifford WolfMerge branch 'verificsva-ng' tree | commitdiff
2018-02-28 Clifford WolfAdd support for PRIM_SVA_UNTIL to new SVA importer tree | commitdiff
2018-02-28 Clifford WolfAdd DFSM generator to verific SVA importer tree | commitdiff
2018-02-28 Clifford WolfContinue refactoring of Verific SVA importer code tree | commitdiff
2018-02-27 Clifford WolfMajor redesign of Verific SVA importer tree | commitdiff
2018-02-26 Clifford WolfAdd handling of verific OPER_REDUCE_NOR tree | commitdiff
2018-02-26 Clifford WolfAdd handling of verific OPER_SELECTOR and OPER_WIDE_SEL... tree | commitdiff
2018-02-26 Clifford WolfAdd handling of verific OPER_NTO1MUX and OPER_WIDE_NTO1MUX tree | commitdiff
2018-02-26 Clifford WolfAdd "SVA syntax cheat sheet" comment to verificsva.cc tree | commitdiff
2018-02-22 Clifford WolfAdd Verific SVA support for ranges in repetition operator tree | commitdiff
2018-02-21 Clifford WolfAdd support for SVA throughout via Verific tree | commitdiff
2018-02-18 Clifford WolfAdd support for SVA sequence concatenation ranges via... tree | commitdiff
2018-02-18 Clifford WolfAdd support for SVA until statements via Verific tree | commitdiff
2018-02-18 Clifford WolfMove Verific SVA importer to extra C++ source file tree | commitdiff
2018-02-18 Clifford WolfMerge Verific SVA preprocessor and SVA importer tree | commitdiff
2018-02-16 Clifford WolfMerge branch 'master' of github.com:cliffordwolf/yosys tree | commitdiff
2018-02-15 Clifford WolfFix verific PRIM_SVA_AT handling in properties with... tree | commitdiff
2018-02-03 Clifford WolfMerge pull request #488 from azonenberg/for_clifford tree | commitdiff
2018-02-01 Clifford WolfFix single-bit $stable handling in verific front-end tree | commitdiff
2018-01-31 Clifford WolfAdd Verific attribute handling for assert/assume/cover... tree | commitdiff
2018-01-28 Clifford WolfFix permissions on verific vdb files tree | commitdiff
2018-01-23 Clifford WolfFixed handling of synchronous and asynchronous assertio... tree | commitdiff
2017-12-10 Clifford WolfMerge branch 'master' into btor-ng tree | commitdiff
2017-12-10 Clifford WolfAdd support for Verific PRIM_SVA_NOT properties tree | commitdiff
2017-12-09 Clifford WolfAdd Verific OPER_SVA_STABLE support tree | commitdiff
2017-12-09 Clifford WolfRefactoring Verific SVA rewriter tree | commitdiff
2017-11-09 dh73Merge https://github.com/cliffordwolf/yosys tree | commitdiff
2017-10-20 Clifford WolfRemove all PSL support code from verific.cc tree | commitdiff
2017-10-13 Clifford WolfAdd "verific -vlog-libdir" tree | commitdiff
2017-10-13 Clifford WolfAdd "verific -vlog-incdir" and "verific -vlog-define" tree | commitdiff
2017-10-13 Clifford WolfUpdate Verific README tree | commitdiff
2017-10-12 Clifford WolfMerge pull request #434 from Kmanfi/vector_fix tree | commitdiff
2017-10-12 Clifford WolfAdd Verific fairness/liveness support tree | commitdiff
2017-10-10 Clifford WolfMerge branch 'master' of github.com:cliffordwolf/yosys tree | commitdiff
2017-10-10 Clifford WolfStart work on pre-processor for Verific SVA properties tree | commitdiff
2017-10-05 Clifford WolfImprove handling of Verific errors tree | commitdiff
2017-10-04 Clifford WolfImprove Verific error handling, check VHDL static asserts tree | commitdiff
2017-10-04 Clifford WolfFix nasty bug in Verific bindings tree | commitdiff
2017-07-28 Clifford WolfAdd merging of "past FFs" to verific importer tree | commitdiff
2017-07-28 Clifford WolfAdd minimal support for PSL in VHDL via Verific tree | commitdiff
2017-07-28 Clifford WolfImprove Verific HDL language options tree | commitdiff
2017-07-28 Clifford WolfFix handling of non-user-declared Verific netbus tree | commitdiff
2017-07-27 Clifford WolfImprove Verific SVA importer tree | commitdiff
2017-07-27 Clifford WolfAdd log_warning_noprefix() API, Use for Verific warning... tree | commitdiff
2017-07-27 Clifford WolfAdd "verific -import -n" and "verific -import -nosva" tree | commitdiff
2017-07-27 Clifford WolfImprove Verific SVA import: negedge and $past tree | commitdiff
2017-07-27 Clifford WolfImprove Verific SVA importer tree | commitdiff
2017-07-26 Clifford WolfImprove Verific bindings (mostly related to SVA) tree | commitdiff
2017-07-25 Clifford WolfImprove "help verific" message tree | commitdiff
2017-07-25 Clifford WolfAdd "verific -extnets" tree | commitdiff
2017-07-25 Clifford WolfImprove "verific -all" handling tree | commitdiff
2017-07-24 Clifford WolfAdd "verific -import -d <dump_file" tree | commitdiff
2017-07-24 Clifford WolfAdd "verific -import -flatten" and "verific -import -v" tree | commitdiff
2017-07-22 Clifford WolfAdd "verific -import -k" tree | commitdiff
2017-07-22 Clifford WolfImprove docs for verific bindings, add simply sby example tree | commitdiff
2017-07-04 Clifford WolfAdd Verific Release information to log tree | commitdiff
2017-02-11 Andrew ZonenbergMerge https://github.com/cliffordwolf/yosys tree | commitdiff
next