iCE40/yosys - [no description]

	Commit message (Expand)	Author	Age	Files	Lines
*	xaiger: no longer use nonstandard even/odd to designate +ve/-ve polarity	Eddie Hung	2020-05-14	1	-16/+5
*	abc9: not enough to techmap_fail on (* init=1 *), hide them using $__	Eddie Hung	2020-05-14	1	-0/+1
*	Revert "Merge pull request #1917 from YosysHQ/eddie/abc9_delay_check"	Eddie Hung	2020-05-14	1	-4/+0
*	xaiger: always sort input/output bits by port id	Eddie Hung	2020-05-14	1	-12/+10
*	abc9: generate $abc9_holes design instead of <name>$holes	Eddie Hung	2020-05-14	1	-3/+9
*	aiger/xaiger: use odd for negedge clk, even for posedge	Eddie Hung	2020-05-14	1	-6/+10
*	xaiger: update help text	Eddie Hung	2020-05-14	1	-4/+4
*	xaiger: do not treat (* init=1'bx *) as 1'b0	Eddie Hung	2020-05-14	1	-1/+1
*	xaiger: when -dff use (* init *) for initial state	Eddie Hung	2020-05-14	1	-3/+15
*	abc9_ops: add 'dff' label for auto handling of (* abc9_flop *) boxes	Eddie Hung	2020-05-14	1	-8/+2
*	xaiger: output $_DFF_[NP]_ with mergeability if -dff option	Eddie Hung	2020-05-14	1	-42/+44
*	aiger: fixes for ports that have start_offset != 0	Eddie Hung	2020-05-02	2	-9/+8
*	xaiger: add check for $__ABC9_DELAY model	Eddie Hung	2020-04-13	1	-0/+4
*	kernel: big fat patch to use more ID::, otherwise ID()	Eddie Hung	2020-04-02	2	-36/+36
*	kernel: use more ID::*	Eddie Hung	2020-04-02	2	-17/+17
*	xaiger: remove some unnecessary operations ...	Eddie Hung	2020-03-06	1	-9/+2
*	abc9: (* keep *) wires to be PO only, not PI as well; fix scc handling	Eddie Hung	2020-03-06	1	-3/+4
*	Make TimingInfo::TimingInfo(SigBit) constructor explicit	Eddie Hung	2020-02-27	1	-1/+1
*	write_xaiger: add comment about arrival times of flop outputs	Eddie Hung	2020-02-27	1	-0/+1
*	Get rid of (* abc9_{arrival,required} *) entirely	Eddie Hung	2020-02-27	1	-29/+15
*	abc9_ops: ignore (* abc9_flop *) if not '-dff'	Eddie Hung	2020-02-27	1	-38/+44
*	xilinx: improve specify functionality	Eddie Hung	2020-02-27	1	-0/+3
*	Revert "abc9: fix abc9_arrival for flops"	Eddie Hung	2020-02-14	1	-5/+2
*	write_xaiger: default value for abc9_init	Eddie Hung	2020-02-13	1	-1/+1
*	abc9: fix abc9_arrival for flops	Eddie Hung	2020-02-13	1	-2/+5
*	Merge branch 'eddie/abc9_refactor' into eddie/abc9_required	Eddie Hung	2020-01-27	1	-3/+3
\|\
\| *	write_xaiger: fix for (* keep *) on flop output	Eddie Hung	2020-01-21	1	-3/+3
* \|	Merge remote-tracking branch 'origin/eddie/abc9_refactor' into eddie/abc9_req...	Eddie Hung	2020-01-15	1	-1/+2
\|\\|
\| *	write_xaiger: skip abc9_flop only if abc_box_seq present	Eddie Hung	2020-01-15	1	-1/+2
* \|	abc9_ops: cope with (* abc9_flop ) in place of ( abc9_box_id *)	Eddie Hung	2020-01-14	1	-1/+1
* \|	Merge remote-tracking branch 'origin/eddie/abc9_refactor' into eddie/abc9_req...	Eddie Hung	2020-01-14	1	-2/+6
\|\\|
\| *	write_xaiger: do not export flop inputs as POs	Eddie Hung	2020-01-14	1	-2/+6
* \|	abc9_ops: generate flop box ids, add abc9_required to FD* cells	Eddie Hung	2020-01-14	1	-1/+5
* \|	Merge remote-tracking branch 'origin/eddie/abc9_refactor' into eddie/abc9_req...	Eddie Hung	2020-01-14	1	-1/+1
\|\\|
\| *	abc9_ops: -reintegrate to not trim box padding anymore	Eddie Hung	2020-01-14	1	-1/+1
* \|	write_xaiger: skip if no arrival times	Eddie Hung	2020-01-14	1	-0/+3
* \|	Merge remote-tracking branch 'origin/eddie/abc9_refactor' into eddie/abc9_req...	Eddie Hung	2020-01-14	1	-69/+108
\|\\|
\| *	abc9_ops/write_xaiger: update doc	Eddie Hung	2020-01-14	1	-1/+2
\| *	abc9_ops: -prep_holes -> -prep_xaiger, move padding to write_xaiger	Eddie Hung	2020-01-14	1	-3/+6
\| *	write_xaiger: fix case of PI and CI and (* keep *)	Eddie Hung	2020-01-13	1	-0/+5
\| *	abc9: break SCC by setting (* keep *) on output wires	Eddie Hung	2020-01-13	1	-8/+15
\| *	abc9: respect (* keep *) on cells	Eddie Hung	2020-01-13	1	-61/+69
\| *	write_xaiger: add support and test for (* keep *) on wires	Eddie Hung	2020-01-13	1	-7/+17
\| *	write_xaiger: cache arrival times	Eddie Hung	2020-01-13	1	-11/+17
* \|	Merge remote-tracking branch 'origin/eddie/abc9_refactor' into eddie/abc9_req...	Eddie Hung	2020-01-12	1	-19/+28
\|\\|
\| *	cleanup	Eddie Hung	2020-01-11	1	-1/+1
\| *	Merge remote-tracking branch 'origin/master' into eddie/abc9_refactor	Eddie Hung	2020-01-11	1	-18/+27
\| \|\
\| \| *	write_xaiger: sort holes by offset as well as port_id	Eddie Hung	2020-01-11	1	-1/+2
\| \| *	write_xaiger: cleanup holes generation	Eddie Hung	2020-01-08	1	-80/+89
\| \| *	write_xaiger: holes PIs only if whitebox	Eddie Hung	2020-01-08	1	-13/+18