iCE40/ghdl - [no description]

	Commit message (Collapse)	Author	Age	Files	Lines
*	Add test for PSL declarations in inline PSL	tmeissner	2021-10-14	3	-1/+63
\|
*	testsuite/synth: add a test for the previous commit.	Tristan Gingold	2020-06-30	2	-0/+23
\|
*	synth: Add support for PSL cover directive (#930)	T. Meissner	2019-09-19	4	-1/+56
\| \| \| \| \| \|	* synth: Add support for PSL cover directive * testsuite/synth: Add tests for PSL cover directives
*	testsuite/synth: fix assert1 assertion.	Tristan Gingold	2019-08-15	1	-1/+1
\|
*	add synthesis support for logic operators on numeric types (#893)	Pepijn de Vos	2019-08-15	1	-3/+3
\| \| \| \| \| \| \| \|	* add logic operators on unsigned * handle signed too * handle unary not
*	synth: add test for previous commit.	Tristan Gingold	2019-08-14	2	-1/+28
\|
*	synth: also extract edge in PSL expressions.	Tristan Gingold	2019-08-13	2	-1/+28
\|
*	synth: extract edge for PSL clocks.	Tristan Gingold	2019-08-13	4	-2/+86
\|
*	Support for PSL assert and assume in synthesis (#892)	Pepijn de Vos	2019-08-13	1	-1/+2
\| \| \| \| \| \| \| \|	* initial support for PSL assert and assume * add support for true, false, and, or in psl synth * update testsuite with new psl things
*	synth: add a test for psl.	Tristan Gingold	2019-07-29	2	-0/+38