iCE40/yosys - [no description]

	Commit message (Expand)	Author	Age	Files	Lines
*	verific: Fix conditions of SVAs with explicit clocks within procedures	Jannis Harder	2022-05-03	1	-0/+1
*	Import verific netlist in consistent order	Miodrag Milanovic	2022-03-25	1	-1/+1
*	Add support for $aldff flip-flops to verific importer	Claire Xenia Wolf	2021-10-08	1	-0/+1
*	Fixing old e-mail addresses and deadnames	Claire Xenia Wolf	2021-06-08	1	-1/+1
*	verific: recover wiretype/enum attr as part of import_attributes()	Eddie Hung	2020-04-27	1	-1/+1
*	Do not rename VHDL entities to "entity(impl)" when they are top modules	Clifford Wolf	2019-11-20	1	-1/+1
*	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