iCE40/yosys - [no description]

	Commit message (Expand)	Author	Age	Files	Lines
*	Automatically prune init attributes in verific front-end, fixes #1237	Clifford Wolf	2019-08-07	1	-2/+2
*	Fix verific_parameters construction, use attribute to mark top netlists	Eddie Hung	2019-05-03	1	-1/+1
*	WIP -chparam support for hierarchy when verific	Eddie Hung	2019-05-03	1	-2/+2
*	Improve src tagging (using names and attrs) of cells and wires in verific fro...	Clifford Wolf	2018-12-18	1	-0/+1
*	Add "verific -L <int>" option	Clifford Wolf	2018-09-04	1	-0/+2
*	Add automatic verific import in hierarchy command	Clifford Wolf	2018-06-20	1	-0/+3
*	Add (* gclk *) attribute support	Clifford Wolf	2018-06-01	1	-0/+1
*	Fix verific handling of anyconst/anyseq attributes	Clifford Wolf	2018-05-24	1	-1/+2
*	Add "verific -autocover"	Clifford Wolf	2018-04-06	1	-1/+2
*	Fix handling of unclocked immediate assertions in Verific front-end	Clifford Wolf	2018-03-26	1	-1/+1
*	Fix Verific handling of "assert property (..);" in always block	Clifford Wolf	2018-03-07	1	-4/+6
*	Add "verific -import -V"	Clifford Wolf	2018-03-07	1	-2/+2
*	Add proper SVA seq.triggered support	Clifford Wolf	2018-03-04	1	-1/+11
*	Add VerificClocking class and refactor Verific DFF handling	Clifford Wolf	2018-03-04	1	-3/+14
*	Fixes and improvements in Verific SVA importer	Clifford Wolf	2018-03-01	1	-1/+1
*	Continue refactoring of Verific SVA importer code	Clifford Wolf	2018-02-28	1	-6/+4
*	Move Verific SVA importer to extra C++ source file	Clifford Wolf	2018-02-18	1	-0/+79