3201 commits

Author	SHA1	Message	Date
clairexen	ae11156c90	Merge pull request #2015 from boqwxp/qbfsat-bisection ... qbfsat: Add an iterative bisection optimization method and make it the default.	2020-05-25 15:50:18 +02:00
Alberto Gonzalez	ac41f8a9c7	qbfsat: Remove cruft inadvertently left untouched in commit 86fc49a9d6.	2020-05-23 00:53:09 +00:00
Alberto Gonzalez	aea0fd5ed4	qbfsat: Add bisection mode and make it the default. ... Also adds `-nooptimize` and reorganizes `qbfsat.cc` a bit.	2020-05-23 00:53:09 +00:00
Eddie Hung	4f0f321169	abc9_ops: update comment	2020-05-21 21:39:13 -07:00
Miodrag Milanović	637650597b	Merge pull request #2059 from boqwxp/logger-vector-to-dict ... log: Use `dict` instead of `std::vector<std::pair>` for `log_expect_{error, warning, log}` to better express the intent that each element is unique.	2020-05-21 15:36:30 +02:00
Eddie Hung	2d573a0ff6	Merge pull request #1926 from YosysHQ/eddie/abc9_auto_dff ... abc9: support seq synthesis when module has (* abc9_flop *) and bypass non-combinatorial (* abc9_box *)	2020-05-18 08:06:50 -07:00
Alberto Gonzalez	8297afe925	log: Use dict instead of std::vector<std::pair> for log_expect_{error, warning, log} to better express the intent that each element is unique.	2020-05-15 00:55:32 +00:00
Eddie Hung	67fc0c3698	abc9: use (* abc9_keep *) instead of (* abc9_scc *); apply to $_DFF_?_ ... instead of moving them to $__ prefix	2020-05-14 16:44:35 -07:00
Eddie Hung	07eecff9cc	Merge pull request #2055 from YosysHQ/eddie/logger_multiple ... logger: fix for multiple calls with same pattern	2020-05-14 15:30:08 -07:00
Eddie Hung	7b3a4a1fff	opt_expr: Sx to Sz; spotted by @Xiretza	2020-05-14 12:14:23 -07:00
Eddie Hung	73b7ea713c	Merge pull request #1994 from YosysHQ/eddie/fix_bug1758 ... opt_expr: improve single-bit $and/$or/$xor/$xnor cells; gate cells too	2020-05-14 11:56:22 -07:00
Eddie Hung	425867d175	logger: clean up doc	2020-05-14 10:38:31 -07:00
Eddie Hung	02df0198b6	abc9_ops: -prep_hier to create unmap module that removes Q's (* init *)	2020-05-14 10:33:57 -07:00
Eddie Hung	13f9d65b6f	abc9: preserve $_DFF_?_.Q's (* init *); rely on clean to remove it	2020-05-14 10:33:57 -07:00
Eddie Hung	fa31e84112	Fix broken test when ignoring abc9_flop with init == 1'b1	2020-05-14 10:33:57 -07:00
Eddie Hung	97a0a04314	abc9_ops/xaiger: further reducing Module::derive() calls by ... ... replacing _all_ (* abc9_box *) instantiations with their derived types	2020-05-14 10:33:57 -07:00
Eddie Hung	e79127fceb	Cleanup; reduce Module::derive() calls	2020-05-14 10:33:57 -07:00
Eddie Hung	8d34aee3d5	abc9: update to =_$abc9_flops pattern which includes whiteboxes	2020-05-14 10:33:57 -07:00
Eddie Hung	f652a9c11c	abc9_ops: update docs	2020-05-14 10:33:57 -07:00
Eddie Hung	57c478c537	abc9: only do +/abc9_map if `DFF	2020-05-14 10:33:57 -07:00
Eddie Hung	2946bb60e9	abc9: rework submod -- since it won't move (* keep *) cells	2020-05-14 10:33:56 -07:00
Eddie Hung	b65610fb62	abc9_ops: move assert	2020-05-14 10:33:56 -07:00
Eddie Hung	ed7cb0b095	abc9: put 'aigmap' back	2020-05-14 10:33:56 -07:00
Eddie Hung	b3e2538a14	abc9_ops: fix bypass boxes using (* abc9_bypass *)	2020-05-14 10:33:56 -07:00
Eddie Hung	d5a8aaba8c	abc9_ops: tidy up, suppress error if no boxes/holes	2020-05-14 10:33:56 -07:00
Eddie Hung	e2044fd9c7	abc9_ops: -prep_delays to not insert delay box if input connection is const	2020-05-14 10:33:56 -07:00
Eddie Hung	8b5fb99245	abc9_ops: cleanup; -prep_dff -> -prep_dff_submod	2020-05-14 10:33:56 -07:00
Eddie Hung	7cd3f4a79b	abc9_ops: add -prep_bypass for auto bypass boxes; refactor ... Eliminate need for abc9_{,un}map.v in xilinx -prep_dff_{hier,unmap} -> -prep_hier	2020-05-14 10:33:56 -07:00
Eddie Hung	bb840cca9c	abc9_ops: -reintegrate to handle $_FF_; cleanup	2020-05-14 10:33:56 -07:00
Eddie Hung	c50601e35e	abc9: restore selected_modules()	2020-05-14 10:33:56 -07:00
Eddie Hung	48052ad813	abc9: add flop boxes to basic $_DFF_P_ and $_DFF_N_ too	2020-05-14 10:33:56 -07:00
Eddie Hung	4cec21b93e	abc9_ops: -prep_dff_map to error if async flop found	2020-05-14 10:33:56 -07:00
Eddie Hung	c41c180f68	abc9: remove redundant wbflip	2020-05-14 10:33:56 -07:00
Eddie Hung	ec4bbb1444	abc9: generate $abc9_holes design instead of <name>$holes	2020-05-14 10:33:56 -07:00
Eddie Hung	c52bb11fb6	abc9_ops: more robust	2020-05-14 10:33:56 -07:00
Eddie Hung	8d7b3c06b2	abc9: suppress warnings when no compatible + used flop boxes formed	2020-05-14 10:33:56 -07:00
Eddie Hung	fb447951be	abc9: cleanup	2020-05-14 10:33:56 -07:00
Eddie Hung	8bad885e78	abc9_ops: -prep_dff_map to check $_DFF_[NP]_.Q drives module output	2020-05-14 10:33:56 -07:00
Eddie Hung	489e83fc1e	abc9_ops: do away with '$abc9_cells' selection	2020-05-14 10:33:56 -07:00
Eddie Hung	043ad8e76c	abc9_ops: use new 'design -delete' and 'select -unset'	2020-05-14 10:33:56 -07:00
Eddie Hung	509de98468	submod: revert accidental change	2020-05-14 10:33:56 -07:00
Eddie Hung	e38b1280f9	abc9_ops: -prep_dff_map to warn if no specify cells	2020-05-14 10:33:56 -07:00
Eddie Hung	a1ae5845f8	abc9_ops: -prep_dff_map to cope with plain $_DFF_[NP]_ flops	2020-05-14 10:33:56 -07:00
Eddie Hung	6b3aa91a2a	abc9: cleanup	2020-05-14 10:33:56 -07:00
Eddie Hung	edacb8f437	abc9_ops: do not use (* abc9_init *)	2020-05-14 10:33:56 -07:00
Eddie Hung	95763c8d18	abc9_ops: add 'dff' label for auto handling of (* abc9_flop *) boxes	2020-05-14 10:33:56 -07:00
Eddie Hung	accfc70fc2	abc9: fix behaviour and help for -box option	2020-05-14 10:33:56 -07:00
Eddie Hung	65395168a0	logger: fix for multiple calls with same pattern	2020-05-14 10:32:07 -07:00
Eddie Hung	cd92a706ae	Fix whitespace	2020-05-14 09:51:17 -07:00
Eddie Hung	5be4b00a0d	opt_clean: improve warning message	2020-05-14 00:59:38 -07:00