42 commits

Author	SHA1	Message	Date
Clifford Wolf	3bbac5c141	Fix equiv_simple, old behavior now available with "equiv_simple -short"	2017-04-28 18:57:53 +02:00
Larry Doolittle	2021ddecb3	Squelch trailing whitespace	2017-04-12 15:11:09 +02:00
Clifford Wolf	fe29869ec5	Add $ff and $_FF_ support to equiv_simple	2017-01-30 10:50:38 +01:00
Clifford Wolf	ac7a175a3c	Improved equiv_purge log output	2016-11-29 13:30:35 +01:00
Clifford Wolf	0bc95f1e04	Added "yosys -D" feature	2016-04-21 23:28:37 +02:00
Clifford Wolf	8b3f8cd220	Added "equiv_struct -fwonly"	2016-01-08 10:59:16 +01:00
Clifford Wolf	f5008f4f8a	Bugfixes in equiv_struct	2016-01-08 09:57:28 +01:00
Clifford Wolf	c3fd03d722	Added "equiv_struct -maxiter <N>"	2016-01-06 13:54:54 +01:00
Clifford Wolf	1f8c47fb47	Added "equiv_add -try" mode	2016-01-06 13:54:00 +01:00
Clifford Wolf	0c202a2549	Use mfp<> in equiv_mark	2015-10-27 19:15:35 +01:00
Clifford Wolf	27714acd8a	Improvements in equiv_struct	2015-10-25 22:04:20 +01:00
Clifford Wolf	d014ba2d0e	Major refactoring of equiv_struct	2015-10-25 19:31:29 +01:00
Clifford Wolf	207736b4ee	Import more std:: stuff into Yosys namespace	2015-10-25 19:30:49 +01:00
Clifford Wolf	da923c198e	Added "equiv_add -cell"	2015-10-25 14:35:40 +01:00
Clifford Wolf	83bd27bf6e	equiv_struct now creates equiv_merged attributes	2015-10-25 02:15:20 +02:00
Clifford Wolf	453736d918	Improvements in equiv_struct	2015-10-24 23:04:17 +02:00
Clifford Wolf	7f110e7018	renamed SigSpec::to_single_sigbit() to SigSpec::as_bit(), added is_bit()	2015-10-24 22:56:40 +02:00
Clifford Wolf	6fe48cf41e	equiv_purge bugfix, using SigChunk in Yosys namespace	2015-10-24 19:09:45 +02:00
Clifford Wolf	4cec1c058d	Added equiv_mark command	2015-10-23 23:56:58 +02:00
Clifford Wolf	15a67392f1	Also merge $equiv cells in equiv_struct	2015-10-23 15:26:58 +02:00
Clifford Wolf	d19069b0fb	Improvements in equiv_struct	2015-10-23 15:11:57 +02:00
Clifford Wolf	84a07ffb8a	Added equiv_purge	2015-10-22 15:40:27 +02:00
Clifford Wolf	00e05b1310	Added equiv_struct command	2015-10-21 17:12:35 +02:00
Clifford Wolf	6416dfee93	Improved inout handling in equiv_make	2015-10-21 15:42:50 +02:00
Clifford Wolf	84bf862f7c	Spell check (by Larry Doolittle)	2015-08-14 10:56:05 +02:00
Clifford Wolf	6c84341f22	Fixed trailing whitespaces	2015-07-02 11:14:30 +02:00
Clifford Wolf	4e6ca7760f	Replaced ezDefaultSAT with ezSatPtr	2015-02-21 12:15:41 +01:00
Clifford Wolf	5170b86108	Added equiv_add	2015-02-08 11:59:38 +01:00
Clifford Wolf	893fe87a33	Improved performance in equiv_simple	2015-02-01 22:50:48 +01:00
Clifford Wolf	1d92915a55	Fixed equiv_make for partially undriven nets (e.g. after "clean -purge")	2015-01-31 21:07:42 +01:00
Clifford Wolf	bc86b4a7e9	Added "equiv_induct -undef"	2015-01-31 13:58:04 +01:00
Clifford Wolf	e9cfc4a453	Added "equiv_simple -undef"	2015-01-31 13:06:41 +01:00
Clifford Wolf	f80f5b721d	Added "equiv_make -blacklist <file> -encfile <file>"	2015-01-31 12:08:20 +01:00
Clifford Wolf	df64542288	Fixed bug in equiv_miter	2015-01-28 00:34:30 +01:00
Clifford Wolf	acfaeb8d34	Added equiv_remove	2015-01-25 14:20:22 +01:00
Clifford Wolf	66a6b86daa	Added equiv_miter	2015-01-25 14:00:49 +01:00
Clifford Wolf	75bbeb828a	Various equiv_* improvements	2015-01-24 00:32:24 +01:00
Clifford Wolf	43951099cf	Added dict/pool.sort()	2015-01-24 00:13:27 +01:00
Clifford Wolf	1cb4c925d0	Improvements in equiv_make, equiv_induct	2015-01-22 21:23:01 +01:00
Clifford Wolf	f6d94e8720	Added equiv_induct	2015-01-22 14:03:18 +01:00
Clifford Wolf	a6aa32e762	Various equiv_simple improvements	2015-01-22 13:42:04 +01:00
Clifford Wolf	0a225f8b27	Moved equiv stuff to passes/equiv/	2015-01-22 12:03:15 +01:00