190 commits

Author	SHA1	Message	Date
whitequark	118e4caa37	Remove YS_ATTRIBUTE(unused) where present just for log_assert()/log_debug().	2020-06-19 15:48:58 +00:00
whitequark	7191dd16f9	Use C++11 final/override keywords.	2020-06-18 23:34:52 +00:00
Eddie Hung	1ebf7155a7	aiger: cleanup	2020-05-25 08:43:33 -07:00
Eddie Hung	4017cc6380	aiger: -xaiger to return $_FF_ flops	2020-05-14 10:33:56 -07:00
Eddie Hung	6f4f795953	aiger/xaiger: use odd for negedge clk, even for posedge ... Since abc9 doesn't like negative mergeability values	2020-05-14 10:33:56 -07:00
Eddie Hung	483a190c1b	aiger: -xaiger to parse initial state back into (* init *) on Q wire	2020-05-14 10:33:56 -07:00
Eddie Hung	53fc3ed645	aiger: -xaiger to read $_DFF_[NP]_ back with new clocks created ... according to mergeability class, and init state as cell attr	2020-05-14 10:33:56 -07:00
Eddie Hung	a0afa1787e	aiger: fixes for ports that have start_offset != 0	2020-05-02 10:00:32 -07:00
Henner Zeller	c15040c218	aigerparse: only define __STDC_FORMAT_MACROS it not already before.	2020-04-07 12:50:31 -07:00
Eddie Hung	956ecd48f7	kernel: big fat patch to use more ID::*, otherwise ID(*)	2020-04-02 09:51:32 -07:00
Eddie Hung	fdafb74eb7	kernel: use more ID::*	2020-04-02 07:14:08 -07:00
Eddie Hung	43092f063f	Fix NDEBUG warnings	2020-03-19 08:48:39 -07:00
Eddie Hung	6d27d43727	Add and use SigSpec::reverse()	2020-01-28 10:37:16 -08:00
Eddie Hung	ce6a690d27	xilinx/ice40/ecp5: undo permuting LUT masks in lut_map ... Now done in read_aiger	2020-01-27 13:30:27 -08:00
Eddie Hung	c7fbe13db5	read_aiger: set abc9_box_seq attr	2020-01-24 13:11:43 -08:00
Eddie Hung	73526a6f10	read_aiger: also parse abc9_mergeability	2020-01-22 14:21:25 -08:00
Eddie Hung	cd093c00f8	read_aiger: discard LUT inputs with nodeID == 0; not < 2	2020-01-21 11:56:30 -08:00
Eddie Hung	7f728bc116	read_aiger: ignore constant inputs on LUTs	2020-01-21 11:16:50 -08:00
Eddie Hung	03ce2c72bb	Merge remote-tracking branch 'origin/master' into eddie/abc9_refactor	2020-01-15 16:42:16 -08:00
Eddie Hung	05c8858a90	read_aiger: $lut prefix in front	2020-01-15 14:31:32 -08:00
Eddie Hung	53a99ade9c	Merge remote-tracking branch 'origin/master' into eddie/abc9_refactor	2020-01-14 11:46:56 -08:00
Eddie Hung	f63f76c372	read_aiger: also rename "$0"	2020-01-14 09:01:53 -08:00
Eddie Hung	2c65e1abac	abc9: break SCC by setting (* keep *) on output wires	2020-01-13 21:45:27 -08:00
Eddie Hung	ee95fa959a	read_aiger: uniquify wires with $aiger<autoidx> prefix	2020-01-13 21:28:27 -08:00
Eddie Hung	766e16b525	read_aiger: make $and/$not/$lut the prefix not suffix	2020-01-13 17:34:37 -08:00
Eddie Hung	d979648b7a	read_aiger: more accurate debug message	2020-01-09 10:02:19 -08:00
Eddie Hung	943ea4bf9e	read_aiger: do not double-count outputs for flops	2020-01-09 08:55:36 -08:00
Eddie Hung	2ca8c10e7a	Merge remote-tracking branch 'origin/master' into eddie/abc9_refactor	2020-01-07 15:43:22 -08:00
Eddie Hung	2ac36031d4	read_aiger: consistency between ascii and binary; also name latches	2020-01-07 13:30:31 -08:00
Eddie Hung	8f5388ea5b	read_aiger fixes	2020-01-07 11:59:57 -08:00
Eddie Hung	b94cf0c126	read_aiger: connect identical signals together	2020-01-07 11:43:28 -08:00
Eddie Hung	baba33fbd3	read_aiger: cope with latches and POs with same name	2020-01-07 11:22:48 -08:00
Eddie Hung	738af17a26	read_aiger: default -clk_name to be empty	2020-01-07 11:21:45 -08:00
Eddie Hung	61a2a60595	read_aiger: do not process box connections, work standalone	2020-01-07 09:48:11 -08:00
Eddie Hung	b57f692a9e	read_aiger: consistency between ascii and binary	2020-01-07 09:32:34 -08:00
Eddie Hung	83616e7866	read_aiger: add -xaiger option	2020-01-06 12:43:29 -08:00
Eddie Hung	96db05aaef	parse_xaiger to not take box_lookup	2019-12-31 17:06:03 -08:00
Eddie Hung	e5ed8e8e21	parse_xaiger to reorder ports too	2019-12-31 16:50:22 -08:00
Eddie Hung	a6fdb9f5c1	aiger frontend to user shorter, $-prefixed, names	2019-12-17 15:50:01 -08:00
Eddie Hung	5f50e4f112	Cleanup xaiger, remove unnecessary complexity with inout	2019-12-17 15:45:26 -08:00
Eddie Hung	0875a07871	read_xaiger to cope with optional '\n' after 'c'	2019-12-17 15:45:26 -08:00
Eddie Hung	c0339bbbf1	Name inputs/outputs of aiger 'i%d' and 'o%d'	2019-12-13 16:21:09 -08:00
Eddie Hung	ab667d3d47	Call abc9 with "&write -n", and parse_xaiger() to cope	2019-12-06 16:35:57 -08:00
Eddie Hung	69d8c1386a	Do not connect undriven POs to 1'bx	2019-12-06 16:21:06 -08:00
Eddie Hung	a576747483	Consistent log message, ignore 's' extension	2019-11-20 15:40:46 -08:00
Eddie Hung	7959e9d6b2	Fix merge issues	2019-10-04 17:21:14 -07:00
Eddie Hung	7a45cd5856	Merge remote-tracking branch 'origin/eddie/abc_to_abc9' into xaig_dff	2019-10-04 16:58:55 -07:00
Eddie Hung	aae2b9fd9c	Rename abc_* names/attributes to more precisely be abc9_*	2019-10-04 11:04:10 -07:00
Eddie Hung	f9bb335294	Cleanup $currQ from aigerparse	2019-09-30 16:36:42 -07:00
Eddie Hung	8684b58bed	Merge remote-tracking branch 'origin/master' into xaig_dff	2019-09-30 12:29:35 -07:00