iCE40/yosys - [no description]

	Commit message (Expand)	Author	Age	Files	Lines
...
*	Fix handling of unclocked immediate assertions in Verific front-end	Clifford Wolf	2018-03-26	1	-1/+6
*	Improve import of memories via Verific	Clifford Wolf	2018-03-15	1	-16/+23
*	Fix handling of SV compilation units in Verific front-end	Clifford Wolf	2018-03-14	1	-28/+25
*	Use Verific hier_tree component for elaboration	Clifford Wolf	2018-03-08	1	-0/+54
*	Fix Verific handling of "assert property (..);" in always block	Clifford Wolf	2018-03-07	1	-4/+33
*	Add "verific -import -V"	Clifford Wolf	2018-03-07	1	-4/+16
*	Set Verific db_preserve_user_nets flag	Clifford Wolf	2018-03-07	1	-0/+1
*	Add proper SVA seq.triggered support	Clifford Wolf	2018-03-04	1	-0/+7
*	Add VerificClocking class and refactor Verific DFF handling	Clifford Wolf	2018-03-04	1	-43/+158
*	Fixes and improvements in Verific SVA importer	Clifford Wolf	2018-03-01	1	-5/+9
*	Add $rose/$fell support to Verific bindings	Clifford Wolf	2018-03-01	1	-3/+22
*	Continue refactoring of Verific SVA importer code	Clifford Wolf	2018-02-28	1	-62/+29
*	Add handling of verific OPER_REDUCE_NOR	Clifford Wolf	2018-02-26	1	-0/+6
*	Add handling of verific OPER_SELECTOR and OPER_WIDE_SELECTOR	Clifford Wolf	2018-02-26	1	-0/+13
*	Add handling of verific OPER_NTO1MUX and OPER_WIDE_NTO1MUX	Clifford Wolf	2018-02-26	1	-0/+25
*	Add support for SVA until statements via Verific	Clifford Wolf	2018-02-18	1	-23/+0
*	Move Verific SVA importer to extra C++ source file	Clifford Wolf	2018-02-18	1	-1279/+905
*	Merge Verific SVA preprocessor and SVA importer	Clifford Wolf	2018-02-18	1	-79/+44
*	Fix verific PRIM_SVA_AT handling in properties with PRIM_SVA_DISABLE_IFF	Clifford Wolf	2018-02-15	1	-1/+1
*	Fix single-bit $stable handling in verific front-end	Clifford Wolf	2018-02-01	1	-0/+22
*	Add Verific attribute handling for assert/assume/cover/live/fair cells	Clifford Wolf	2018-01-31	1	-10/+16
*	Fixed handling of synchronous and asynchronous assertion/assumption/cover in ...	Clifford Wolf	2018-01-23	1	-27/+29
*	Add support for Verific PRIM_SVA_NOT properties	Clifford Wolf	2017-12-10	1	-10/+25
*	Add Verific OPER_SVA_STABLE support	Clifford Wolf	2017-12-10	1	-2/+32
*	Refactoring Verific SVA rewriter	Clifford Wolf	2017-12-10	1	-62/+70
*	Remove all PSL support code from verific.cc	Clifford Wolf	2017-10-20	1	-179/+17
*	Add "verific -vlog-libdir"	Clifford Wolf	2017-10-13	1	-0/+12
*	Add "verific -vlog-incdir" and "verific -vlog-define"	Clifford Wolf	2017-10-13	1	-0/+35
*	Add Verific fairness/liveness support	Clifford Wolf	2017-10-12	1	-11/+32
*	Start work on pre-processor for Verific SVA properties	Clifford Wolf	2017-10-10	1	-10/+153
*	Improve handling of Verific errors	Clifford Wolf	2017-10-05	1	-11/+9
*	Improve Verific error handling, check VHDL static asserts	Clifford Wolf	2017-10-04	1	-11/+25
*	Fix nasty bug in Verific bindings	Clifford Wolf	2017-10-04	1	-1/+1
*	Add merging of "past FFs" to verific importer	Clifford Wolf	2017-07-29	1	-2/+76
*	Add minimal support for PSL in VHDL via Verific	Clifford Wolf	2017-07-28	1	-19/+155
*	Improve Verific HDL language options	Clifford Wolf	2017-07-28	1	-4/+4
*	Fix handling of non-user-declared Verific netbus	Clifford Wolf	2017-07-28	1	-2/+3
*	Improve Verific SVA importer	Clifford Wolf	2017-07-27	1	-0/+34
*	Add log_warning_noprefix() API, Use for Verific warnings and errors	Clifford Wolf	2017-07-27	1	-1/+1
*	Add "verific -import -n" and "verific -import -nosva"	Clifford Wolf	2017-07-27	1	-14/+36
*	Improve Verific SVA import: negedge and $past	Clifford Wolf	2017-07-27	1	-6/+49
*	Improve Verific SVA importer	Clifford Wolf	2017-07-27	1	-37/+58
*	Improve Verific bindings (mostly related to SVA)	Clifford Wolf	2017-07-26	1	-110/+320
*	Improve "help verific" message	Clifford Wolf	2017-07-25	1	-5/+5
*	Add "verific -extnets"	Clifford Wolf	2017-07-25	1	-23/+130
*	Improve "verific -all" handling	Clifford Wolf	2017-07-25	1	-26/+45
*	Add "verific -import -d <dump_file"	Clifford Wolf	2017-07-24	1	-6/+35
*	Add "verific -import -flatten" and "verific -import -v"	Clifford Wolf	2017-07-24	1	-107/+164
*	Add "verific -import -k"	Clifford Wolf	2017-07-22	1	-42/+51
*	Add Verific Release information to log	Clifford Wolf	2017-07-04	1	-0/+12