2605 commits

This branch

This branch

All branches

Author	SHA1	Message	Date
Clifford Wolf	c6b33f81eb	Some cleanups in freduce -inv mode (and switched from -noinv to -inv)	2014-01-02 18:11:01 +01:00
Clifford Wolf	6dec0e0b3e	Added autotest.sh -p option	2014-01-02 17:52:48 +01:00
Clifford Wolf	249ef8695a	Major rewrite of "freduce" command	2014-01-02 16:52:33 +01:00
Clifford Wolf	e501b8e5c7	Updated CHANGELOG	2014-01-01 18:55:21 +01:00
Clifford Wolf	e09ebf475c	Fixed use of limited length buffer in ABC blif parser	2013-12-31 21:58:35 +01:00
Clifford Wolf	ab3f6266ad	Use "abc -dff" in "make test"	2013-12-31 21:25:34 +01:00
Clifford Wolf	4892a3ce6d	Added abc -dff and -clk support	2013-12-31 21:25:09 +01:00
Clifford Wolf	b3b00f1bf4	Various small cleanups in stdcells.v techmap code	2013-12-31 15:41:40 +01:00
Clifford Wolf	15acf593e7	Added additional checks for A_SIGNED == B_SIGNED for cells with that constraint	2013-12-31 14:54:06 +01:00
Clifford Wolf	1cd975ef8d	Updated ABC to hg rev 57517e81666b	2013-12-31 14:39:02 +01:00
Clifford Wolf	be5dab87fd	Now using BLIF as ABC input format	2013-12-31 14:29:29 +01:00
Clifford Wolf	a582b9d184	Fixed commented out techmap call in tests/tools/autotest.sh	2013-12-31 13:51:25 +01:00
Clifford Wolf	c616802ac7	Always use BLIF as ABC output format	2013-12-31 13:41:16 +01:00
Clifford Wolf	364f277afb	Fixed a stupid access after delete bug	2013-12-29 20:18:22 +01:00
Clifford Wolf	bf607df6d5	Fixed undef extend for bitwise binary ops (bugs in simplemap and satgen)	2013-12-29 17:39:49 +01:00
Clifford Wolf	74d0de3b74	Updated manual/command-reference-manual.tex	2013-12-28 12:14:47 +01:00
Clifford Wolf	fe8ec32a1c	Added new cell types to manual	2013-12-28 12:10:32 +01:00
Clifford Wolf	c69c416d28	Added $bu0 cell (for easy correct $eq/$ne mapping)	2013-12-28 12:02:14 +01:00
Clifford Wolf	7f71787599	Added sat -prove-x and -set-def-inputs	2013-12-28 11:24:36 +01:00
Clifford Wolf	bd39263796	Improved $_MUX_ handling in opt_const	2013-12-28 10:30:31 +01:00
Clifford Wolf	d81e3ed3ae	More conservastive $eq/$ne/$eqx/$nex opt_const code	2013-12-28 10:29:22 +01:00
Clifford Wolf	122b3c067b	Fixed sat handling of $eqx and $nex with unequal port widths	2013-12-27 18:11:05 +01:00
Clifford Wolf	1dcbba1abf	Fixed parsing of non-arg macro calls followed by "("	2013-12-27 16:25:27 +01:00
Clifford Wolf	0f5ab7649e	Small cleanup in SatGen	2013-12-27 15:18:14 +01:00
Clifford Wolf	c9699fe76d	More $eq/$ne/$eqx/$nex fixes in opt_const	2013-12-27 15:18:14 +01:00
Clifford Wolf	72026a934e	Fixed parsing of macros with no arguments and expansion text starting with "("	2013-12-27 15:05:52 +01:00
Clifford Wolf	ebf9abfeb6	Fixed sat handling of $eqx and $nex cells	2013-12-27 14:32:42 +01:00
Clifford Wolf	7b02a44efb	Fixed/improved opt_const $eq/$ne/$eqx/$nex handling	2013-12-27 14:21:24 +01:00
Clifford Wolf	369bf81a70	Added support for non-const === and !== (for miter circuits)	2013-12-27 14:20:15 +01:00
Clifford Wolf	ecc30255ba	Added proper === and !== support in constant expressions	2013-12-27 13:50:08 +01:00
Clifford Wolf	11ffa78677	Added sat -set-def/-set-*-undef support	2013-12-27 13:27:21 +01:00
Clifford Wolf	fb31d10236	Renamed sat -set-undef to -set-any-undef	2013-12-27 13:02:46 +01:00
Clifford Wolf	334b0cc803	Fixed dfflibmap for unused output ports	2013-12-21 20:47:22 +01:00
Clifford Wolf	8856cec308	Now prefer smallest cells in dfflibmap	2013-12-21 08:42:37 +01:00
Clifford Wolf	1fb29050e5	Cleanup of dfflibmap cellmap exploration code	2013-12-20 14:21:18 +01:00
Clifford Wolf	eaf7d9675d	Further improved dfflibmap cellmap exploration	2013-12-20 12:34:34 +01:00
Clifford Wolf	404bcc2d1e	Fixed dfflibmap endless-loop bug	2013-12-20 12:13:51 +01:00
Clifford Wolf	2ee3ac4ba3	Added log_dump() API	2013-12-20 12:11:58 +01:00
Clifford Wolf	c904f5e197	Prefer non-inverted clocks in dfflibmap	2013-12-19 13:21:57 +01:00
Clifford Wolf	994c83db01	Added multiplier test case from eda playground	2013-12-18 13:43:53 +01:00
Clifford Wolf	fbd06a1afc	Added elsif preproc support	2013-12-18 13:41:36 +01:00
Clifford Wolf	921064c200	Added support for macro arguments	2013-12-18 13:21:02 +01:00
Clifford Wolf	09bd82db21	Fixes and other changes in README	2013-12-08 15:42:27 +01:00
Clifford Wolf	6069715c9e	Finished AppNote 011	2013-12-08 15:12:32 +01:00
Clifford Wolf	0bd08688b8	Progress on AppNote 011	2013-12-08 15:08:51 +01:00
Clifford Wolf	2b90ba1e96	Added sat -max_undef feature	2013-12-07 23:58:55 +01:00
Clifford Wolf	1d000f9372	Progress on AppNote 011	2013-12-07 18:03:49 +01:00
Clifford Wolf	8a815ac741	Added "sat" undef support and "sat -set-init" options	2013-12-07 17:28:51 +01:00
Clifford Wolf	ccf083e5b0	Fixed uninitialized const flags bug	2013-12-07 16:56:34 +01:00
Clifford Wolf	5de57e9970	Fixed compiler warining in passes/sat/eval.cc	2013-12-07 16:19:24 +01:00