17 commits

Author	SHA1	Message	Date
Claire Xenia Wolf	0516307637	Add "check -assert" to equiv_opt ... Signed-off-by: Claire Xenia Wolf <claire@clairexen.net>	2022-10-07 16:04:51 +02:00
whitequark	7191dd16f9	Use C++11 final/override keywords.	2020-06-18 23:34:52 +00:00
Marcin Kościelnicki	a235250403	xilinx: Add xilinx_dffopt pass (#1557)	2019-12-18 13:43:43 +01:00
Eddie Hung	84f978bdc2	Add -async2sync to help text as per @daveshah1	2019-10-04 10:17:46 -07:00
Eddie Hung	a9efd2e81c	Restore part of doc	2019-10-03 10:51:53 -07:00
Eddie Hung	7a6dec1cef	Add new -async2sync option	2019-10-03 10:30:51 -07:00
Eddie Hung	8765ec3c27	Revert "equiv_opt to call async2sync when not -multiclock like SymbiYosys" ... This reverts commit a39505e329.	2019-10-03 10:07:15 -07:00
Eddie Hung	c6d15c9aad	Revert "Update doc for equiv_opt" ... This reverts commit a274b7cc86.	2019-10-03 10:07:03 -07:00
Eddie Hung	a274b7cc86	Update doc for equiv_opt	2019-09-30 10:59:56 -07:00
Eddie Hung	a39505e329	equiv_opt to call async2sync when not -multiclock like SymbiYosys	2019-09-27 12:59:10 -07:00
David Shah	c43e52d2d7	Add equiv_opt -multiclock ... Signed-off-by: David Shah <dave@ds0.me>	2019-09-11 13:55:59 +01:00
Eddie Hung	6d77236f38	substr() -> compare()	2019-08-07 12:20:08 -07:00
Eddie Hung	159e7cc298	Add -undef option to equiv_opt, passed to equiv_induct	2019-04-26 11:16:48 -07:00
Clifford Wolf	f3ad8d680a	Add "techmap -wb", use in formal flows ... Signed-off-by: Clifford Wolf <clifford@clifford.at>	2019-04-20 11:23:24 +02:00
Clifford Wolf	f53e19cc71	Fix equiv_opt indenting ... Signed-off-by: Clifford Wolf <clifford@clifford.at>	2018-12-16 15:57:28 +01:00
whitequark	7ff5a9db2d	equiv_opt: pass -D EQUIV when techmapping. ... This allows avoiding techmap crashes e.g. because of large memories in white-box cell models.	2018-12-07 17:20:34 +00:00
whitequark	c38ea9ae65	equiv_opt: new command, for verifying optimization passes.	2018-12-07 17:20:34 +00:00