git.libre-soc.org Git - yosys.git/history - frontends/verific/verific.cc

[yosys.git] / frontends / verific / verific.cc

2018-10-05	Clifford Wolf	Fix compiler warning in verific.cc	blob \| commitdiff \| raw
2018-09-14	Clifford Wolf	Merge pull request #625 from aman-goel/master	blob \| commitdiff \| raw \| diff to current
2018-09-04	Clifford Wolf	Add "verific -L <int>" option	blob \| commitdiff \| raw \| diff to current
2018-08-23	Clifford Wolf	Merge pull request #610 from udif/udif_specify_round2	blob \| commitdiff \| raw \| diff to current
2018-08-22	Jim Lawson	Merge pull request #1 from YosysHQ/master	blob \| commitdiff \| raw \| diff to current
2018-08-22	Clifford Wolf	Add "verific -work" help message	blob \| commitdiff \| raw \| diff to current
2018-08-22	Clifford Wolf	Add Verific -work parameter	blob \| commitdiff \| raw \| diff to current
2018-08-19	Clifford Wolf	Merge pull request #606 from cr1901/show-win	blob \| commitdiff \| raw \| diff to current
2018-08-18	Aman Goel	Merge pull request #3 from YosysHQ/master	blob \| commitdiff \| raw \| diff to current
2018-08-16	Clifford Wolf	Add "verific -set-<severity> <msg_id>.."	blob \| commitdiff \| raw \| diff to current
2018-08-16	Clifford Wolf	Verific workaround for VIPER ticket 13851	blob \| commitdiff \| raw \| diff to current
2018-08-15	Clifford Wolf	Merge pull request #573 from cr1901/msys-64	blob \| commitdiff \| raw \| diff to current
2018-08-15	Clifford Wolf	Merge pull request #591 from hzeller/virtual-override	blob \| commitdiff \| raw \| diff to current
2018-08-15	Clifford Wolf	Merge pull request #590 from hzeller/remaining-file...	blob \| commitdiff \| raw \| diff to current
2018-08-15	Clifford Wolf	Merge pull request #576 from cr1901/no-resource	blob \| commitdiff \| raw \| diff to current
2018-08-15	Clifford Wolf	Merge pull request #513 from udif/pr_reg_wire_error	blob \| commitdiff \| raw \| diff to current
2018-08-15	Clifford Wolf	Merge pull request #562 from udif/pr_fix_illegal_port_decl	blob \| commitdiff \| raw \| diff to current
2018-07-22	Clifford Wolf	Verific: Produce errors for instantiating unknown module	blob \| commitdiff \| raw \| diff to current
2018-07-21	Henner Zeller	Consistent use of 'override' for virtual methods in...	blob \| commitdiff \| raw \| diff to current
2018-07-18	Aman Goel	Merge pull request #2 from YosysHQ/master	blob \| commitdiff \| raw \| diff to current
2018-07-16	Clifford Wolf	Fix verific -vlog-incdir and -vlog-libdir handling	blob \| commitdiff \| raw \| diff to current
2018-07-16	Clifford Wolf	Merge pull request #581 from daveshah1/ecp5	blob \| commitdiff \| raw \| diff to current
2018-07-16	Clifford Wolf	Fix "read -incdir"	blob \| commitdiff \| raw \| diff to current
2018-07-16	Clifford Wolf	Merge branch 'master' of github.com:YosysHQ/yosys	blob \| commitdiff \| raw \| diff to current
2018-07-16	Clifford Wolf	Add "read -incdir"	blob \| commitdiff \| raw \| diff to current
2018-07-04	Aman Goel	Merge branch 'YosysHQ-master'	blob \| commitdiff \| raw \| diff to current
2018-07-04	Aman Goel	Merging with official repo	blob \| commitdiff \| raw \| diff to current
2018-06-29	Clifford Wolf	Add "verific -formal" and "read -formal"	blob \| commitdiff \| raw \| diff to current
2018-06-28	Clifford Wolf	Add "read -sv -D" support	blob \| commitdiff \| raw \| diff to current
2018-06-28	Clifford Wolf	Add "read -undef"	blob \| commitdiff \| raw \| diff to current
2018-06-22	Clifford Wolf	Add YOSYS_NOVERIFIC env variable for temporarily disabl...	blob \| commitdiff \| raw \| diff to current
2018-06-21	Clifford Wolf	Add simplified "read" command, enable extnets in implic...	blob \| commitdiff \| raw \| diff to current
2018-06-20	Clifford Wolf	Merge branch 'master' of github.com:YosysHQ/yosys	blob \| commitdiff \| raw \| diff to current
2018-06-20	Clifford Wolf	Add automatic verific import in hierarchy command	blob \| commitdiff \| raw \| diff to current
2018-06-01	Clifford Wolf	Add (* gclk *) attribute support	blob \| commitdiff \| raw \| diff to current
2018-05-28	Clifford Wolf	Add comment to VIPER #13453 work-around	blob \| commitdiff \| raw \| diff to current
2018-05-25	Clifford Wolf	Fix Verific handling of single-bit anyseq/anyconst...	blob \| commitdiff \| raw \| diff to current
2018-05-24	Clifford Wolf	Fix VerificClocking for cases where Verific generates...	blob \| commitdiff \| raw \| diff to current
2018-05-24	Clifford Wolf	Fix verific handling of anyconst/anyseq attributes	blob \| commitdiff \| raw \| diff to current
2018-05-15	Clifford Wolf	Fix handling of anyconst/anyseq attrs in VHDL code...	blob \| commitdiff \| raw \| diff to current
2018-04-07	Clifford Wolf	Add PRIM_HDL_ASSERTION support to Verific importer	blob \| commitdiff \| raw \| diff to current
2018-04-06	Clifford Wolf	Fix handling of $global_clocking in Verific	blob \| commitdiff \| raw \| diff to current
2018-04-06	Clifford Wolf	Add Verific anyseq/anyconst/allseq/allconst attribute...	blob \| commitdiff \| raw \| diff to current
2018-04-06	Clifford Wolf	Add "verific -autocover"	blob \| commitdiff \| raw \| diff to current
2018-04-06	Clifford Wolf	Merge pull request #530 from makaimann/set-ram-flags	blob \| commitdiff \| raw \| diff to current
2018-04-06	makaimann	Set RAM runtime flags for Verific frontend	blob \| commitdiff \| raw \| diff to current
2018-03-27	Clifford Wolf	Merge pull request #515 from edcote/patch-1	blob \| commitdiff \| raw \| diff to current
2018-03-26	Clifford Wolf	Fix handling of unclocked immediate assertions in Verif...	blob \| commitdiff \| raw \| diff to current
2018-03-15	Clifford Wolf	Improve import of memories via Verific	blob \| commitdiff \| raw \| diff to current
2018-03-14	Clifford Wolf	Fix handling of SV compilation units in Verific front-end	blob \| commitdiff \| raw \| diff to current
2018-03-08	Clifford Wolf	Use Verific hier_tree component for elaboration	blob \| commitdiff \| raw \| diff to current
2018-03-07	Clifford Wolf	Fix Verific handling of "assert property (..);" in...	blob \| commitdiff \| raw \| diff to current
2018-03-07	Clifford Wolf	Add "verific -import -V"	blob \| commitdiff \| raw \| diff to current
2018-03-07	Clifford Wolf	Set Verific db_preserve_user_nets flag	blob \| commitdiff \| raw \| diff to current
2018-03-04	Clifford Wolf	Add proper SVA seq.triggered support	blob \| commitdiff \| raw \| diff to current
2018-03-04	Clifford Wolf	Add VerificClocking class and refactor Verific DFF...	blob \| commitdiff \| raw \| diff to current
2018-03-01	Clifford Wolf	Fixes and improvements in Verific SVA importer	blob \| commitdiff \| raw \| diff to current
2018-03-01	Clifford Wolf	Add $rose/$fell support to Verific bindings	blob \| commitdiff \| raw \| diff to current
2018-02-28	Clifford Wolf	Merge branch 'verificsva-ng'	blob \| commitdiff \| raw \| diff to current
2018-02-28	Clifford Wolf	Continue refactoring of Verific SVA importer code	blob \| commitdiff \| raw \| diff to current
2018-02-26	Clifford Wolf	Add handling of verific OPER_REDUCE_NOR	blob \| commitdiff \| raw \| diff to current
2018-02-26	Clifford Wolf	Add handling of verific OPER_SELECTOR and OPER_WIDE_SEL...	blob \| commitdiff \| raw \| diff to current
2018-02-26	Clifford Wolf	Add handling of verific OPER_NTO1MUX and OPER_WIDE_NTO1MUX	blob \| commitdiff \| raw \| diff to current
2018-02-18	Clifford Wolf	Add support for SVA until statements via Verific	blob \| commitdiff \| raw \| diff to current
2018-02-18	Clifford Wolf	Move Verific SVA importer to extra C++ source file	blob \| commitdiff \| raw \| diff to current
2018-02-18	Clifford Wolf	Merge Verific SVA preprocessor and SVA importer	blob \| commitdiff \| raw \| diff to current
2018-02-16	Clifford Wolf	Merge branch 'master' of github.com:cliffordwolf/yosys	blob \| commitdiff \| raw \| diff to current
2018-02-15	Clifford Wolf	Fix verific PRIM_SVA_AT handling in properties with...	blob \| commitdiff \| raw \| diff to current
2018-02-03	Clifford Wolf	Merge pull request #488 from azonenberg/for_clifford	blob \| commitdiff \| raw \| diff to current
2018-02-01	Clifford Wolf	Fix single-bit $stable handling in verific front-end	blob \| commitdiff \| raw \| diff to current
2018-01-31	Clifford Wolf	Add Verific attribute handling for assert/assume/cover...	blob \| commitdiff \| raw \| diff to current
2018-01-23	Clifford Wolf	Fixed handling of synchronous and asynchronous assertio...	blob \| commitdiff \| raw \| diff to current
2017-12-10	Clifford Wolf	Merge branch 'master' into btor-ng	blob \| commitdiff \| raw \| diff to current
2017-12-10	Clifford Wolf	Add support for Verific PRIM_SVA_NOT properties	blob \| commitdiff \| raw \| diff to current
2017-12-09	Clifford Wolf	Add Verific OPER_SVA_STABLE support	blob \| commitdiff \| raw \| diff to current
2017-12-09	Clifford Wolf	Refactoring Verific SVA rewriter	blob \| commitdiff \| raw \| diff to current
2017-11-09	dh73	Merge https://github.com/cliffordwolf/yosys	blob \| commitdiff \| raw \| diff to current
2017-10-20	Clifford Wolf	Remove all PSL support code from verific.cc	blob \| commitdiff \| raw \| diff to current
2017-10-13	Clifford Wolf	Add "verific -vlog-libdir"	blob \| commitdiff \| raw \| diff to current
2017-10-13	Clifford Wolf	Add "verific -vlog-incdir" and "verific -vlog-define"	blob \| commitdiff \| raw \| diff to current
2017-10-12	Clifford Wolf	Merge pull request #434 from Kmanfi/vector_fix	blob \| commitdiff \| raw \| diff to current
2017-10-12	Clifford Wolf	Add Verific fairness/liveness support	blob \| commitdiff \| raw \| diff to current
2017-10-10	Clifford Wolf	Merge branch 'master' of github.com:cliffordwolf/yosys	blob \| commitdiff \| raw \| diff to current
2017-10-10	Clifford Wolf	Start work on pre-processor for Verific SVA properties	blob \| commitdiff \| raw \| diff to current
2017-10-05	Clifford Wolf	Improve handling of Verific errors	blob \| commitdiff \| raw \| diff to current
2017-10-04	Clifford Wolf	Improve Verific error handling, check VHDL static asserts	blob \| commitdiff \| raw \| diff to current
2017-10-04	Clifford Wolf	Fix nasty bug in Verific bindings	blob \| commitdiff \| raw \| diff to current
2017-07-28	Clifford Wolf	Add merging of "past FFs" to verific importer	blob \| commitdiff \| raw \| diff to current
2017-07-28	Clifford Wolf	Add minimal support for PSL in VHDL via Verific	blob \| commitdiff \| raw \| diff to current
2017-07-28	Clifford Wolf	Improve Verific HDL language options	blob \| commitdiff \| raw \| diff to current
2017-07-28	Clifford Wolf	Fix handling of non-user-declared Verific netbus	blob \| commitdiff \| raw \| diff to current
2017-07-27	Clifford Wolf	Improve Verific SVA importer	blob \| commitdiff \| raw \| diff to current
2017-07-27	Clifford Wolf	Add log_warning_noprefix() API, Use for Verific warning...	blob \| commitdiff \| raw \| diff to current
2017-07-27	Clifford Wolf	Add "verific -import -n" and "verific -import -nosva"	blob \| commitdiff \| raw \| diff to current
2017-07-27	Clifford Wolf	Improve Verific SVA import: negedge and $past	blob \| commitdiff \| raw \| diff to current
2017-07-27	Clifford Wolf	Improve Verific SVA importer	blob \| commitdiff \| raw \| diff to current
2017-07-26	Clifford Wolf	Improve Verific bindings (mostly related to SVA)	blob \| commitdiff \| raw \| diff to current
2017-07-25	Clifford Wolf	Improve "help verific" message	blob \| commitdiff \| raw \| diff to current
2017-07-25	Clifford Wolf	Add "verific -extnets"	blob \| commitdiff \| raw \| diff to current
2017-07-25	Clifford Wolf	Improve "verific -all" handling	blob \| commitdiff \| raw \| diff to current
next

RSS Atom