1927 commits

Author	SHA1	Message	Date
Bogdan Vukobratovic	fe651922cb	Merge remote-tracking branch 'upstream/master'	2019-06-14 12:06:57 +02:00
Bogdan Vukobratovic	53695e6729	Prepare for situation when port of the signal cannot be found	2019-06-14 11:39:24 +02:00
Bogdan Vukobratovic	291b36afeb	Some cleanup, revert sat.cc	2019-06-14 11:35:45 +02:00
Bogdan Vukobratovic	8665f48879	Implement disconnection of constant register bits	2019-06-13 19:35:37 +02:00
Eddie Hung	2c40b66785	Rip out all non FPGA stuff from abc9	2019-06-12 16:53:12 -07:00
Eddie Hung	f81a189fb8	Fix spelling	2019-06-12 16:52:09 -07:00
Eddie Hung	90dc4d82de	Revert "For 'stat' do not count modules with abc_box_id" ... This reverts commit b89bb74452.	2019-06-12 16:51:37 -07:00
Eddie Hung	b3faf0246d	Be more precise when connecting during ABC9 re-integration	2019-06-12 16:04:33 -07:00
Eddie Hung	2e7e73f483	Remove hacky wideports_split from abc9	2019-06-12 15:52:49 -07:00
Eddie Hung	d9974b85e7	Fix compile errors when #if 1 for debug	2019-06-12 15:47:39 -07:00
Bogdan Vukobratovic	d69989b8d2	Rename satgen_algo.h -> algo.h, code cleanup and refactoring	2019-06-12 19:35:05 +02:00
Eddie Hung	8bb67fa67c	Do not call abc9 if no outputs	2019-06-12 10:18:44 -07:00
Eddie Hung	14e870d4c4	More write_xaiger cleanup	2019-06-12 10:00:57 -07:00
Eddie Hung	b21d29598a	Consistency	2019-06-12 09:40:51 -07:00
Eddie Hung	b2c72f74f0	Merge branch 'xc7mux' into xaig	2019-06-12 09:14:27 -07:00
Eddie Hung	afd620fd5f	Typo: wire delay is -W argument	2019-06-12 09:13:53 -07:00
Eddie Hung	2cbcd6224c	Revert "Merge remote-tracking branch 'origin/eddie/shregmap_improve' into xc7mux" ... This reverts commit a138381ac3, reversing changes made to b77c5da769.	2019-06-12 09:05:02 -07:00
Eddie Hung	882a83c383	Revert "Merge remote-tracking branch 'origin/eddie/muxpack' into xc7mux" ... This reverts commit eaee250a6e, reversing changes made to 935df3569b.	2019-06-12 09:04:31 -07:00
Eddie Hung	86efe9a616	Revert "Merge remote-tracking branch 'origin/eddie/muxpack' into xc7mux" ... This reverts commit 2223ca91b0, reversing changes made to eaee250a6e.	2019-06-12 09:01:15 -07:00
Eddie Hung	1e838a8913	Retry "Add "-W' wire delay arg to abc9, use from synth_xilinx"	2019-06-12 08:49:15 -07:00
Eddie Hung	4c9fde87d1	Revert "Add "-W' wire delay arg to abc9, use from synth_xilinx" ... This reverts commit 2dffa4685b.	2019-06-12 08:48:45 -07:00
Eddie Hung	2dffa4685b	Add "-W' wire delay arg to abc9, use from synth_xilinx	2019-06-11 17:10:47 -07:00
Eddie Hung	6cdea93724	Revert "Try way that doesn't involve creating a new wire" ... This reverts commit 2f427acc9e.	2019-06-11 16:05:42 -07:00
Eddie Hung	d26646051c	Revert "Merge remote-tracking branch 'origin/eddie/shregmap_improve' into xc7mux" ... This reverts commit 5174082208, reversing changes made to 54379f9872.	2019-06-11 16:05:27 -07:00
Eddie Hung	5174082208	Merge remote-tracking branch 'origin/eddie/shregmap_improve' into xc7mux	2019-06-11 15:48:41 -07:00
Eddie Hung	2f427acc9e	Try way that doesn't involve creating a new wire	2019-06-11 15:48:20 -07:00
Bogdan Vukobratovic	9892df17ef	Generate satgen instance instead of calling sat pass	2019-06-11 11:47:13 +02:00
Eddie Hung	a138381ac3	Merge remote-tracking branch 'origin/eddie/shregmap_improve' into xc7mux	2019-06-10 16:21:43 -07:00
Eddie Hung	f19aa8d989	If d_bit already in sigbit_chain_next, create extra wire	2019-06-10 16:16:40 -07:00
Eddie Hung	a1d4ae78a0	Revert "Rename shregmap -tech xilinx -> xilinx_dynamic" ... This reverts commit 94a5f4e609.	2019-06-10 14:34:43 -07:00
Eddie Hung	7d27e1e431	Revert "shregmap -tech xilinx_dynamic to work -params and -enpol" ... This reverts commit 45d1bdf83a.	2019-06-10 14:34:16 -07:00
Eddie Hung	3579d68193	Revert "Refactor to ShregmapTechXilinx7Static" ... This reverts commit e1e37db860.	2019-06-10 14:34:15 -07:00
Eddie Hung	b6a39351f4	Revert "Add -tech xilinx_static" ... This reverts commit dfe9d95579.	2019-06-10 14:34:14 -07:00
Eddie Hung	e1dbeb3004	Revert "Continue support for ShregmapTechXilinx7Static" ... This reverts commit 72eda94a66.	2019-06-10 14:34:14 -07:00
Eddie Hung	9d8563178e	Revert "shregmap -tech xilinx_static to handle INIT" ... This reverts commit 935df3569b.	2019-06-10 14:34:12 -07:00
Eddie Hung	5b999ae68d	Elaborate muxpack doc	2019-06-10 10:32:19 -07:00
Eddie Hung	1dd7e23a20	Merge remote-tracking branch 'origin/master' into eddie/muxpack	2019-06-10 10:28:40 -07:00
Eddie Hung	5a46a0b385	Fine tune aigerparse	2019-06-07 16:57:32 -07:00
Eddie Hung	f705f6a0b5	Comment O(N) -> O(N^2)	2019-06-07 15:39:12 -07:00
Eddie Hung	ba52d9b471	Extend ExclusiveDatabase to query SigSpec-s (for $pmux)	2019-06-07 15:34:16 -07:00
Eddie Hung	9b408838f1	Add ExclusiveDatabase to check exclusive $eq/$logic_not cell results	2019-06-07 14:18:17 -07:00
Eddie Hung	887df8914c	Resolve @cliffordwolf comment on redundant check	2019-06-07 11:37:52 -07:00
Eddie Hung	5ab59cd59e	Resolve @cliffordwolf comment on sigmap	2019-06-07 11:36:19 -07:00
Eddie Hung	30abdaf3b2	Allow muxcover costs to be changed	2019-06-07 08:34:11 -07:00
Eddie Hung	fe4394fb9a	Allow muxcover costs to be changed	2019-06-07 08:30:39 -07:00
Eddie Hung	2223ca91b0	Merge remote-tracking branch 'origin/eddie/muxpack' into xc7mux	2019-06-06 14:22:10 -07:00
Eddie Hung	5c277c6325	Fix and test for balanced case	2019-06-06 14:21:34 -07:00
Eddie Hung	eaee250a6e	Merge remote-tracking branch 'origin/eddie/muxpack' into xc7mux	2019-06-06 14:06:59 -07:00
Eddie Hung	ccdf989025	Support cascading $pmux.A with $mux.A and $mux.B	2019-06-06 13:51:22 -07:00
Eddie Hung	dc7b8c4b94	More cleanup	2019-06-06 12:56:34 -07:00