4603 Commits

Author	SHA1	Message	Date
Alan Mishchenko	c30a0af71c	Improvements to QBF solver; new quantification command &qvar.	2015-09-18 05:05:22 -07:00
Alan Mishchenko	97751e43b7	New constraint manager and memory reporting 'ps'.	2015-09-08 19:53:49 -07:00
Alan Mishchenko	f623b04da4	Cleaning up boolean operators; adding unique name support; minor changes.	2015-09-07 19:23:17 -07:00
Alan Mishchenko	2540f02e7e	More tuning in &nf.	2015-09-06 21:28:04 -07:00
Alan Mishchenko	50fe603b83	More tuning in &nf.	2015-09-06 20:48:25 -07:00
Alan Mishchenko	2bc14356f6	More tuning in &nf.	2015-09-06 17:04:11 -07:00
Alan Mishchenko	34fa6addc9	More tuning in &nf.	2015-09-06 16:37:02 -07:00
Alan Mishchenko	45a948ab21	More tuning in &nf.	2015-09-04 20:55:40 -07:00
Alan Mishchenko	b11344b454	Experiments with SAT-based collapsing.	2015-09-04 15:40:53 -07:00
Alan Mishchenko	a207f6c071	Experiments with SAT-based collapsing.	2015-09-04 11:52:27 -07:00
Alan Mishchenko	1ffd9aad76	Experiments with SAT-based collapsing.	2015-09-03 21:57:21 -07:00
Alan Mishchenko	5bcde4be2b	Experiments with SAT-based collapsing.	2015-09-03 21:56:29 -07:00
Alan Mishchenko	5ca86b65ad	Improvements to Cba data-structure.	2015-09-03 14:44:44 -07:00
Alan Mishchenko	6352d0b626	Improvements to Cba data-structure.	2015-09-03 14:33:53 -07:00
Alan Mishchenko	af828a499d	Removing unhelpful assertion in CEX minimization.	2015-09-01 12:02:44 -07:00
Alan Mishchenko	1a3c75bb04	Experimenting with area recovery.	2015-08-31 20:48:25 -07:00
Alan Mishchenko	02d128ed7c	Experimenting with area recovery.	2015-08-31 20:46:32 -07:00
Alan Mishchenko	bf75d7ab4d	Experimenting with area recovery.	2015-08-31 20:33:05 -07:00
Alan Mishchenko	ddf182da56	Experimenting with area recovery.	2015-08-31 16:50:50 -07:00
Alan Mishchenko	f4a8107c3b	Performance tuning of the Nf.	2015-08-31 16:19:08 -07:00
Alan Mishchenko	dddcab167c	Performance tuning of the Nf.	2015-08-31 15:51:23 -07:00
Alan Mishchenko	faeeaeb5e7	Updating Mio to use int instead of float.	2015-08-31 15:09:46 -07:00
Alan Mishchenko	bb7837ff86	Improvements to Cba data-structure.	2015-08-30 21:59:11 -07:00
Alan Mishchenko	4530ef6444	Alternative way to bit-blast a divisor.	2015-08-29 00:08:41 -07:00
Alan Mishchenko	4f74e00470	More tuning in &nf.	2015-08-28 19:17:48 -07:00
Alan Mishchenko	362a879d6b	Adding switch to control area-recovery and more tuning in &nf.	2015-08-28 18:42:11 -07:00
Alan Mishchenko	04be8af560	Important bug fixes in standard-cell library handling and mapper &nf.	2015-08-28 17:47:00 -07:00
Alan Mishchenko	cb439f2ecf	Bug fix in Vec_IntInsert() and a couple of new APIs.	2015-08-26 14:30:42 -07:00
Alan Mishchenko	41d18ca051	Changing 'refactor' to work with truth tables.	2015-08-25 11:02:34 -07:00
Alan Mishchenko	24f2a120f2	Changes to be able to compile ABC without CUDD.	2015-08-24 21:09:50 -07:00
Alan Mishchenko	eb699bbaf8	Changes to be able to compile ABC without CUDD.	2015-08-24 21:09:43 -07:00
Alan Mishchenko	9ef96ae8a6	Changes to be able to compile ABC without CUDD.	2015-08-24 20:55:07 -07:00
Alan Mishchenko	99e3e3bc7e	Changes to be able to compile ABC without CUDD.	2015-08-24 20:21:30 -07:00
Alan Mishchenko	77d64787e0	Changes to be able to compile ABC without CUDD.	2015-08-24 19:49:18 -07:00
Alan Mishchenko	1fffe8f6f3	New switch in 'read_lib' to replace gate/pin names by short strings.	2015-08-24 18:07:10 -07:00
Alan Mishchenko	5bf0f86450	New switch in 'read_lib' to replace gate/pin names by short strings.	2015-08-24 17:40:20 -07:00
Alan Mishchenko	73bfe00f82	Compiler warning.	2015-08-23 20:58:07 -07:00
Alan Mishchenko	27b8e541bb	Merging recent changes.	2015-08-23 20:52:33 -07:00
Alan Mishchenko	0e4561ab9f	Experiments with mapping plus small changes.	2015-08-23 20:38:55 -07:00
Alan Mishchenko	8ad2061669	New command 'isonpn'.	2015-08-11 14:07:04 -07:00
Alan Mishchenko	6ae4ddec00	New command 'isonpn'.	2015-08-11 08:04:25 -07:00
Alan Mishchenko	033203b7bd	Improvements to Cba data-structure.	2015-08-10 13:26:37 -07:00
Alan Mishchenko	46fbad869e	Commenting out an assertion.	2015-08-10 11:43:28 -07:00
Alan Mishchenko	a14e2c921f	Improvements to Cba data-structure.	2015-08-09 22:46:40 -07:00
Alan Mishchenko	8a30b675b5	Improvements to Cba data-structure.	2015-08-09 17:19:22 -07:00
Alan Mishchenko	6a4e94e74d	Improvements to Cba data-structure.	2015-08-09 13:18:22 -07:00
Alan Mishchenko	356217eff7	Improvements to Cba data-structure.	2015-08-08 18:47:42 -07:00
Alan Mishchenko	f039799b75	Fix for v_rams_20b and fix for 'write_rb' set/reset only input port allowed	2015-08-07 19:32:58 -07:00
Alan Mishchenko	3206a7fc10	Compiler warnings.	2015-08-04 21:10:48 -07:00
Alan Mishchenko	9de8a0b346	Improvements to Cba data-structure.	2015-08-04 21:02:23 -07:00
Alan Mishchenko	ea3133e3a4	Making ABC error out instead of crashing when non-standard range is given.	2015-08-03 16:24:10 -07:00
Alan Mishchenko	b29cda081a	Improvements to Cba data-structure.	2015-08-01 16:59:42 -07:00
Alan Mishchenko	f6a7f695c0	Improvements to Cba data-structure.	2015-07-31 20:47:09 -07:00
Alan Mishchenko	bab71101ec	Improvements to Cba data-structure.	2015-07-29 23:13:39 -07:00
Alan Mishchenko	7f7b7671b0	Improvements to Cba data-structure.	2015-07-28 17:17:32 -07:00
Alan Mishchenko	0806dd227c	Updates to the Cba data-structure.	2015-07-25 19:34:28 -07:00
Alan Mishchenko	e0630f83f5	Updates to Cba data-structure.	2015-07-24 12:26:24 -07:00
Alan Mishchenko	e9be6ecaf8	Updates to Cba data-structure.	2015-07-23 21:33:52 -07:00
Alan Mishchenko	9bd16029f1	Renaming Cba into Bac.	2015-07-21 17:59:07 -07:00
Alan Mishchenko	ae46690b06	Renaming Cba into Bac.	2015-07-21 17:58:23 -07:00
Alan Mishchenko	6f13e63182	Renaming Cba into Bac.	2015-07-21 17:57:19 -07:00
Alan Mishchenko	8b1d1dc86b	Renaming Cba into Bac.	2015-07-21 17:55:33 -07:00
Alan Mishchenko	e365a8e615	Renaming Cba into Bac.	2015-07-21 17:53:56 -07:00
Alan Mishchenko	91b62b3bb8	Renaming Cba into Bac.	2015-07-21 17:51:28 -07:00
Alan Mishchenko	477ecc172f	Renaming Cba into Bac.	2015-07-21 17:42:49 -07:00
Alan Mishchenko	ddda9320ac	Adding new GIA duplication API.	2015-07-21 11:52:15 -07:00
Alan Mishchenko	d332e670a2	Improving Wlc_Ntk_t data-structure by extending bit-ranges up to 4B enabling printout of AND2 in '%ps -d'.	2015-07-16 17:37:48 -07:00
Alan Mishchenko	0aab93566a	Do not add reset logic to un-initialized flops without fanout.	2015-07-16 15:36:22 -07:00
Alan Mishchenko	3a321133af	Clarifying 'cec' and 'dsec' usage message.	2015-07-16 15:20:27 -07:00
Alan Mishchenko	f54a139c8a	Verilog benchmark generation code.	2015-07-15 00:21:26 -07:00
Alan Mishchenko	e37bd1fb64	Improved bit-blasting of various operators in Wlc_Ntk_t; added SQRT operator (@).	2015-07-14 19:55:05 -07:00
Alan Mishchenko	92b85b16a2	Improved bit-blasting of adders and multipliers in Wlc_Ntk_t.	2015-07-13 17:46:01 -07:00
Alan Mishchenko	6fa0784abe	Print-out for char arrays.	2015-07-12 20:39:36 -07:00
Alan Mishchenko	2cb6908fc6	Print-out for char arrays.	2015-07-12 20:37:57 -07:00
Alan Mishchenko	772eaa6345	Assertion fail after 'print_supp -w'.	2015-07-11 21:26:34 -07:00
Alan Mishchenko	494ca7156c	Compiler warning.	2015-07-11 19:32:26 -07:00
Alan Mishchenko	0d09071f14	Adding new Python API 'is_func_iso2'.	2015-07-11 19:30:52 -07:00
Alan Mishchenko	b949436f4c	Adding new Python API 'is_func_iso'.	2015-07-11 16:49:06 -07:00
Alan Mishchenko	05ca4afb77	New TFI/TFO profiling code.	2015-07-10 21:20:50 -07:00
Alan Mishchenko	3aece535b9	New TFI/TFO profiling code.	2015-07-09 20:54:10 -07:00
Alan Mishchenko	10e0f3c58d	Small changes to enable collecting results using &ps -D file.	2015-07-09 11:50:24 -07:00
Alan Mishchenko	f4d72b2af2	Temp change in the AIG reader and minor tuning.	2015-07-09 09:35:58 -07:00
Alan Mishchenko	f6a3c28e88	Temp change in the AIG reader and minor tuning.	2015-07-08 21:22:27 -07:00
Alan Mishchenko	fd5b7e8b5d	Bug fix in programmable cell parser and minor tuning.	2015-07-08 16:59:22 -07:00
Alan Mishchenko	609be7a114	C++ compiler typecast problem.	2015-07-08 15:04:26 -07:00
Alan Mishchenko	4f2d2e0e96	C++ compiler typecast problem.	2015-07-08 08:42:15 -07:00
Alan Mishchenko	095cf5e8b6	C++ compiler typecast problem.	2015-07-08 07:53:30 -07:00
Alan Mishchenko	6bd77858c5	Bug fixing in %blast when blasting MUX coming from always-statement.	2015-07-07 22:34:21 -07:00
Alan Mishchenko	8efc9cb7a9	Bug fixing in %blast when blasting mod operator (handling zero divisor).	2015-07-07 15:38:54 -07:00
Alan Mishchenko	43ad54b938	Adding new Python API 'co_supp'.	2015-07-07 08:28:59 -07:00
Alan Mishchenko	95af979753	Adding new Python API 'co_supp'.	2015-07-06 22:47:47 -07:00
Alan Mishchenko	9894fc762e	Add fix to Liberty parser to skip extra semicolon.	2015-07-06 07:57:18 -07:00
Alan Mishchenko	cc0954e022	Bug fix in SMT-LIB parser.	2015-06-30 09:49:55 -07:00
Alan Mishchenko	8c1e81a7c8	Fixing assertion failure in Abc_NtkBddToSop.	2015-06-29 12:52:16 -07:00
Alan Mishchenko	819c0ccab2	Making sure the CI/CO are not ordered by 'fraig_restore'.	2015-06-29 12:01:42 -07:00
Alan Mishchenko	b4d0abb77d	Undo recent assert.	2015-06-27 21:38:32 -07:00
Alan Mishchenko	66ef4a9ac1	Potential performance bug in the mapper.	2015-06-27 19:57:49 -07:00
Alan Mishchenko	9eb3a3b349	Adding resource limits to 'fraig_restore'.	2015-06-27 19:39:02 -07:00
Alan Mishchenko	9b1de5b166	Compiler warnings.	2015-06-24 12:31:43 -07:00
Alan Mishchenko	9c0c460795	New command &genqbf to dump the QBF miter for ind inv computation.	2015-06-23 20:48:24 -07:00
Alan Mishchenko	a26d8621f0	Add warnings to %read about 3-arge ops and non-zero-based ranges.	2015-06-23 15:53:41 -07:00
Alan Mishchenko	d0d7763ef8	Supporting AND-gate cuts in 'if' and '&if'	2015-06-21 13:31:02 -07:00
Alan Mishchenko	ffcb4afbb5	Supporting 'distinct' keyword in SMT-LIB parser.	2015-06-20 13:50:46 -07:00
Alan Mishchenko	4b7dd69260	Adding new debugging feature to Wlc_Ntk_t.	2015-06-19 22:58:07 -07:00
Alan Mishchenko	6e4ef76311	Bug with in signed MUX.	2015-06-14 13:18:23 -07:00
Alan Mishchenko	17c32289e1	Bug with in signed MUX.	2015-06-12 23:02:11 -07:00
Alan Mishchenko	8452f5cff3	Sequential word-level simulator for Wlc_Ntk_t (bug fix).	2015-06-05 15:07:46 -07:00
Alan Mishchenko	0489deb631	Sequential word-level simulator for Wlc_Ntk_t.	2015-06-04 22:32:51 -07:00
Alan Mishchenko	f7939ee6b1	Merging two threads.	2015-05-25 18:23:51 -07:00
Alan Mishchenko	d0bbb46191	Changing the way extension 'b' is written.	2015-05-25 18:19:38 -07:00
Alan Mishchenko	9eb8184e74	Copying prog cell data.	2015-05-21 07:40:47 -07:00
Alan Mishchenko	14b7a520a1	Bug fix in 'dsd_tune' when processing cells with 0-input LUTs.	2015-05-15 22:36:11 -07:00
Alan Mishchenko	37b6b5f1f8	Making sure 0-input LUTs are supported by the DSD matching code.	2015-05-14 13:12:17 -07:00
Alan Mishchenko	a39ef30708	Procedure for extending care CEX to all objects.	2015-05-14 09:34:20 -07:00
Alan Mishchenko	3e1c831b2d	Bug fix in QBF solver.	2015-05-04 17:42:19 -07:00
Alan Mishchenko	a90700c753	Correcting assert in converting standard cell mapping from GIA into ABC.	2015-04-27 23:06:39 -07:00
Alan Mishchenko	b3e6cb30bb	Bug fix in %read_smt and prevent crash of &cec if there is no current AIG.	2015-04-27 13:56:17 -07:00
Alan Mishchenko	c0f0e145c4	Improving the criteria to select representative gates in 'map' with floating-point-delay libraries having more than one gate in some functionality classes.	2015-04-25 14:58:29 -07:00
Alan Mishchenko	3be417ae1c	Fix inconsistency between operators and symbols in Wlc_Ntk_t.	2015-04-25 11:56:00 -07:00
Alan Mishchenko	55e7dd16d3	Suggested fixes to compile with 'gcc -x c++'.	2015-04-24 21:33:45 -07:00
Alan Mishchenko	9e20b3016d	Adding switch 'map -f' to not use large gates for high-fanout nodes (disabled by default).	2015-04-24 14:51:34 -07:00
Alan Mishchenko	3708acbf46	Bug fix in 'print_supp' (induced bugs in 'bm' and 'bm2').	2015-04-24 14:44:08 -07:00
Alan Mishchenko	a78fb767ee	Adding platform-independent (alphabetic) way of sorting Genlib gates and selecting representatives based on area/delay.	2015-04-17 21:02:15 +09:00
Alan Mishchenko	bc6c0837a1	Adding support for dumping faults not detected by a given test-set in &fftest (switch -n).	2015-04-17 17:00:31 +09:00
Alan Mishchenko	b1aabead5d	Bug fix in &satfx.	2015-04-17 11:04:14 +09:00
Alan Mishchenko	cd4807ea04	Adding support for cardinality constraints in &fftest (switches -K and -k).	2015-04-16 20:58:23 +09:00
Alan Mishchenko	4b2205ce6e	Commenting out useless assertion in choice computation.	2015-04-15 17:38:08 +09:00
Alan Mishchenko	e85d29663a	Adding switch &fftest -e to dump delay-tests in a special format.	2015-04-15 08:13:38 +09:00
Alan Mishchenko	5c840d88f9	Adding switch &fftest -e to dump delay-tests in a special format.	2015-04-14 19:46:44 +09:00
Alan Mishchenko	3de5d18c5f	Adding APIs to retrieve NOR/OR gates from the library.	2015-04-14 18:53:28 +09:00
Alan Mishchenko	96c622b3bc	Making BDD computation more robust by using dynamic resource limit.	2015-04-11 09:22:03 +09:00
Alan Mishchenko	dff6e2ab31	Procedure to dump ZDD representing a set of cubes into a PLA file.	2015-04-10 21:30:53 +09:00
Alan Mishchenko	b6b9d284c4	Several additional fixed in the timing manager.	2015-04-07 00:33:20 +07:00
Alan Mishchenko	452ff2730c	Bug fix in 'mfs2': Apply sweep to avoid assertion failure when translating into a BDD.	2015-04-06 11:49:19 +07:00
Alan Mishchenko	b3e5ccd256	Getting default AND-node delay from Genlib library.	2015-04-06 10:56:14 +07:00
Alan Mishchenko	c0c7723f1d	Allow timing manager to be started when a default is set.	2015-04-06 10:31:59 +07:00
Alan Mishchenko	85b33df1e1	Improvements in reading timing information from BLIF.	2015-04-05 13:03:25 +07:00
Alan Mishchenko	6a0566d22b	Bug fix for big-endiang architectures (plus adding -lm in Makefile).	2015-04-04 16:36:11 +07:00
Alan Mishchenko	b79fd69fb5	Making sure the names are transfered when &get -n is used.	2015-04-04 16:15:36 +07:00
Alan Mishchenko	3a15f34307	Properly copying and saving the timing info in &get and &put.	2015-04-04 16:15:07 +07:00
Alan Mishchenko	7c3eab6eb4	Properly copying and saving the timing info in &get and &put.	2015-04-04 16:01:12 +07:00
Alan Mishchenko	e52d3a0c16	Bug fix in handling constants in the updated 'sop' command.	2015-04-03 16:37:04 +07:00
Alan Mishchenko	9b29e1a3c0	Cleanup and improvements in the user timing manager.	2015-04-03 14:25:58 +07:00
Alan Mishchenko	93cf8b79f4	Changing timing manager to have 0 default required times.	2015-04-03 02:52:14 +07:00
Alan Mishchenko	ad4e869ab7	Reason for assertion failure in &nf.	2015-04-03 01:55:02 +07:00
Alan Mishchenko	03cd22af6e	Typo in hash function.	2015-04-02 15:31:48 +07:00
Alan Mishchenko	57a6f016d2	Compiler warning.	2015-04-01 15:46:25 +07:00
Alan Mishchenko	9cee436686	Added backward flop order to &icheck (switch -b).	2015-04-01 15:36:23 +07:00
Alan Mishchenko	0c47d04c0b	Important corner-case bug in SOP computation (recently introduced).	2015-04-01 15:31:27 +07:00
Alan Mishchenko	8de4d919d2	Revising the timing manager.	2015-04-01 10:57:28 +07:00
Alan Mishchenko	6f598455bc	Updating command &satfx.	2015-03-31 16:27:07 +07:00
Alan Mishchenko	5ebe403a87	Print-out of sequential equivalences in &scorr.	2015-03-31 13:28:00 +07:00
Alan Mishchenko	d00cbdb52f	Changed in comparing user timing.	2015-03-31 11:34:24 +07:00
Alan Mishchenko	ac3817caa7	Small bug in user timing computation.	2015-03-27 10:15:51 +07:00
Alan Mishchenko	3370feea70	Bug fix in initializing user timing in 'map'.	2015-03-26 10:02:49 +07:00
Alan Mishchenko	54cdac7392	Bug with in not property copying box info in &save/&load.	2015-03-25 01:00:16 +07:00
Alan Mishchenko	53e4946c43	Trying to reduce delay degradation afer 'map' with user timing.	2015-03-24 19:24:52 +07:00
Alan Mishchenko	efdd26f86d	Scalable SOP manipulation package.	2015-03-23 18:40:38 +07:00
Alan Mishchenko	5f77e7ae8f	Bug fix in saving AIG attributes in &save and &load.	2015-03-22 11:01:26 +07:00
Alan Mishchenko	8095c2d1ad	Fix for not propagating user timing correctly after &nf.	2015-03-18 20:36:54 +07:00
Alan Mishchenko	fad6254c07	Compiler warnings.	2015-03-18 19:42:03 +07:00
Alan Mishchenko	c602cbe338	Scalable SOP manipulation package.	2015-03-18 19:39:22 +07:00
Alan Mishchenko	fb5d4a664d	Adding switch '-b' in 'read_pla'.	2015-03-18 10:18:46 +07:00
Alan Mishchenko	120a30c2e4	Bug fix in &cec (not generating a CEX).	2015-03-17 09:23:57 +07:00
Alan Mishchenko	7fe11c51cf	Several bug fixes and silencing requests.	2015-03-16 19:38:43 +07:00
Alan Mishchenko	1e757a8567	Adding flop-input-only switch -f in &fftest for '-S str'.	2015-03-16 10:37:34 +07:00
Alan Mishchenko	8453afcf8b	Enable arrival/required times in &nf.	2015-03-15 13:27:07 +07:00
Alan Mishchenko	05244daba9	Bug fix in 'move_names' related to feed-through nets.	2015-03-15 10:53:23 +07:00
Alan Mishchenko	3f2b1233ee	Adding silent mode to &cec -m.	2015-03-15 09:51:06 +07:00
Alan Mishchenko	1451e4551c	Adding flop-input-only switch -f in &fftest.	2015-03-14 16:32:21 +07:00
Alan Mishchenko	e89fe16b91	Adding silent mode to &splitprove.	2015-03-14 13:22:02 +07:00
Alan Mishchenko	dc92f89278	Adding silent mode to &splitprove.	2015-03-14 03:13:05 +07:00
Alan Mishchenko	3146ff4090	Fix incorrect transfer of box copy ID.	2015-03-13 11:42:15 +07:00
Alan Mishchenko	f261092139	Adding new command 'abcrc' to load "abc.rc" on demand.	2015-03-10 16:53:24 -07:00
Alan Mishchenko	bb22a20cb0	Support for representing programmable cell configuration data (bug fix).	2015-03-09 08:36:22 -07:00
Alan Mishchenko	f4d3bf859e	Compiler warnings.	2015-03-08 20:23:53 -07:00
Alan Mishchenko	2cfc4cc174	Compiler warnings.	2015-03-08 20:22:48 -07:00
Alan Mishchenko	193c46e3c6	Support for representing programmable cell configuration data.	2015-03-08 20:19:56 -07:00
Alan Mishchenko	56f783157a	Support for representing programmable cell configuration data.	2015-03-08 20:17:59 -07:00
Alan Mishchenko	9e4f8e9fdf	Experiments with SAT-based cube enumeration.	2015-03-06 11:01:18 -08:00
Alan Mishchenko	241b042fda	Experiments with SAT-based cube enumeration.	2015-03-05 23:03:59 -08:00
Alan Mishchenko	1961f1791d	Experiments with SAT-based cube enumeration.	2015-03-05 23:02:15 -08:00
Alan Mishchenko	6da21b8b88	Experiments with SAT-based cube enumeration.	2015-03-05 23:00:30 -08:00
Alan Mishchenko	ddc522a0c0	Bug fix in reader/writer of 'r' section.	2015-03-05 15:44:11 -08:00
Alan Mishchenko	6c93249373	Improvements to the CBA package.	2015-03-04 16:07:33 -08:00
Alan Mishchenko	360cc99f01	Bug fix WLC package (reusing name buffer, resulting in wrong print-outs).	2015-03-03 12:52:47 -08:00
Alan Mishchenko	e17234d90c	Improvements to the CBA package.	2015-03-03 12:48:55 -08:00
Alan Mishchenko	7441908ffb	Improvements to the CBA package.	2015-03-02 08:38:54 -08:00
Alan Mishchenko	2d90b916e6	Improvements to the CBA package.	2015-03-01 19:11:15 -08:00
Alan Mishchenko	f27979fc8f	Improvements to the SMTLIB parser.	2015-02-28 22:05:46 -08:00
Alan Mishchenko	2fcdd11316	Experiments with cube hashing.	2015-02-27 09:41:04 -08:00
Alan Mishchenko	118776f39d	Adding switch -x to command &fadds.	2015-02-26 11:37:42 -08:00
Alan Mishchenko	13e49cba36	Compiler warnings.	2015-02-21 22:34:37 -08:00
Alan Mishchenko	d33d66f46e	Adding fflush() to make sure stdout responses appear on time.	2015-02-20 12:16:17 -08:00
Alan Mishchenko	746707b383	Experiments with cube hashing.	2015-02-20 08:45:13 -08:00
Alan Mishchenko	360bce618c	Compiler warnings.	2015-02-19 15:24:55 -08:00
Alan Mishchenko	4c55754404	Committed by mistake.	2015-02-19 15:00:52 -08:00
Alan Mishchenko	0dcdbc2a6a	Performance bug fix in 'clp' (different way of removing redundant fanins).	2015-02-19 14:46:06 -08:00
Alan Mishchenko	e3f87e189c	Propagating changes after updating flag of 'sop'.	2015-02-19 12:57:05 -08:00
Alan Mishchenko	ba6095ce61	Modifications to read SMTLIB file from stdin.	2015-02-18 21:04:36 -08:00
Alan Mishchenko	4cd7895d6c	Modifications to read SMTLIB file from stdin.	2015-02-18 21:02:17 -08:00
Alan Mishchenko	d5cfb39a48	Modifications to read SMTLIB file from stdin.	2015-02-18 20:44:55 -08:00
Alan Mishchenko	6b0accd22a	Modifications to read SMTLIB file from stdin.	2015-02-18 20:42:48 -08:00
Alan Mishchenko	5ad773eda1	Changing semantics of switch -C in 'sop' to limit cubes at one node.	2015-02-18 18:41:26 -08:00
Alan Mishchenko	874d394089	Corner case bug in wire-cap estimation.	2015-02-18 09:18:01 -08:00
Alan Mishchenko	525137926d	Several improvements to CBA data-structure.	2015-02-17 18:06:48 -08:00
Alan Mishchenko	e7b467f96b	Several improvements to CBA data-structure.	2015-02-16 14:32:41 -08:00
Alan Mishchenko	7a4a63d0c4	Several improvements to CBA data-structure.	2015-02-16 13:15:12 -08:00
Alan Mishchenko	ff1fd41a47	Modifications to read SMTLIB file from stdin.	2015-02-15 21:57:42 -08:00
Alan Mishchenko	5e0d7dadc2	Assertion failure in 'write_hie' with blackboxes.	2015-02-15 18:47:56 -08:00
Alan Mishchenko	17c78313cc	Compiler warnings.	2015-02-15 15:40:11 -08:00
Alan Mishchenko	d6157c7516	Several improvements to CBA data-structure.	2015-02-15 15:37:00 -08:00
Alan Mishchenko	5158c71129	Added switch -n to 'sop'.	2015-02-14 15:08:07 -08:00
Alan Mishchenko	edf3622ceb	Several improvements to CBA data-structure.	2015-02-13 16:28:17 -08:00
Alan Mishchenko	ea2d82ab14	Modifications to read SMTLIB file from stdin.	2015-02-11 18:09:15 -08:00
Alan Mishchenko	e363727c62	Several improvements to CBA data-structure.	2015-02-11 16:55:18 -08:00
Alan Mishchenko	8cabdcb55d	Adding resource limit switch -C to 'sop'.	2015-02-11 12:33:54 -08:00
Alan Mishchenko	72dbdee202	Adding resource limit to 'sop'.	2015-02-10 17:31:54 -08:00
Alan Mishchenko	4b93ddda63	Adding resource limit to 'sop'.	2015-02-10 17:29:21 -08:00
Alan Mishchenko	6bda7ca8f4	Adding resource limit to 'fx'.	2015-02-10 10:55:38 -08:00
Alan Mishchenko	44b31021d6	Adding resource limit to 'fx'.	2015-02-10 08:03:01 -08:00
Alan Mishchenko	089a8bbfc9	Several improvements to CBA data-structure.	2015-02-09 23:27:40 -08:00
Alan Mishchenko	fd877c3f37	Several improvements to CBA data-structure.	2015-02-09 15:36:25 -08:00
Alan Mishchenko	0f9001c956	Adding switch '-p' to control pin-permutation in &nf.	2015-02-08 22:00:55 -08:00
Alan Mishchenko	db6afbea29	Diabling pin-permutation in &nf mapper.	2015-02-08 21:18:49 -08:00
Alan Mishchenko	68467cfff7	Fixed a typo in variable names.	2015-02-07 22:29:14 -08:00
Alan Mishchenko	55c5c1b58f	Added SMT parser for Wlc_Ntk_t.	2015-02-07 22:05:02 -08:00
Alan Mishchenko	d7099e7adc	Adding binary dump to CBA.	2015-02-05 19:34:24 -08:00
Alan Mishchenko	8410daf3e4	Improvements and tuning of CBA with buffering/sizing.	2015-02-04 16:29:55 -08:00
Alan Mishchenko	eb270018b9	Esperiments with MO PLA optimization.	2015-02-03 17:24:30 -08:00
Alan Mishchenko	d7d1978e42	Bug fix in &nf.	2015-02-02 21:23:12 -08:00
Alan Mishchenko	08b69297cc	Improvements and tuning of CBA.	2015-02-01 21:51:06 -08:00
Alan Mishchenko	ffaf8b39ae	Improvements and tuning of CBA.	2015-02-01 21:21:25 -08:00
Alan Mishchenko	d9ed88f6a0	Improvements and tuning of CBA.	2015-02-01 20:53:32 -08:00
Alan Mishchenko	7b1c25086b	Improvements and tuning of CBA.	2015-02-01 20:50:59 -08:00
Alan Mishchenko	a704e9c9ff	Improvements and tuning of CBA.	2015-02-01 15:15:34 -08:00
Alan Mishchenko	e32026cf1e	Compiler warnings.	2015-01-31 20:06:21 -08:00
Alan Mishchenko	6ec4680e1b	Compiler warnings.	2015-01-31 20:02:46 -08:00
Alan Mishchenko	2c8c0d8736	Compiler warnings.	2015-01-31 19:58:38 -08:00
Alan Mishchenko	77dbe2b656	Major rehash of the CBA code.	2015-01-31 19:52:32 -08:00
Alan Mishchenko	a523ab792c	Preprocessing for multi-output PLA tables.	2015-01-31 15:10:24 -08:00
Alan Mishchenko	e30dae5a61	Preprocessing for multi-output PLA tables.	2015-01-31 15:10:01 -08:00
Alan Mishchenko	13cd3a6a4c	Preprocessing for multi-output PLA tables.	2015-01-31 14:53:58 -08:00
Alan Mishchenko	e293489f71	Preprocessing for multi-output PLA tables.	2015-01-31 13:42:14 -08:00
Alan Mishchenko	6c3f191172	Preprocessing for multi-output PLA tables.	2015-01-31 11:23:22 -08:00
Alan Mishchenko	ff1fb1757b	Preprocessing for multi-output PLA tables.	2015-01-31 11:10:07 -08:00
Alan Mishchenko	c58dd06259	Fixing reported memory alignment issue.	2015-01-27 10:09:57 -08:00
Alan Mishchenko	0f22046bcb	New assertions and bug fix in DSD balancing.	2015-01-27 09:54:35 -08:00
Alan Mishchenko	8ff4b79fc2	Several ongoing changes.	2015-01-26 20:48:59 -08:00
Alan Mishchenko	40cbacaf40	Several ongoing changes.	2015-01-26 20:45:28 -08:00
Alan Mishchenko	65cd556b1d	Outputting initial state in Wlc_Ntk_t.	2015-01-26 09:14:51 -08:00
Alan Mishchenko	24dbdbae23	Experiment with prime computation.	2015-01-25 14:24:50 -08:00
Alan Mishchenko	416cc3b2ae	Outputting initial state in Wlc_Ntk_t.	2015-01-25 11:21:36 -08:00
Alan Mishchenko	3dd4e356fc	Fix in deriving the init values for Wlc_Ntk_t.	2015-01-22 15:16:45 -08:00
Alan Mishchenko	674622a3c0	Bug fix in &cone (not able to extract the last PO).	2015-01-22 13:13:30 -08:00
Alan Mishchenko	cf83242458	Support of init-state in AIGs derived from word-level designs in Wlc_Ntk_t.	2015-01-21 17:45:48 -08:00
Alan Mishchenko	ffc7b60d2d	Support of init-state in AIGs derived from word-level designs in Wlc_Ntk_t.	2015-01-21 17:43:46 -08:00
Alan Mishchenko	14425c111e	Organizing commands for barbuf-aware flow.	2015-01-20 21:20:31 -08:00
Alan Mishchenko	dc8926a928	Word-level extension of Cba_Ntk_t.	2015-01-18 20:38:52 -08:00
Alan Mishchenko	d688af2601	Several small bug fixes.	2015-01-17 20:48:42 -08:00
Alan Mishchenko	17610c039f	Organizing commands for barbuf-aware flow.	2015-01-17 20:27:23 -08:00
Alan Mishchenko	42cc56576b	Compiler warnings.	2015-01-16 16:16:32 -08:00
Alan Mishchenko	d6d0627d13	Organizing commands for barbuf-aware flow.	2015-01-16 16:14:16 -08:00
Alan Mishchenko	1a5a11cbc6	Various transformations of Cba_Ntk_t.	2015-01-15 20:08:15 -08:00
Alan Mishchenko	c7e3c8f375	Various transformations of Cba_Ntk_t.	2015-01-15 18:23:32 -08:00
Alan Mishchenko	e27edf5e1e	Various transformations of Cba_Ntk_t.	2015-01-15 18:21:02 -08:00
Alan Mishchenko	8ac8923a91	Various transformations of Cba_Ntk_t.	2015-01-13 21:54:59 -08:00
Alan Mishchenko	2b2f05bacd	Various transformations of Cba_Ntk_t.	2015-01-13 17:05:22 -08:00
Alan Mishchenko	ee72b500d5	Various transformations of Cba_Ntk_t.	2015-01-11 16:42:38 -08:00
Alan Mishchenko	26b8116ac6	Changing memory model of Cba_Ntk_t.	2015-01-10 17:19:54 -08:00
Alan Mishchenko	63ce84d824	Implementation of CE extraction for multiple MUXes driving D-inputs of FFs.	2015-01-08 16:30:32 -08:00
Alan Mishchenko	4af39856b2	Returning multiple counter-examples.	2015-01-03 22:59:34 -08:00
Alan Mishchenko	3b9e363ef2	Returning multiple counter-examples.	2015-01-03 22:53:58 -08:00
Alan Mishchenko	d01810f071	Computing polynomials for AIGs representing arithmetic functions.	2015-01-01 01:20:04 -08:00
Alan Mishchenko	58d28539a7	Gate sizing with barrier buffers.	2014-12-21 22:22:31 -08:00
Alan Mishchenko	fa32acde61	Exprimental features in tech-mapping.	2014-12-21 11:30:21 -08:00
Alan Mishchenko	6733abd72e	Exprimental features in tech-mapping.	2014-12-21 01:04:39 -08:00
Alan Mishchenko	55f0a2805c	Bug fix in reading box library.	2014-12-20 10:16:13 -08:00
Alan Mishchenko	259d53ca3e	Simplifying AIG with barrier buffers.	2014-12-19 22:02:28 -08:00
Alan Mishchenko	c1d7f29dbd	Bug fix in 'testcex' when flop count in the CEX is different from the network (say, after seq synthesis).	2014-12-19 18:36:10 -08:00
Alan Mishchenko	d5a952c462	Bug fix in 'testcex' when flop count in the CEX is different from the network (say, after seq synthesis).	2014-12-19 18:34:29 -08:00
Alan Mishchenko	dd912b5c61	Incorrect assertion added by recent changes.	2014-12-19 18:24:24 -08:00
Alan Mishchenko	c5162ba6d2	Induced bug with in DFS computation.	2014-12-16 21:48:16 -08:00
Alan Mishchenko	e658da711c	Commenting out assertions in the mapper, which do not work for barrier buffers.	2014-12-14 20:45:24 -08:00
Alan Mishchenko	4ca862f8d2	Compiler warnings.	2014-12-13 22:37:07 -08:00
Alan Mishchenko	88c57c931b	Several additional files for source control.	2014-12-13 22:31:48 -08:00
Alan Mishchenko	6b6e5861e5	Integrating barrier buffers.	2014-12-13 20:45:11 -08:00
Alan Mishchenko	6e59e4e542	Adding relax ratio to &synch2.	2014-12-13 20:10:24 -08:00
Alan Mishchenko	e946deec81	Integrating barrier buffers.	2014-12-13 20:03:29 -08:00
Alan Mishchenko	aadfea8b4d	Integrating barrier buffers.	2014-12-13 12:37:04 -08:00
Alan Mishchenko	b379b3ee20	Adding new mapping feature.	2014-12-11 20:45:41 -08:00
Alan Mishchenko	ac7633c5a4	Integrating barrier buffers.	2014-12-11 11:14:04 -08:00
Alan Mishchenko	4f940de518	Converting AIG with MUXes into a logic network.	2014-12-10 22:52:34 -08:00
Alan Mishchenko	b94b7852d7	Bug fix in &fftest when used for ECO.	2014-12-10 18:55:12 -08:00
Alan Mishchenko	a1fa224d61	New flavor of DSD-friendly 'eliminate'.	2014-12-09 23:30:46 -08:00
Alan Mishchenko	1398de7c46	Integrating barrier buffers.	2014-12-08 14:10:41 -08:00
Alan Mishchenko	3e2fad3574	Changes to the parser.	2014-12-04 18:23:20 -08:00
Alan Mishchenko	705006a648	Changes to the parser.	2014-12-03 20:35:39 -08:00
Alan Mishchenko	e970aa8521	Added and verified bit-blasting of power operator.	2014-11-30 16:18:13 -08:00
Alan Mishchenko	109fc76f43	Changes to history recording and other small things.	2014-11-30 12:20:43 -08:00
Alan Mishchenko	5d1a5f3590	Changes to history recording and other small things.	2014-11-30 12:19:32 -08:00
Alan Mishchenko	1d20dea11b	Induced bug fix in bitblasting of rotation operator.	2014-11-29 19:34:47 -08:00
Alan Mishchenko	2e9d3a3ebf	Compiler warnings.	2014-11-29 15:34:47 -08:00
Alan Mishchenko	87f0d187bf	Compiler warnings.	2014-11-29 14:43:21 -08:00
Alan Mishchenko	24f1ca0703	New parser and framework.	2014-11-29 14:36:26 -08:00
Alan Mishchenko	c30a0ca0b9	Improvements to handling boxes and flops.	2014-11-25 21:57:34 -08:00
Alan Mishchenko	ba4063acb2	Improvements to handling boxes and flops.	2014-11-25 21:07:27 -08:00
Alan Mishchenko	9e0c90d4c3	Adding integrity check for boxes and flops.	2014-11-25 19:37:01 -08:00
Alan Mishchenko	dd3e5a90de	Improvements to handling boxes and flops.	2014-11-25 17:26:59 -08:00
Alan Mishchenko	dca14d5678	Improvements to handling boxes and flops.	2014-11-25 14:28:49 -08:00
Alan Mishchenko	8d5fa2c290	Improvements to handling boxes and flops.	2014-11-24 20:02:51 -08:00
Alan Mishchenko	6ed334d41b	Improvements to handling boxes and flops.	2014-11-24 19:29:42 -08:00
Alan Mishchenko	8feac56509	Experiments with hierarchy representation.	2014-11-24 15:35:52 -08:00
Alan Mishchenko	3368b2dda9	Improvements to handling boxes and flops.	2014-11-24 15:15:45 -08:00
Alan Mishchenko	df83fb5e04	Fix in reading flop classes.	2014-11-21 12:01:26 -08:00
Alan Mishchenko	cf2f9364c5	Fix in reading flop classes.	2014-11-21 11:11:12 -08:00
Alan Mishchenko	c339e5b985	Fix in reading flop classes.	2014-11-21 10:14:48 -08:00
Alan Mishchenko	2fca2b2b16	Fix in reading flop classes.	2014-11-21 10:01:45 -08:00
Alan Mishchenko	9e6d74bc15	Experiments with hierarchy representation.	2014-11-20 22:09:57 -08:00
Alan Mishchenko	997a92fc54	Extending &fadds to support artificial chains. New command &setregnum.	2014-11-20 10:46:14 -08:00
Alan Mishchenko	716b9502c9	Extending &fadds to support artificial chains.	2014-11-19 20:49:15 -08:00
Alan Mishchenko	c06bdc151c	Added check if a given command exists.	2014-11-18 13:54:16 -08:00
Alan Mishchenko	d662e7ff68	Merging two branches.	2014-11-17 18:03:51 -08:00
Alan Mishchenko	7a8d56b9ad	AND/OR bug in the UIF computation.	2014-11-17 17:46:08 -08:00
Alan Mishchenko	e30df95aba	Printout in mfs2.	2014-11-17 13:36:26 -08:00
Alan Mishchenko	345d4e24f3	Bug fix in abstracting boxes.	2014-11-17 12:55:12 -08:00
Alan Mishchenko	a28dd33df0	Integrating mfs2 package to work with boxes.	2014-11-17 11:49:30 -08:00
Alan Mishchenko	5a10c8ad01	Integrating mfs2 package to work with boxes.	2014-11-16 23:27:21 -08:00
Alan Mishchenko	d9ffe9c3ad	Improvements to word-level network package.	2014-11-14 20:38:13 -08:00
Alan Mishchenko	98c5668d4b	Improvements to word-level network package.	2014-11-14 20:15:36 -08:00
Alan Mishchenko	cc37fb9573	Improvements to word-level network package.	2014-11-14 20:12:20 -08:00
Alan Mishchenko	3dd08c7172	Enabling AIGs with boxes for word-level and sequential designs.	2014-11-14 15:34:03 -08:00
Alan Mishchenko	a34183790f	Enabling AIGs with boxes for word-level and sequential designs.	2014-11-13 18:28:25 -08:00
Alan Mishchenko	968be1577b	Generation of barrier-buffers for hierarchical design.	2014-11-11 23:17:48 -08:00
Alan Mishchenko	96fa84ad77	Added switch -i to &filter to use FIs instead of FOs.	2014-11-11 15:11:44 -08:00
Alan Mishchenko	2a028aa147	Bug fix in blasting MUX with different ranges of inputs and the output.	2014-11-10 21:43:41 -08:00
Alan Mishchenko	ac030ee42c	Generation of barrier-buffers for hierarchical design.	2014-11-10 16:45:48 -08:00
Alan Mishchenko	5ebf135b6a	Adding cyclicity check for netlist with boxes.	2014-11-10 14:55:27 -08:00
Alan Mishchenko	873c35018a	Removing unauthorized printout in 'pdr'.	2014-11-09 23:54:57 -08:00
Alan Mishchenko	ac72d73dc6	Removing unauthorized printout in 'pdr'.	2014-11-09 23:13:37 -08:00
Alan Mishchenko	9a292bd93c	Detecting full-adder chains and putting them into white boxes.	2014-11-09 23:01:30 -08:00
Alan Mishchenko	372a348c90	Detecting full-adder chains and putting them into white boxes.	2014-11-09 22:49:17 -08:00
Alan Mishchenko	153e888794	Full adder detection code.	2014-11-08 09:34:44 -08:00
Alan Mishchenko	e4ff9cc9a5	Added minor API to clean path on a Windows computer.	2014-11-05 16:16:47 -08:00
Alan Mishchenko	ad7c8d6382	Experimental implementation of BMC-related procedures.	2014-11-05 09:29:00 -08:00
Alan Mishchenko	8c2e51824e	Experimental implementation of BMC-related procedures.	2014-11-04 20:35:36 -08:00
Alan Mishchenko	d75b8ce874	Compiler warnings.	2014-11-03 18:10:36 -08:00
Alan Mishchenko	93754146a4	Bug fix in CEX printing.	2014-11-03 16:45:09 -08:00
Alan Mishchenko	93ad6e7dd4	Making public some APIs.	2014-11-03 15:41:50 -08:00
Alan Mishchenko	505747d443	Improvements to &fftest (adding computation of fixed parameters).	2014-11-02 21:43:49 -08:00
Alan Mishchenko	b4cf2f7448	Added switches '-c' and '-n' to 'init'.	2014-11-02 17:35:47 -08:00
Alan Mishchenko	91885a6298	Commenting out useless macro which causes failure on VS 2012.	2014-10-30 10:19:54 -07:00
Alan Mishchenko	135bf3ecdf	Compiler warnings.	2014-10-28 23:53:17 -07:00
Alan Mishchenko	c556baa92e	Changes to enable building external code.	2014-10-28 21:13:59 -07:00
Alan Mishchenko	e2b8d95b6f	Bug fix in bmc3 -a -x.	2014-10-28 19:49:32 -07:00
Baruch Sterin	c2ccf238fd	pyabc: handle a few corner cases	2014-10-28 18:42:14 -07:00
Alan Mishchenko	4edc023479	Bug fix in bmc3 -a -x.	2014-10-28 18:28:21 -07:00
Alan Mishchenko	c0db4d2a12	Changes to enable building external code.	2014-10-27 17:56:48 -07:00
Alan Mishchenko	736c2245ea	Adding MAJ gate to GIA package.	2014-10-26 21:03:30 -07:00
Alan Mishchenko	836723cf73	Changing switch -v in 'qbf' and '&qbf' to be non-verbose by default.	2014-10-26 08:57:13 -07:00
Alan Mishchenko	b8556e7edf	New command &satenum to enumerate SAT assignments of a miter in a naive way.	2014-10-25 17:55:35 -07:00
Alan Mishchenko	f93ede121d	Adding switch &fftest -N <num> to detect fixed vars after each <num> iterations.	2014-10-25 17:07:38 -07:00
Alan Mishchenko	96c9792f33	Merged in sterin/abc (pull request #9) ... make it easy to add intialization functions to Abc_FrameInit()/Abc_FrameEnd()	2014-10-23 18:19:51 -07:00
Alan Mishchenko	49caf258d4	One bug fix and two small changes.	2014-10-22 20:18:13 -07:00
Alan Mishchenko	51be0f4c52	One bug fix and two small changes.	2014-10-22 20:17:09 -07:00
Baruch Sterin	392390d23e	make it easy to add intialization functions to Abc_FrameInit()/Abc_FrameEnd()	2014-10-22 15:50:06 -07:00
Alan Mishchenko	51bf121073	Bug fix in seq synthesis due to resent code restructuring.	2014-10-21 21:48:53 -07:00
Alan Mishchenko	d2e42ec081	Disabling MiniSAT 2.2 for now.	2014-10-21 20:40:50 -07:00
Alan Mishchenko	5c93850553	Compiler problems.	2014-10-21 20:24:13 -07:00
Alan Mishchenko	c49f35835b	Compiler problems.	2014-10-21 20:20:22 -07:00
Alan Mishchenko	5bd9edb52d	Compiler problems.	2014-10-21 20:18:14 -07:00
Alan Mishchenko	5ae8a37d9d	Compiler problems.	2014-10-21 20:13:25 -07:00
Alan Mishchenko	228dbcc51e	Adding code of MiniSAT 2.2.	2014-10-21 19:45:52 -07:00
Alan Mishchenko	a9317eac75	Preparing to work with C++ code.	2014-10-21 19:37:33 -07:00
Alan Mishchenko	7592aa8a3e	Adding commands backup/restore.	2014-10-21 10:51:41 -07:00
Alan Mishchenko	83bc1148a2	Adding switch &qbf -q to quantify functional variables.	2014-10-20 11:01:34 -07:00
Alan Mishchenko	bae5e26fb5	Adding switch &qbf -q to quantify functional variables.	2014-10-20 11:00:11 -07:00
Alan Mishchenko	8de80e673a	Improved QBF solver.	2014-10-18 21:05:34 -07:00
Alan Mishchenko	ab72e52792	Improved QBF solver.	2014-10-18 17:04:47 -07:00
Alan Mishchenko	23441c060a	Improved QBF solver.	2014-10-18 16:10:18 -07:00
Alan Mishchenko	3653bf53e9	Bug fix in truth table computation.	2014-10-15 14:26:44 -07:00
Alan Mishchenko	70cb236144	Compiler problem with includes.	2014-10-13 16:59:47 -07:00
Alan Mishchenko	5326a59945	MUX decomposition during mapping.	2014-10-13 16:39:39 -07:00
Alan Mishchenko	6f9051a99c	MUX decomposition during mapping.	2014-10-12 12:47:41 -07:00
Alan Mishchenko	2f1988e8f6	MUX decomposition during mapping.	2014-10-12 10:13:47 -07:00
Alan Mishchenko	3ac8aa9c12	Recommended changes for portability.	2014-10-12 09:10:27 -07:00
Alan Mishchenko	bc4164a466	Merged in grigora/abc/grigora/fixed-hang-issue-in-bm-command-1413034154897 (pull request #8) ... Fix for hang issue in "bm" command.	2014-10-11 18:07:56 -07:00
Alan Mishchenko	8b160138f1	MUX decomposition during mapping.	2014-10-11 17:19:41 -07:00
Alan Mishchenko	09a5950c8f	Deriving network in terms of programmable cells.	2014-10-11 15:53:32 -07:00
grigora	83a47278a9	Fixed "bm" command hang issue.	2014-10-11 13:30:02 +00:00
Alan Mishchenko	f0044175ee	Improvements to the parser.	2014-10-10 19:17:19 -07:00
Alan Mishchenko	f6c1fc072c	Naive (SAT-only) CEC option.	2014-10-10 16:14:48 -07:00
Alan Mishchenko	01e1b6345e	Bug fix in the bit-blaster.	2014-10-10 13:46:58 -07:00
Alan Mishchenko	5a4592ee69	Improvements to ISOP.	2014-10-10 13:15:31 -07:00
Alan Mishchenko	b8bd21c82d	Improvements to ISOP.	2014-10-10 12:59:30 -07:00
Alan Mishchenko	5cf92f32a5	Correction to the patch to compile with Visual Studio.	2014-10-10 09:41:07 -07:00
Alan Mishchenko	ccb5bb34d7	Suggested patch for type-punned warnings	2014-10-10 08:58:18 -07:00
Alan Mishchenko	ca9eca3b22	Small changes.	2014-10-08 13:26:23 -07:00
Alan Mishchenko	97b52a6a6d	Compiler warnings.	2014-10-08 10:56:31 -07:00
Alan Mishchenko	df0f8ad540	Compiler warnings.	2014-10-08 10:54:02 -07:00
Alan Mishchenko	141c1de0a2	Compiler warnings.	2014-10-08 10:52:32 -07:00
Alan Mishchenko	e4d5887671	Detection of threshold functions.	2014-10-08 10:41:20 -07:00
Alan Mishchenko	bd0373daf5	New ISOP computation.	2014-10-07 13:02:50 -07:00
Alan Mishchenko	6d79be6b01	Bug fix in move_names.	2014-10-05 11:13:08 -07:00
Alan Mishchenko	820cbc116f	Updates to &flow and &flow2.	2014-10-05 10:59:26 -07:00
Alan Mishchenko	734435f441	Deriving cell mapping with &if -kz.	2014-10-04 19:36:41 -07:00
Alan Mishchenko	24083998ab	Deriving cell mapping with &if -kz.	2014-10-04 19:18:34 -07:00
Alan Mishchenko	4c7165a4f7	New ISOP computation.	2014-10-04 17:56:08 -07:00
Alan Mishchenko	fa5f05e3a2	Deriving AIG after cell mapping.	2014-10-03 17:15:43 -07:00
Alan Mishchenko	3f31a8580f	Bug fix in Verilog writer.	2014-10-02 14:53:30 -07:00
Alan Mishchenko	889b329d01	Adding switch -R to 'if'.	2014-10-02 13:17:53 -07:00
Alan Mishchenko	6d94b6b1a2	Improvements to bit-blaster.	2014-10-01 22:54:08 -07:00
Alan Mishchenko	27b1e49dee	Improvements to bit-blaster.	2014-09-30 20:28:49 -07:00
Alan Mishchenko	ed1bf0000e	Improvements to bit-blaster.	2014-09-30 19:51:39 -07:00
Alan Mishchenko	69519f86cd	Adding options to &flow.	2014-09-29 18:08:57 -07:00
Alan Mishchenko	a6c81c65df	Adding options to &flow2.	2014-09-29 16:23:24 -07:00
Alan Mishchenko	69b4a92286	Adding options to &flow2.	2014-09-29 16:08:59 -07:00
Alan Mishchenko	4960af4e76	Adding options to &flow.	2014-09-29 14:54:55 -07:00
Alan Mishchenko	05ee370f85	Command to rename files in the same directory.	2014-09-28 20:48:53 -07:00
Alan Mishchenko	0c070a35e5	Adding out-of-bounds checks to AIGER readers.	2014-09-28 12:17:02 -07:00
Alan Mishchenko	98e377bdff	Adding features to CNF generation.	2014-09-28 12:10:13 -07:00
Alan Mishchenko	fbc9c00fd1	Renaming DSD commands (dsd_tune -> dsd_match; dsd_clean -> dsd_filter).	2014-09-28 11:32:26 -07:00
Alan Mishchenko	69bd355467	Support for sequential designs in word-level Verilog.	2014-09-26 16:11:36 -07:00
Alan Mishchenko	6aa1c94ea5	Enabling print-out, for each operator, of the percetage of AND nodes after bit-blasting.	2014-09-25 20:33:29 -07:00
Alan Mishchenko	a1b4773c77	Printing node type statistics.	2014-09-24 17:29:34 -04:00
Alan Mishchenko	7d21182067	Printing node type statistics.	2014-09-24 13:01:24 -04:00
Alan Mishchenko	4db5e3c02d	Printing node type statistics.	2014-09-24 12:46:35 -04:00
Alan Mishchenko	ffaad9ba10	Bug fix in handling MUXes in Verilog parser, induced by recent changes.	2014-09-24 09:05:40 -04:00
Alan Mishchenko	ad079f7207	Added switch -t to &flow2.	2014-09-24 00:33:16 -04:00
Alan Mishchenko	ea9c1c0bff	Added support of word-level MUXes represented as 'always'-statements.	2014-09-24 00:24:54 -04:00
Alan Mishchenko	a4d5a9b5bc	Added support of word-level MUXes represented as 'always'-statements.	2014-09-24 00:22:18 -04:00
Alan Mishchenko	d9b5aa49f7	Enables dumping stats into a file.	2014-09-23 20:32:37 -04:00
Alan Mishchenko	3f95853f3e	Extending &cec to take a single-output miter (usage of switch -d has changed!).	2014-09-23 16:22:21 -04:00
Alan Mishchenko	93e5631cff	Debugging the bit-blaster.	2014-09-23 16:04:35 -04:00
Alan Mishchenko	3f6c08dfc6	Debugging the bit-blaster.	2014-09-23 12:54:57 -04:00
Alan Mishchenko	15f5428989	Adding switch to enable SOP balancing in '&flow2'.	2014-09-21 21:40:34 -04:00
Alan Mishchenko	8f3dd475ee	Tuning the flow scripts.	2014-09-20 23:37:07 -07:00
Alan Mishchenko	dc9d327a58	Extending resource limit.	2014-09-20 23:11:32 -07:00
Alan Mishchenko	dc9a08bddc	Tuning the flow scripts.	2014-09-20 21:52:39 -07:00
Alan Mishchenko	5ce7aa572f	Synchronizing packages.	2014-09-20 17:01:47 -07:00
Alan Mishchenko	76666174b4	Synchronizing packages.	2014-09-20 16:41:11 -07:00
Alan Mishchenko	2d4342f8c4	Synchronizing packages.	2014-09-20 14:50:52 -07:00
Alan Mishchenko	00b8cda3d3	Synchronizing packages.	2014-09-20 14:10:05 -07:00
Alan Mishchenko	1fb65889a3	Updating command 'dsd_clean'.	2014-09-20 13:56:26 -07:00
Alan Mishchenko	29494c3a00	Tuning the flow scripts.	2014-09-20 13:15:57 -07:00
Alan Mishchenko	a02b020356	Updating DSD balance to handle XOR gate as having the same delay as AND gate.	2014-09-19 19:06:01 -07:00
Alan Mishchenko	f989aea224	Improvements to Boolean matching.	2014-09-19 15:08:46 -07:00
Alan Mishchenko	b05ee94311	Improvements to Boolean matching.	2014-09-19 14:06:51 -07:00
Alan Mishchenko	ee72791293	Improvements to Boolean matching.	2014-09-18 22:26:54 -07:00
Alan Mishchenko	69699da912	Improvements to Boolean matching.	2014-09-18 16:44:04 -07:00
Alan Mishchenko	596f387b03	Improvements to Boolean matching.	2014-09-18 15:13:12 -07:00
Alan Mishchenko	a0ed347992	Improving DSD manager.	2014-09-18 14:50:08 -07:00
Alan Mishchenko	043cfcd775	Concurrency for Boolean matching.	2014-09-18 11:46:14 -07:00
Alan Mishchenko	023e92c470	Improvements to Boolean matching.	2014-09-17 18:58:20 -07:00
Alan Mishchenko	69827a5a88	Improvements to word-level Verilog parser.	2014-09-17 15:20:04 -07:00
Alan Mishchenko	ffd77ffedd	Improvements to word-level Verilog parser.	2014-09-17 15:14:17 -07:00
Alan Mishchenko	43ee0cff25	Spurious assertion.	2014-09-17 09:54:08 -07:00
Alan Mishchenko	ec0b9b6b6e	Improvements to word-level Verilog parser.	2014-09-16 22:08:22 -07:00
Alan Mishchenko	6d0b555dab	Support for leakage power in Liberty parser and sizer.	2014-09-16 16:44:51 -07:00
Alan Mishchenko	288d64d033	New choice computation.	2014-09-16 14:59:28 -07:00
Alan Mishchenko	e033a62282	Code restructuring.	2014-09-16 12:13:25 -07:00
Alan Mishchenko	1d5cb52e4a	Improvements to Boolean matching.	2014-09-16 11:56:40 -07:00
Alan Mishchenko	61e58b2d56	Compiler error (duplicate typedef).	2014-09-15 08:54:07 -07:00
Alan Mishchenko	501c3f0b1e	Compiler warnings.	2014-09-12 13:53:04 -07:00
Alan Mishchenko	39c68e72e4	Replacing tabs with spaces.	2014-09-12 13:46:11 -07:00
Alan Mishchenko	dcb7d0d3fc	New word-level representation package.	2014-09-12 13:40:48 -07:00
Alan Mishchenko	ae7e286213	Resetting the random seed in 'sparsify'.	2014-09-11 18:50:15 -07:00
Alan Mishchenko	7171812ff1	Updating timing info during normalization.	2014-09-10 15:28:46 -07:00
Alan Mishchenko	c7daa8cafd	Updating timing info during normalization.	2014-09-10 15:28:03 -07:00
Alan Mishchenko	49f2ec22b9	Bug fix in transferring timing info.	2014-09-09 22:50:15 -07:00
Alan Mishchenko	a5e93ff075	Corner-case bug fix in balancing.	2014-09-08 09:33:11 -07:00
Alan Mishchenko	233e12610a	Added command 'move_names'.	2014-08-28 13:06:02 -07:00
Alan Mishchenko	79c1928cf9	Added command 'move_names'.	2014-08-28 13:04:47 -07:00
Alan Mishchenko	3c51dd47b5	Tuning LUT mapping flow.	2014-08-28 00:11:24 -07:00
Alan Mishchenko	70a236379b	Tuning LUT mapping flow.	2014-08-27 23:17:33 -07:00
Alan Mishchenko	17343bf144	Compiler warning.	2014-08-27 23:03:39 -07:00
Alan Mishchenko	ce74153c9f	Tuning LUT mapping flow.	2014-08-27 22:59:21 -07:00
Alan Mishchenko	6db6607114	Improvements BLIF parser.	2014-08-27 18:47:45 -07:00
Alan Mishchenko	9c154cfe61	Improvements to DSD balancing.	2014-08-27 12:23:31 -07:00
Alan Mishchenko	66d9a80b3d	Adding commands to save/load best network.	2014-08-26 21:28:26 -07:00
Alan Mishchenko	70a3474849	Improvements to the timing manager.	2014-08-25 20:47:11 -05:00
Alan Mishchenko	5c30eb10ef	Improving GIA interfaces for some procedures.	2014-08-25 17:33:53 -07:00
Alan Mishchenko	47dde4e478	Correcting incorrect handling of timing in several &-commands.	2014-08-25 16:55:39 -07:00
Alan Mishchenko	cbbf78e6f4	Improving print-out of 'dsd -p'.	2014-08-22 22:18:38 -07:00
Alan Mishchenko	c344f3e38c	Propagating timing support to the new synthesis/mapping commands.	2014-08-20 22:12:51 -07:00
Alan Mishchenko	6dbaa4d0f8	Extended command &cone to extract timing critical cones.	2014-08-19 23:30:17 -07:00
Alan Mishchenko	3ef00645b8	Added command 'sparsify' to derive ISF from CSF.	2014-08-18 22:42:48 -07:00
Alan Mishchenko	65f9b73505	Changing default CNF generation in &bmc.	2014-08-18 20:19:32 -07:00
Alan Mishchenko	7c8136c82d	Added DSD-based collapsing &dsd.	2014-08-16 18:38:34 -07:00
Alan Mishchenko	1537244935	Added DSD-based collapsing &dsd.	2014-08-16 18:36:41 -07:00
Alan Mishchenko	ec5bc5825d	Adding specialized matching to 'if'.	2014-08-16 18:34:20 -07:00
Alan Mishchenko	18ed4d3448	Added DSD-based collapsing &dsd.	2014-08-16 18:31:46 -07:00
Alan Mishchenko	97e620a4b7	Adding specialized matching to 'if'.	2014-08-16 18:28:41 -07:00
Alan Mishchenko	06100279cd	Added DSD-based collapsing &dsd.	2014-08-16 11:54:49 -07:00
Alan Mishchenko	c8bfe83e55	Suggested fix to allow .constr files to have empty lines.	2014-08-13 16:46:20 -07:00
Alan Mishchenko	f907347484	Enabling circuit solver in &fraig.	2014-08-12 18:54:43 -07:00
Alan Mishchenko	9055265394	Bug fix in &fraig -L <num>.	2014-08-12 16:23:52 -07:00
Alan Mishchenko	99a917caf3	Bug fix in &fraig -L <num>.	2014-08-12 16:20:03 -07:00
Alan Mishchenko	0722dde6f9	Increasing the size of pre-allocated memory in &syn2.	2014-08-11 18:34:14 -07:00
Alan Mishchenko	68ce0bc1c1	Adding delay optimization to synthesis script &syn2.	2014-08-08 12:45:28 -07:00
Alan Mishchenko	35b816dd57	Enabling cofactoring in the mapper.	2014-08-06 14:18:20 -07:00
Alan Mishchenko	ae64dc0796	Profiling code for SOP/DSD/LMS balancing.	2014-08-04 21:36:01 -07:00
Alan Mishchenko	a3a6002b3d	Compiler warnings.	2014-08-04 15:34:34 -07:00
Alan Mishchenko	1d9d6814ee	Enabling ISOP-based minimization in 'collapse' if EXDC is available.	2014-08-04 10:53:08 -07:00
Alan Mishchenko	82aec90c6c	Compiler warnings.	2014-08-02 17:06:08 -07:00
Alan Mishchenko	edba505d9d	Profiling code for SOP/DSD/LMS balancing.	2014-08-02 17:01:48 -07:00
Alan Mishchenko	62bc45d1fb	Changes to the hopelessly limited Verilog parser to skip one-bit bit-ranges, such as [7:7], which seems to help in some cases.	2014-08-02 17:00:24 -07:00
Alan Mishchenko	7fb1954268	Small changes.	2014-07-29 22:49:10 -07:00
Alan Mishchenko	6a69a9139c	Adding support for standard-cell mapping.	2014-07-28 11:31:31 -07:00
Alan Mishchenko	674dcf2a6e	Generating abstraction of standard cell library.	2014-07-26 16:49:32 -07:00
Alan Mishchenko	704b4bad6b	Generating abstraction of standard cell library.	2014-07-26 16:46:45 -07:00
Alan Mishchenko	7d81490fe6	Generating abstraction of standard cell library.	2014-07-25 20:02:56 -07:00
Alan Mishchenko	9bfe2ad73a	Fixing option 'if -G <num>' after changes.	2014-07-25 08:58:20 -07:00
Alan Mishchenko	2cdc5ab850	Bug fix in 'print_gates' due to the mix-up of the inverter.	2014-07-22 17:23:48 -07:00
Alan Mishchenko	eee04f448d	Undoing previous change to SOP balancing.	2014-07-22 17:11:50 -07:00
Alan Mishchenko	9fa827aacf	Small improvement to SOP balancing.	2014-07-22 10:13:40 -07:00
Alan Mishchenko	ba29267563	Small changes.	2014-07-21 22:43:08 -07:00
Alan Mishchenko	c0aa9b6a5d	Adding new command &sopb for resource-aware SOP balancing.	2014-07-21 13:49:25 -07:00
Alan Mishchenko	ea73401db5	Updates and changes to several packages.	2014-07-20 22:11:00 -07:00
Alan Mishchenko	ba3f2ac6c0	Small changes in several packages.	2014-07-18 14:05:00 -07:00
Alan Mishchenko	ef55bbc8e6	Small changes in several packages.	2014-07-17 15:38:12 -07:00
Alan Mishchenko	4a861d868c	Small changes in several packages.	2014-07-17 09:47:07 -07:00
Alan Mishchenko	c58b57e2b4	Improvements to profiling and printing statistics.	2014-07-09 20:22:51 -07:00
Alan Mishchenko	ea1e369fc2	Improvements to false path detection.	2014-07-09 11:59:52 -07:00
Alan Mishchenko	b389f2054b	Improvements to false path detection.	2014-07-08 23:51:20 -07:00
Alan Mishchenko	c6814a5c8b	Experiment with SOP balancing.	2014-07-02 11:19:27 -07:00
Alan Mishchenko	7ff2bce037	Compiler warning.	2014-07-01 23:01:12 -07:00
Alan Mishchenko	afcec52a49	Improvements to representation of choices.	2014-07-01 13:05:09 -07:00
Alan Mishchenko	6bc381baa3	Changes to align node IDs in Abc_Ntk_t representing a logic network with Abc_Ntk_t representing an AIG, by skipping object ID number 0 reserved for the constant node.	2014-06-30 15:28:53 -07:00
Alan Mishchenko	1586d96c3e	Changes to align node IDs in Abc_Ntk_t representing a logic network with Abc_Ntk_t representing an AIG, by skipping object ID number 0 reserved for the constant node.	2014-06-30 15:21:47 -07:00
Alan Mishchenko	9790867817	Fix to the problem of not dumping test-vectors in &fftest when the use-specified test set is complete or when a timeout occurred.	2014-06-30 10:57:33 -07:00
Alan Mishchenko	ce92ee2b4d	Changes and improvements to different packages.	2014-06-30 00:34:51 -07:00
Alan Mishchenko	55404ca1af	Changes and improvements to different packages.	2014-06-28 14:31:01 -07:00
Alan Mishchenko	933b749676	Changes and improvements to different packages.	2014-06-28 14:25:38 -07:00
Alan Mishchenko	a68ec38df1	Changes and improvements to different packages.	2014-06-26 09:51:53 -07:00
Alan Mishchenko	2edf2a970e	Improvements to power-aware mapping.	2014-06-23 18:05:51 -07:00
Alan Mishchenko	f79d8e4b04	Improvements to CNF generation.	2014-06-23 14:50:46 -07:00
Alan Mishchenko	e19d21a09b	Improvements to CNF generation.	2014-06-23 14:04:40 -07:00
Alan Mishchenko	938ffa5a7d	Improvements to CNF generation.	2014-06-23 14:01:51 -07:00
Alan Mishchenko	323913fd19	Improvements to CNF generation.	2014-06-23 13:58:46 -07:00
Alan Mishchenko	44d9c7e543	Improvements to CNF generation.	2014-06-23 13:11:59 -07:00
Alan Mishchenko	f93e524421	Added command &mux_profile.	2014-06-22 17:08:21 -07:00
Alan Mishchenko	13dd4eeb59	Experiments with balancing.	2014-06-22 00:50:07 -07:00
Alan Mishchenko	fc24e9d342	Added quick GIG parser.	2014-06-21 13:56:20 -07:00
Alan Mishchenko	e2411552eb	Experiments with cofactoring variables.	2014-06-20 20:10:14 -07:00
Alan Mishchenko	1e76ebdf3b	New tools for profiling verification miters.	2014-06-20 17:51:35 -07:00
Alan Mishchenko	e5c031c5ae	Added quick GIG parser.	2014-06-19 21:21:38 -07:00
Alan Mishchenko	f04d32732b	Added quick GIG parser.	2014-06-19 21:16:30 -07:00
Alan Mishchenko	f98f610bab	Added delay-oriented balancing to unmapping in &st.	2014-06-19 19:12:10 -07:00
Alan Mishchenko	0c6f196e2a	Experiments with MUX profiling.	2014-06-19 11:26:06 -07:00
Alan Mishchenko	9842a666e6	Experiments with CNF generation.	2014-06-18 17:28:20 -07:00
Alan Mishchenko	85e23c8459	Various changes to enable better CNF generation.	2014-06-17 21:00:51 -07:00
Alan Mishchenko	a03a726de2	Bug fix in writing latch init values in 'write_aiger'.	2014-06-17 14:21:28 -07:00
Alan Mishchenko	dd867b404a	Added transformation of CEX after 'fix_aig' and checking of transformed CEXes using 'testcex -a'.	2014-06-17 12:21:48 -07:00
Alan Mishchenko	df418d6cba	Bug fix in timeout of &splitprove.	2014-06-16 21:52:09 -07:00
Alan Mishchenko	e20364896e	Bug fix in CEC generation after rarity simulation and few small changes.	2014-06-16 16:46:39 -07:00
Alan Mishchenko	2340d279bd	Adding support of multi-output problems in &splitprove.	2014-06-15 22:58:25 -07:00
Alan Mishchenko	3d33848659	Updates and bug fixes.	2014-06-15 18:09:01 -07:00
Alan Mishchenko	e2637595f8	Updates and bug fixes.	2014-06-15 16:28:05 -07:00
Alan Mishchenko	cf993a9d90	Adding more features to the synthesis script &syn2.	2014-06-14 19:03:05 -07:00
Alan Mishchenko	0ac22c9e1d	Specializing some truth-table functions to 6 inputs.	2014-06-14 18:29:19 -07:00
Baruch Sterin	b801ec1997	pyabc package script: don't package mercurial repositories	2014-06-14 00:58:33 -07:00
Baruch Sterin	157d97060c	pyabc packaging script: also package shared objects	2014-06-14 00:21:28 -07:00
Alan Mishchenko	a0df379bfd	Various modifications.	2014-06-13 13:02:20 -07:00
Alan Mishchenko	fcdd9148b4	Various modifications.	2014-06-12 21:27:14 -07:00
Alan Mishchenko	865f6fd43f	Enabling switching activity.	2014-06-12 11:28:47 -07:00
Alan Mishchenko	082e5dc1b0	Integrating recent changes.	2014-06-12 11:08:54 -07:00
Alan Mishchenko	0d1a1c4624	Adding switch to &st to convert to larger gates.	2014-06-11 22:21:55 -07:00
Alan Mishchenko	a3ae0afed0	Various modifications.	2014-06-10 21:34:37 -07:00
Alan Mishchenko	577e3e9a7a	Various modifications.	2014-06-10 21:32:14 -07:00
Alan Mishchenko	93d89eaaeb	Various modifications.	2014-06-10 21:31:10 -07:00
Baruch Sterin	257cbfd25c	add an option to the pyabc packaging scripts	2014-06-10 02:05:57 -07:00
Baruch Sterin	e58713a6a1	minor changes to pyabc install script	2014-06-09 19:00:33 -07:00
Alan Mishchenko	6ce9ac9bbd	Skip 'scorr' when the network has no primary inputs.	2014-06-09 08:14:45 -07:00
Alan Mishchenko	9b54345120	Commented out some assertions in ... 'map'.	2014-06-07 14:09:22 -07:00
Alan Mishchenko	3c6def2915	Adding print-out to &splitprove to see impact of cof variable on AIG size.	2014-06-07 13:14:23 -07:00
Alan Mishchenko	2d38fc1608	Adding print-out to &splitprove to see impact of cof variable on AIG size.	2014-06-07 13:04:03 -07:00
Alan Mishchenko	8a341c200f	Adding a feature to collapse hierarhical AIGs.	2014-06-05 19:15:40 -07:00
Alan Mishchenko	78e09e9119	Correcting switching activity computation.	2014-06-05 17:00:04 -07:00
Alan Mishchenko	c5b620b9bf	Fixed printout of in the hierarchy log file.	2014-06-05 11:17:32 -07:00
Alan Mishchenko	3abc3fb4ff	Fixed printout of in the hierarchy log file.	2014-06-05 10:57:04 -07:00
Alan Mishchenko	54d3c1ab42	Fixed printout of in the hierarchy log file.	2014-06-05 10:46:43 -07:00
Alan Mishchenko	7c8e1b8de6	Fixed printout of in the hierarchy log file.	2014-06-05 10:45:59 -07:00
Alan Mishchenko	43ec3fd8f8	Fixed C-compiler errors on Windows.	2014-06-04 23:42:28 -07:00
Jiang Long	f18b0254c8	ci	2014-06-04 23:21:13 -07:00
Jiang Long	fcbd6f83ec	the latest version	2014-06-04 22:49:44 -07:00
Jiang Long	574af21208	merge unfold2	2014-06-04 21:59:03 -07:00
Alan Mishchenko	102782a5a1	Adding CEC command &splitprove.	2014-06-04 19:06:18 -07:00
Alan Mishchenko	c05aa7a8d2	Adding CEC command &splitprove.	2014-06-04 17:45:15 -07:00
Alan Mishchenko	4875dfcb9b	Adding CEC command &splitprove.	2014-06-04 17:31:00 -07:00
Alan Mishchenko	ed695b74ee	Adding CEC command &splitprove.	2014-06-04 17:10:22 -07:00
Alan Mishchenko	87143c1182	Adding CEC command &splitprove.	2014-06-04 16:50:39 -07:00
Alan Mishchenko	9c4bf6e11d	Adding CEC command &splitprove.	2014-06-04 15:08:58 -07:00
Alan Mishchenko	b844433a0d	Adding CEC command &splitprove.	2014-06-04 15:00:38 -07:00
Alan Mishchenko	f2818ddb83	Adding CEC command &splitprove.	2014-06-04 12:00:37 -07:00
Alan Mishchenko	97bd9d8f1b	Adding CEC command &splitprove.	2014-06-04 11:40:37 -07:00
Alan Mishchenko	d2c3971de0	Adding CEC command &splitprove.	2014-06-04 11:33:49 -07:00
Alan Mishchenko	d527f03a27	Adding CEC command &splitprove.	2014-06-04 11:13:40 -07:00
Alan Mishchenko	8075db7a0d	Adding CEC command &splitprove.	2014-06-04 10:48:12 -07:00
Alan Mishchenko	a8b2024efa	Adding CEC command &splitprove.	2014-06-04 10:45:24 -07:00
Alan Mishchenko	83d3cc8837	Adding CEC command &splitprove.	2014-06-04 10:38:27 -07:00
Alan Mishchenko	ab1e4ed7f1	Merging two branches.	2014-06-04 09:12:01 -07:00
Alan Mishchenko	5c0c8e1ae2	Fix PLA reader to correctly report error file numbers.	2014-06-02 17:27:21 -07:00
Alan Mishchenko	802377ed4e	Adding CEC command &splitprove.	2014-06-02 10:01:07 -07:00
Alan Mishchenko	67050333b2	Adding CEC command &splitprove.	2014-06-02 09:56:37 -07:00
Alan Mishchenko	e69854f540	Adding CEC command &splitprove.	2014-06-02 09:55:17 -07:00
Alan Mishchenko	9030f46188	Code to explore cofactors of CEC problems.	2014-06-02 02:22:18 -07:00
Alan Mishchenko	3d8eff2cdc	Corner-cases in &gprove and &mprove.	2014-06-01 23:49:52 -07:00
Alan Mishchenko	ebf10fdc33	Allow delay increase to be negative in 'mfs2'.	2014-05-31 12:03:35 -07:00
Alan Mishchenko	8b26084e3c	Compiler warnings.	2014-05-29 10:47:50 -07:00
Alan Mishchenko	ccaa96549f	Fixing the problem with 'phase -c'.	2014-05-29 10:39:55 -07:00
Alan Mishchenko	bfa48cef2a	Experiment with support minimization.	2014-05-27 01:12:00 +09:00
Alan Mishchenko	ed1a925c61	Adding symbolic fault representation in &fftest.	2014-05-23 00:13:03 +09:00
Alan Mishchenko	fee0da2310	Experiment with support minimization.	2014-05-22 16:41:11 +09:00
Alan Mishchenko	28f77372a7	Experiment with support minimization.	2014-05-22 16:26:31 +09:00
Alan Mishchenko	824ee5b4f3	Adding symbolic fault representation in &fftest.	2014-05-22 15:59:01 +09:00
Alan Mishchenko	292cbfcf90	Experiment with support minimization.	2014-05-21 22:40:19 +09:00
Alan Mishchenko	79c62d22fc	Simple version of ECO.	2014-05-21 22:32:08 +09:00
Alan Mishchenko	8160721240	Experiment with support minimization.	2014-05-21 22:11:44 +09:00
Alan Mishchenko	fe5b5ffe19	Experiment with new idea for ISO.	2014-05-21 20:03:39 +09:00
Alan Mishchenko	ab85108c62	Simple version of ECO.	2014-05-21 12:41:34 +09:00
Alan Mishchenko	368de31ae2	Simple version of ECO.	2014-05-21 12:40:20 +09:00
Alan Mishchenko	fb10d54bf5	Adding symbolic fault representation in &fftest.	2014-05-20 23:35:58 +09:00
Alan Mishchenko	0e5b950ec6	Adding comment to usage message in 'pdr' regarding invariant dumped when init-state is not all-0.	2014-05-20 22:50:21 +09:00
Alan Mishchenko	f30160f4be	Adding symbolic fault representation in &fftest.	2014-05-19 21:10:19 +09:00
Alan Mishchenko	911b801f20	Adding symbolic fault representation in &fftest.	2014-05-14 20:28:55 +09:00
Baruch Sterin	26c92f161a	add an option to write_cex to write the CEX in AIGER 1.9 format.	2014-05-12 15:20:17 -07:00
Alan Mishchenko	b902b6843c	Adding duplicator of the design manager.	2014-05-12 13:52:28 +08:00
Alan Mishchenko	954ab62ce6	Bug fix in handling barrier buffers.	2014-05-11 22:13:40 +07:00
Alan Mishchenko	aed898c878	Commented out assertions that do not hold due to rounding of floating point numbers.	2014-05-10 13:35:25 +07:00
Alan Mishchenko	0a79a38a4d	Adding duplicator of the design manager.	2014-05-10 02:42:16 +07:00
Alan Mishchenko	2f46b56ae6	Bug fix in the sweeper.	2014-05-10 02:41:54 +07:00
Alan Mishchenko	f39369a415	Adding switch -C <num> to 'amap' to control max number of cuts at a node.	2014-05-09 19:01:22 +07:00
Alan Mishchenko	140fd9ad9f	Bug fix in the sweeper.	2014-05-06 14:38:27 +08:00
Alan Mishchenko	421362f709	Bug fix in a recent code for mapping.	2014-05-04 23:55:19 +08:00
Alan Mishchenko	79a4038f21	Exploration of functions.	2014-04-30 23:47:50 -07:00
Alan Mishchenko	3ba93e3b0f	Exploration of functions.	2014-04-30 23:44:50 -07:00
Alan Mishchenko	416f300d9d	Exploration of functions.	2014-04-29 21:03:10 -07:00
Alan Mishchenko	73289034be	Added optimization for average rather than maximum delay.	2014-04-29 00:21:35 -07:00
Alan Mishchenko	5acb147f61	Exploration of functions.	2014-04-28 15:33:15 -07:00
Alan Mishchenko	fd1ed5b232	Added dumping original object names into a file.	2014-04-28 12:56:32 -07:00
Alan Mishchenko	6095b15174	Added dumping original object names into a file.	2014-04-26 23:47:54 -07:00
Alan Mishchenko	6e465e57fe	Exploration of functions.	2014-04-26 21:05:02 -07:00
Alan Mishchenko	37703eaaa8	Exploration of functions.	2014-04-26 19:28:12 -07:00
Alan Mishchenko	857688b95e	Exploration of functions.	2014-04-26 19:21:06 -07:00
Alan Mishchenko	8de7816daf	Exploration of MFFCs.	2014-04-26 13:14:38 -07:00
Alan Mishchenko	f0cc98cfcd	Experiments with permutations.	2014-04-24 20:05:47 -07:00
Alan Mishchenko	482c11a27e	Experiments with permutations.	2014-04-24 18:44:00 -07:00
Alan Mishchenko	1023908e30	Performance improvement to 'amap'.	2014-04-23 18:44:51 -07:00
Alan Mishchenko	3a4ef2d7a7	Experiments with permutations.	2014-04-23 11:58:35 -07:00
Alan Mishchenko	c6999c3ca4	Experiments with permutations.	2014-04-23 11:55:11 -07:00
Alan Mishchenko	d948ef80bd	Added command 'cubeenum'.	2014-04-23 11:31:38 -07:00
Alan Mishchenko	47142c084b	Experiments with permutations.	2014-04-23 10:38:05 -07:00
Alan Mishchenko	eb3ee4ca4a	Experiments with permutations.	2014-04-23 10:26:47 -07:00
Alan Mishchenko	4172fb02c6	Experiments with permutations.	2014-04-23 10:22:30 -07:00
Alan Mishchenko	6fdb52cabc	Experiments with permutations.	2014-04-23 10:15:21 -07:00
Alan Mishchenko	81077d8a7c	Experiments with permutations.	2014-04-23 09:57:40 -07:00
Alan Mishchenko	4f09348367	Experiments with permutations.	2014-04-23 09:52:35 -07:00
Alan Mishchenko	d80efa1b49	Bug fix in if -g when choices are used.	2014-04-22 18:31:46 -07:00
Alan Mishchenko	375b46a355	Experiments with permutations.	2014-04-21 21:47:34 -07:00
Alan Mishchenko	c4a715ed61	Experiments with permutations.	2014-04-20 23:56:48 -07:00
Alan Mishchenko	76f2adb54f	Adding color to sizing stats.	2014-04-19 22:44:18 -07:00
Alan Mishchenko	ed2f0ef34f	Adding color to sizing stats.	2014-04-19 22:37:17 -07:00
Alan Mishchenko	606fed3b84	Added optimization for average rather than maximum delay.	2014-04-19 19:57:32 -07:00
Alan Mishchenko	e868d057bb	Added structural hashing by default after if -g and &if -g.	2014-04-19 18:41:45 -07:00
Alan Mishchenko	eb960a91d5	Adding color to mapping stats.	2014-04-19 18:09:31 -07:00
Alan Mishchenko	472fb39f16	Adding color to mapping stats.	2014-04-19 17:53:40 -07:00
Alan Mishchenko	1bca32bae3	Improvements to DSD balancing.	2014-04-19 17:13:00 -07:00
Alan Mishchenko	d0c4c0cd7b	Improvements to DSD balancing.	2014-04-19 16:55:44 -07:00
Alan Mishchenko	17f989ccba	Fix SOP balancing.	2014-04-19 14:12:09 -07:00
Alan Mishchenko	f8a990dea9	Adding print-out of average level.	2014-04-19 11:20:38 -07:00
Alan Mishchenko	1efdd3726d	Preserving outputs names in the &-space.	2014-04-18 10:10:49 -07:00
Alan Mishchenko	6730e21e12	Improvements in technology mapping.	2014-04-17 13:09:08 -07:00
Alan Mishchenko	02cf869391	Changes in the LUT mapper data-structures.	2014-04-14 09:06:14 -05:00
Alan Mishchenko	5cd9145046	New feature to optimize delay during mapping.	2014-04-13 10:53:35 -05:00
Alan Mishchenko	e7d0c9dc23	New feature to optimize delay during mapping.	2014-04-11 13:07:56 -07:00
Alan Mishchenko	865526f880	New feature to optimize delay during mapping.	2014-04-11 12:20:36 -07:00
Alan Mishchenko	e855eaa080	Improvements to DSD in technology mapping.	2014-04-11 12:01:36 -07:00
Alan Mishchenko	80110cc328	New feature to optimize delay during mapping.	2014-04-11 11:01:54 -07:00
Alan Mishchenko	24f63cf92c	Correcting internal check.	2014-04-11 09:53:19 -07:00
Alan Mishchenko	b50894ab64	Removed obsolete code for sequential mapping.	2014-04-11 09:17:34 -07:00
Alan Mishchenko	b9274a07de	Improvements to DSD in technology mapping.	2014-04-11 08:57:03 -07:00
Alan Mishchenko	116c35a021	Improving K-map printout.	2014-04-10 23:43:20 -07:00
Alan Mishchenko	17c382c33a	Command to test console colors.	2014-04-10 18:07:54 -07:00
Alan Mishchenko	a2050baf6b	Command to test console colors.	2014-04-10 17:56:31 -07:00
Alan Mishchenko	37fd2b93a5	Command to test console colors.	2014-04-10 17:49:35 -07:00
Alan Mishchenko	0fef5d6031	Command to test console colors.	2014-04-10 17:47:41 -07:00
Alan Mishchenko	4bafc98aba	Pass file name correctly.	2014-04-10 15:44:26 -07:00
Alan Mishchenko	1c582413da	Adding new code to support barrier buffers.	2014-04-09 16:41:58 -07:00
Alan Mishchenko	91d80a63d8	Updating cost function to be the number of edges in ps -b.	2014-04-09 14:32:46 -07:00
Alan Mishchenko	46ab68ba17	Cleanup and bug fixing in hierarchy handling.	2014-04-09 12:51:08 -07:00
Alan Mishchenko	b94b810297	Renamed Abc_Lib_t into Abc_Des_t and removed some dead code.	2014-04-09 10:16:07 -07:00
Alan Mishchenko	5374797be1	Adding switch to control area/delay quality tradeoff in 'amap'.	2014-04-08 22:15:55 -07:00
Alan Mishchenko	80d2eef712	Adding switch to control area/delay quality tradeoff in 'amap'.	2014-04-08 19:22:41 -07:00
Alan Mishchenko	22ada3b2b7	Adding command to dump UNSAT core of BMC instance.	2014-04-07 14:20:25 -07:00
Alan Mishchenko	7753e097f9	Adding command to dump UNSAT core of BMC instance.	2014-04-07 14:13:06 -07:00
Alan Mishchenko	42927d5ebb	Adding command to dump UNSAT core of BMC instance.	2014-04-07 14:10:51 -07:00
Alan Mishchenko	af6705a8b1	Implementation of DSD balancing.	2014-04-06 21:22:10 -07:00
Alan Mishchenko	f1f1cf3eb1	Improvement in SOP balancing.	2014-04-06 15:54:02 -07:00
Alan Mishchenko	a26d61f47d	Improvement in SOP balancing.	2014-04-06 15:21:07 -07:00
Alan Mishchenko	d05f83b293	Improvement in SOP balancing.	2014-04-06 12:52:00 -07:00
Alan Mishchenko	2a399042ba	Improvement in SOP balancing.	2014-04-06 12:26:25 -07:00
Alan Mishchenko	faf3bf34af	Improvement in SOP balancing.	2014-04-06 12:07:04 -07:00
Alan Mishchenko	9c502b70f3	Preparing new implementation of SOP/DSD balancing in 'if' mapper.	2014-04-05 22:51:01 -07:00
Alan Mishchenko	5608d947ed	Preparing new implementation of SOP/DSD balancing in 'if' mapper.	2014-04-05 11:06:35 -07:00
Alan Mishchenko	424b86a556	Performance bug fix in SOP balancing.	2014-04-05 09:58:43 -07:00
Alan Mishchenko	6ab0d68d56	Tuning LUT mapping to work while saving the best network.	2014-04-04 16:38:46 -07:00
Alan Mishchenko	f6ae0e41f3	Better CEX minimization and renaming of write_counter into write_cex.	2014-04-04 13:14:16 -07:00
Alan Mishchenko	11bab8caf9	Improvements to technology mapping.	2014-04-03 15:12:29 -07:00
Alan Mishchenko	d82be1fd05	Improvements to technology mapping.	2014-04-03 14:40:43 -07:00
Alan Mishchenko	b0e04dc2c3	Improvements to technology mapping.	2014-04-03 14:37:18 -07:00
Alan Mishchenko	c1670d7444	Improvements to technology mapping.	2014-04-03 13:52:13 -07:00
Alan Mishchenko	71e11a3eec	Improvements to technology mapping.	2014-04-03 12:57:27 -07:00
Alan Mishchenko	7669c99605	Improvements to technology mapping.	2014-04-03 12:23:49 -07:00
Alan Mishchenko	3db3be2d61	Improvements to technology mapping.	2014-04-03 12:06:09 -07:00
Alan Mishchenko	b21589ea1a	Improvements to technology mapping.	2014-04-03 11:48:44 -07:00
Alan Mishchenko	481c29c8d8	Improvements to technology mapping.	2014-04-03 11:45:41 -07:00
Alan Mishchenko	ffea3a2c84	Improvements to technology mapping.	2014-04-03 00:39:48 -07:00
Alan Mishchenko	9291ab9f50	Improvements to technology mapping.	2014-04-02 20:20:07 -07:00
Alan Mishchenko	280a485336	Improvements to technology mapping.	2014-04-02 19:33:49 -07:00
Alan Mishchenko	b085ba4b51	Improvements to DSD manager.	2014-04-02 18:27:35 -07:00
Alan Mishchenko	883e21fe8a	Improvements to DSD manager.	2014-04-02 18:07:50 -07:00
Alan Mishchenko	329cdc3565	Compiler warnings.	2014-04-01 11:58:36 -07:00
Alan Mishchenko	7b8863466e	Adding switch to handle only single faults.	2014-04-01 11:53:08 -07:00
Alan Mishchenko	41e94c474a	Updating logic file print-out.	2014-03-31 23:26:21 -07:00
Alan Mishchenko	a965f2a0fd	Compiler warnings.	2014-03-31 22:20:57 -07:00
Alan Mishchenko	49c2661ae1	Compiler warnings.	2014-03-31 22:19:15 -07:00
Alan Mishchenko	1c56a92a6c	Undoing previous change, which was made by mistake.	2014-03-31 22:16:47 -07:00
Alan Mishchenko	679e38b012	Making per-output timeout in bmc3 -a and pdr -a work in CLOCKS_PER_SECs instead of miliseconds.	2014-03-31 22:03:22 -07:00
Alan Mishchenko	90867a64b4	Adding functionally observable fault testing.	2014-03-31 21:33:45 -07:00
Alan Mishchenko	fa1fafe4de	Adding functionally observable fault testing.	2014-03-31 21:33:02 -07:00
Alan Mishchenko	80b8b25af0	Bug fix in the DSD manager writing and reading.	2014-03-31 18:00:09 -07:00
Alan Mishchenko	f0b6795194	Improving cut computation.	2014-03-30 23:48:20 -07:00
Alan Mishchenko	473c584563	Mismatch in bmc3 printout.	2014-03-30 14:21:23 -07:00
Alan Mishchenko	37fd73cf9e	Adding new code to verify invariant derived by 'pdr'.	2014-03-30 14:10:12 -07:00
Alan Mishchenko	2f926f2faf	Improving cut computation.	2014-03-30 12:07:49 -07:00
Alan Mishchenko	7d500c8920	Updating &if for new cut function representation.	2014-03-29 22:14:15 -07:00
Alan Mishchenko	ba4ed5b16c	Experiments with technology mapping.	2014-03-29 20:58:15 -07:00
Alan Mishchenko	14f69d77fd	Adding per-output logging to bmc3.	2014-03-29 10:28:20 -07:00
Alan Mishchenko	c78e7ca718	Bug in the old code.	2014-03-28 17:58:32 -07:00
Alan Mishchenko	4745eac324	Improving network visualization in show/&show.	2014-03-28 15:32:29 -07:00
Alan Mishchenko	c0f688349d	Adding a feature to dump untestable multiple faults.	2014-03-28 13:47:00 -07:00
Alan Mishchenko	6cb3817a91	Ternary simulation for multi-output miters.	2014-03-28 11:05:12 -07:00
Alan Mishchenko	c6663b04c7	Experiments with stuck-at fault testing.	2014-03-24 22:48:37 -07:00
Alan Mishchenko	6f17c44e91	Integrating barrier buffers into the mapper.	2014-03-23 16:52:40 -07:00
Alan Mishchenko	f6eb5262a3	Experiments with mapping.	2014-03-23 11:05:26 -07:00
Alan Mishchenko	c26f7cf331	Experiments with mapping.	2014-03-23 11:00:26 -07:00
Alan Mishchenko	b13e65882d	Experiments with stuck-at fault testing.	2014-03-23 10:47:08 -07:00
Alan Mishchenko	1aa6751ac4	Experiments with mapping.	2014-03-22 23:22:27 -07:00
Alan Mishchenko	b28debd656	Experiments with mapping.	2014-03-22 21:53:31 -07:00
Alan Mishchenko	b60ea3b051	Experiments with mapping.	2014-03-22 21:31:49 -07:00
Alan Mishchenko	b46ac51a6f	Experiments with mapping.	2014-03-22 19:59:47 -07:00
Alan Mishchenko	b5df218dc4	Experiments with mapping.	2014-03-22 19:39:19 -07:00
Alan Mishchenko	ace340997b	Experiments with mapping.	2014-03-22 16:24:44 -07:00
Alan Mishchenko	c86a13f0b5	Experiments with recent ideas.	2014-03-20 20:18:25 -07:00
Alan Mishchenko	b581e16f32	Experiments with cut caching.	2014-03-20 11:21:33 -07:00
Alan Mishchenko	d44d9e2927	Experiments with recent ideas.	2014-03-19 23:49:27 -07:00
Alan Mishchenko	c1e54b8b76	Experiments with recent ideas.	2014-03-19 22:26:52 -07:00
Alan Mishchenko	86d3c72beb	Experiments with recent ideas.	2014-03-19 22:15:02 -07:00
Alan Mishchenko	37bbbcb2b4	Experiments with recent ideas.	2014-03-19 19:31:25 -07:00
Alan Mishchenko	e34d41b374	Experiments with recent ideas.	2014-03-19 17:57:34 -07:00
Alan Mishchenko	ffa881bce2	Experiments with recent ideas.	2014-03-19 15:54:50 -07:00
Alan Mishchenko	c1fa07db4d	Compiler warning.	2014-03-18 19:22:23 -07:00
Alan Mishchenko	83cd20d647	Experiments with recent ideas.	2014-03-18 19:12:32 -07:00
Alan Mishchenko	a1cdcb0b43	Updating code to support barrier buffers.	2014-03-18 17:50:53 -07:00
Alan Mishchenko	e5b9817a72	Adding special-case report to 'bmc3'.	2014-03-18 15:07:57 -07:00
Alan Mishchenko	faf9c2015a	Updating code to support barrier buffers.	2014-03-18 14:20:03 -07:00
Alan Mishchenko	f329105403	Adding barrier buffers.	2014-03-18 12:51:39 -07:00
Alan Mishchenko	79b585848b	Adding barrier buffers.	2014-03-18 10:30:49 -07:00
Alan Mishchenko	af0ff7e6fa	Adding progress report to 'bmc3'.	2014-03-17 22:48:05 -07:00
Alan Mishchenko	455ecb6acc	Adding barrier buffers.	2014-03-17 14:01:03 -07:00
Alan Mishchenko	2a219cf184	Synchronizing with the recent version.	2014-03-16 23:38:50 -07:00
Alan Mishchenko	12c8a54cff	Adding barrier buffers.	2014-03-16 22:12:17 -07:00
Alan Mishchenko	89eed1aaf9	Adding barrier buffers.	2014-03-16 21:56:28 -07:00
Alan Mishchenko	7a3e57a4cb	Synchronizing with the recent version.	2014-03-16 00:11:33 -07:00
Alan Mishchenko	8826ed6d4f	Experiments with simulation.	2014-03-14 22:08:33 -07:00
Alan Mishchenko	c7c3aa3f2d	Experiments with simulation.	2014-03-14 21:55:49 -07:00
Alan Mishchenko	3f7cfde14b	Experiments with simulation.	2014-03-14 21:53:45 -07:00
Alan Mishchenko	cb65ccd28b	Experiments with simulation.	2014-03-14 21:50:46 -07:00
Alan Mishchenko	eae0455267	Experiments with simulation.	2014-03-14 21:37:34 -07:00
Alan Mishchenko	550b769d39	Experiments with simulation.	2014-03-14 21:04:48 -07:00
Alan Mishchenko	2eec6c6c17	Experiments with simulation.	2014-03-14 20:59:03 -07:00
Alan Mishchenko	60c901ea76	Improvements to print-outs.	2014-03-12 01:10:43 -07:00
Alan Mishchenko	38e2c63e6e	Improvements to print-outs.	2014-03-11 20:00:55 -07:00
Alan Mishchenko	c97b685c94	Bug fix in multi-output BMC.	2014-03-11 09:53:38 -07:00
Alan Mishchenko	508565ff72	Adding a warning when the current network or AIG has no POs.	2014-03-10 17:22:33 -07:00
Alan Mishchenko	716b8cc6b8	Improvements to print-outs.	2014-03-10 15:48:46 -07:00
Alan Mishchenko	397a8c478f	Improvement to stats print-out in &ps.	2014-03-09 23:10:56 -07:00
Alan Mishchenko	1faab4e934	Bug fix in creating packing after mapping.	2014-03-09 22:56:35 -07:00
Alan Mishchenko	b5bde05aba	Passing file name for stats print-out in &ps.	2014-03-09 22:25:29 -07:00
Alan Mishchenko	f98b58e60f	Changes to LUT mappers.	2014-03-09 22:02:48 -07:00
Alan Mishchenko	ff997b1b65	Changes to LUT mappers.	2014-03-09 20:49:12 -07:00
Alan Mishchenko	c97a9c0d18	Changes to LUT mappers.	2014-03-09 20:21:09 -07:00
Alan Mishchenko	024715ed09	Changes to LUT mappers.	2014-03-09 19:49:03 -07:00
Alan Mishchenko	4ad49af5b3	Compiler warnings.	2014-03-09 12:15:15 -07:00
Alan Mishchenko	cc6c8b2f2a	Experiments with stuck-at fault testing.	2014-03-09 12:11:49 -07:00
Alan Mishchenko	e5d552138a	Changes to LUT mappers.	2014-03-08 23:53:15 -08:00
Alan Mishchenko	76e35126e7	Changes to LUT mappers.	2014-03-08 22:57:33 -08:00
Alan Mishchenko	12c68e7e8e	Changes to LUT mappers.	2014-03-08 19:56:36 -08:00
Alan Mishchenko	60deb08d2a	Changes to LUT mappers.	2014-03-08 18:49:29 -08:00
Alan Mishchenko	f6e2366dd7	Changes to LUT mappers.	2014-03-08 17:54:33 -08:00
Alan Mishchenko	31fb2e8506	Changes to LUT mappers.	2014-03-08 17:37:26 -08:00
Alan Mishchenko	4b0c12eb1e	Changes to LUT mappers.	2014-03-08 17:09:20 -08:00
Alan Mishchenko	c062cc18ef	Changes to LUT mappers.	2014-03-08 14:33:27 -08:00
Alan Mishchenko	a8a08035f5	Changes to LUT mappers.	2014-03-06 21:48:15 -08:00
Alan Mishchenko	839632140e	Changes to LUT mappers.	2014-03-06 21:21:02 -08:00
Alan Mishchenko	5b3d4b7de2	Experiments with delay fault testing.	2014-03-05 22:09:01 -08:00
Alan Mishchenko	b541201da0	Experiments with delay fault testing.	2014-03-04 22:56:52 -08:00
Alan Mishchenko	7568d18099	Changes to LUT mappers.	2014-03-04 19:44:00 -08:00
Alan Mishchenko	a2ff2cb9c3	Changes to LUT mappers.	2014-03-04 18:39:00 -08:00
Alan Mishchenko	5f9ca14a7f	Changes to LUT mappers.	2014-03-04 14:48:36 -08:00
Alan Mishchenko	14aae240de	Changes to LUT mappers.	2014-02-28 21:21:20 -08:00
Alan Mishchenko	3048be2cdf	Changes to LUT mappers.	2014-02-28 21:19:54 -08:00
Alan Mishchenko	8f4854890c	Changes to LUT mappers.	2014-02-28 21:14:22 -08:00
Alan Mishchenko	3d6eac52ab	Changes to LUT mappers.	2014-02-28 21:06:21 -08:00
Alan Mishchenko	de48fd7999	Changes to LUT mappers.	2014-02-28 10:35:36 -08:00
Alan Mishchenko	b556c2591e	Changes to LUT mappers.	2014-02-27 21:11:05 -08:00
Alan Mishchenko	caa2227b11	Changes to LUT mappers.	2014-02-25 22:41:34 -08:00
Alan Mishchenko	15a1c4b965	g++ compiler errors.	2014-02-25 08:03:12 -08:00
Alan Mishchenko	59bf6945e2	g++ compiler errors.	2014-02-25 07:58:23 -08:00
Alan Mishchenko	4216976321	g++ compiler errors.	2014-02-25 07:54:53 -08:00
Alan Mishchenko	9005c6bfe2	Changes to LUT mappers.	2014-02-25 07:50:11 -08:00
Alan Mishchenko	7e0f7eba79	Changes to LUT mappers.	2014-02-19 23:49:41 -08:00
Alan Mishchenko	6ad7dae1ae	Changes to LUT mappers.	2014-02-17 18:28:48 -08:00
Alan Mishchenko	eb66ce9c31	Changes to LUT mappers.	2014-02-17 12:19:42 -08:00
Alan Mishchenko	adb3044f39	Adding Python API n_area() to report area after standard cell mapping.	2014-02-17 12:19:13 -08:00
Alan Mishchenko	2140c1298c	Removing unused LMS code.	2014-02-16 19:49:10 -08:00
Alan Mishchenko	46532e6c2f	Significant improvement to LUT mappers (if, &if).	2014-02-16 19:30:38 -08:00
Alan Mishchenko	ea1baf6f70	Changing 'miter' to compute SEQUENTIAL miter by default.	2014-02-15 16:54:08 -08:00
Alan Mishchenko	d5253839b9	Fixing timeout in &icheck.	2014-02-15 16:52:32 -08:00
Alan Mishchenko	d3c42bb96a	Experiments with inductive don't-cares.	2014-02-15 11:23:10 -08:00
Alan Mishchenko	e1a80a3d01	Experiments with inductive don't-cares.	2014-02-15 10:09:55 -08:00
Alan Mishchenko	2bad26634c	Enabling default no output in &icheck.	2014-02-15 09:36:53 -08:00
Alan Mishchenko	bd45eca406	Handing trivially UNSAT outputs in 'pdr'.	2014-02-13 21:12:48 -08:00
Alan Mishchenko	246e3a8850	Bug fix in arrival/departure time representation.	2014-02-13 20:38:48 -08:00
Alan Mishchenko	b284016313	Handling latches in combinational sizing.	2014-02-13 09:22:25 -08:00
Alan Mishchenko	61ce18e1ef	Adding APIs to specified input/output arrival/required times.	2014-02-12 22:09:44 -08:00
Alan Mishchenko	48e04c8f22	Extendig the size of command line when running ABC in batch mode.	2014-02-12 21:34:09 -08:00
Alan Mishchenko	ee72a4caf6	Experiments with inductive don't-cares.	2014-02-12 12:05:23 -08:00
Alan Mishchenko	646b2169f0	Experiments with inductive don't-cares.	2014-02-11 20:46:48 -08:00
Alan Mishchenko	56110efaad	Experiments with inductive don't-cares.	2014-02-11 20:30:53 -08:00
Alan Mishchenko	818aa231ce	Experiments with inductive don't-cares.	2014-02-11 19:30:57 -08:00
Alan Mishchenko	0ff5925248	Experiments with inductive don't-cares.	2014-02-11 11:58:25 -08:00
Alan Mishchenko	367b02aecd	Experiments with inductive don't-cares.	2014-02-10 22:21:23 -08:00
Alan Mishchenko	d8b4d8dfbb	Fix in represneting constants in a platform-independent way.	2014-02-10 17:18:52 -08:00
Alan Mishchenko	3e21258285	Commenting out warnings about combinational network during retiming.	2014-02-09 20:27:04 -08:00
Alan Mishchenko	05fbf4bd69	Fixing assertion failure when all POs have constant functions.	2014-02-06 12:40:55 -08:00
Alan Mishchenko	48912a2247	Fixing Liberty parser to handle 'scalar' delay/slew tables.	2014-02-06 12:22:30 -08:00
Alan Mishchenko	b910cba3e2	Initial new interpolation code.	2014-01-28 17:46:11 +08:00
Alan Mishchenko	d9bbcb5dc9	Handling C++-style comments in Liberty parser.	2014-01-28 17:45:44 +08:00
Alan Mishchenko	68587eb467	Improving switching activity computation.	2013-12-30 15:15:43 +07:00
Alan Mishchenko	07bb26ba08	Improving switching activity computation.	2013-12-30 14:47:07 +07:00
Alan Mishchenko	737e4671ce	Adding check for the presence of precomputed data.	2013-12-29 14:39:25 +07:00
Alan Mishchenko	15a356fa4d	Improving switching activity computation.	2013-12-26 17:14:40 +07:00
Alan Mishchenko	efc1c8588e	Fixed problem with timeout in &bmc.	2013-12-18 16:21:10 +07:00
Alan Mishchenko	227963f03d	New command &write_cnf.	2013-12-18 00:22:26 +07:00
Baruch Sterin	c5a0ce9063	add a new command line option to ABC, -q, same as -c, but without echoing the command	2013-12-07 00:44:57 -08:00
Alan Mishchenko	549cd2c6da	Making 'fold' and 'unfold' skip constant POs (another fix).	2013-12-04 15:45:42 -08:00
Alan Mishchenko	539f05c09f	Upgrading command 'print_supp'.	2013-12-04 00:18:07 -08:00
Alan Mishchenko	ecdcfbba5c	Making 'fold' and 'unfold' skip constant POs (fixed).	2013-12-04 00:02:21 -08:00
Alan Mishchenko	681483c904	Bug fixes in the above patches.	2013-12-03 00:38:37 -08:00
Alan Mishchenko	34ab59574e	Suggested patch of AIG writers.	2013-12-03 00:26:43 -08:00
Alan Mishchenko	a3bc77cd7b	Making 'fold' and 'unfold' skip constant POs.	2013-12-03 00:03:09 -08:00
Alan Mishchenko	08bb54f382	New canonical DSD form.	2013-12-02 14:06:43 -08:00
Alan Mishchenko	0847ee732e	Bug fix in &b when reference counters are given.	2013-11-30 18:29:08 -08:00
Alan Mishchenko	87e1bc45a6	Commeting out an assertion in sizing.	2013-11-27 22:13:59 -08:00
Alan Mishchenko	c8f341fd01	Patching ABC for Yosys.	2013-11-27 19:02:52 -08:00
Alan Mishchenko	55ba5a3e4c	Patching ABC for Yosys.	2013-11-27 18:53:22 -08:00
Alan Mishchenko	9cbba3cce7	Patching ABC for Yosys.	2013-11-27 12:28:30 -08:00
Alan Mishchenko	e73e5438ca	Patching ABC for Yosys.	2013-11-27 12:17:00 -08:00
Alan Mishchenko	ee50e84e57	Structural mapper into structures.	2013-11-26 23:19:22 -08:00
Alan Mishchenko	a9eb8677fe	Explanation for one assetion.	2013-11-26 21:35:13 -08:00
Alan Mishchenko	93bec213fc	Bug fix in timing update.	2013-11-26 01:03:53 -08:00
Alan Mishchenko	71166f602a	Structural mapper into structures.	2013-11-24 21:21:01 -08:00
Alan Mishchenko	98da93093b	Bug fix in technology mapper.	2013-11-24 09:51:48 -08:00
Alan Mishchenko	ab00143669	Bug fix in liberty parser.	2013-11-23 20:00:59 -08:00
Alan Mishchenko	9de629ff59	Add command 'splitsop' to split large node SOPs into smaller ones.	2013-11-23 19:52:00 -08:00
Alan Mishchenko	00efa68053	Several changes to allow Liberty files without delay info.	2013-11-21 12:58:13 -08:00
Alan Mishchenko	962ad3b0b1	Fixing several simple bugs in library handling.	2013-11-21 12:01:14 -08:00
Alan Mishchenko	b21447b6df	Bug fix in writing constants in write_verilog.	2013-11-21 11:39:57 -08:00
Alan Mishchenko	260fe0830a	Propagating initial PI level during balancing.	2013-11-15 00:59:16 -08:00
Alan Mishchenko	a4325272c2	Adding switch to control the number of nodes tried in mfs2.	2013-11-14 23:50:17 -08:00
Alan Mishchenko	4e00ec6169	Structural mapper into structures.	2013-11-12 16:03:18 -08:00
Alan Mishchenko	e70adbcd2d	Improvements to the standard cell flow.	2013-11-08 15:16:13 -08:00
Alan Mishchenko	5021909cb1	Merged in atomb/abc (pull request #2) ... More portability/flexibility fixes	2013-11-07 19:15:22 -08:00
Alan Mishchenko	24ffd5269a	Organizing the timing report functions.	2013-11-07 11:26:40 -08:00
Alan Mishchenko	4774dc56fe	Fixing the wire-load approximation problem.	2013-11-07 10:24:47 -08:00
Aaron Tomb	56378651c7	Fix parenthesization of Abc_Clock #ifdef. ... The previous location of parentheses led to an attempt to compile against Linux-only clock APIs when building on 32-bit OS X.	2013-11-06 16:35:02 -08:00
Alan Mishchenko	f29fe2d0c2	Specialized inductive check.	2013-11-05 21:17:32 -08:00
Alan Mishchenko	78a0660eab	Specialized inductive check.	2013-11-05 20:33:48 -08:00
Alan Mishchenko	66b6593513	Specialized inductive check.	2013-11-05 19:37:46 -08:00
Alan Mishchenko	e3560904ec	Merged in atomb/abc (pull request #1) ... Several patches to fix compilation under MINGW32	2013-11-05 13:41:39 -08:00
Alan Mishchenko	053c9f54e4	Tuning for multi-ouptut solver.	2013-11-05 11:25:05 -08:00
Alan Mishchenko	5f6244c603	Tuning for multi-ouptut solver.	2013-11-05 00:05:28 -08:00
Alan Mishchenko	0f29c62eab	Tuning for multi-ouptut solver.	2013-11-04 23:57:40 -08:00
Alan Mishchenko	ed11db1763	Tuning for multi-ouptut solver.	2013-11-04 23:31:12 -08:00
Alan Mishchenko	54b2cc1d72	Tuning for multi-ouptut solver.	2013-11-04 23:24:42 -08:00
Alan Mishchenko	d8cb39a191	Tuning for multi-ouptut solver.	2013-11-04 23:21:54 -08:00
Alan Mishchenko	f948c6dbf3	Tuning for multi-ouptut solver.	2013-11-04 23:15:05 -08:00
Alan Mishchenko	5dce71d57a	Tuning for multi-ouptut solver.	2013-11-04 22:46:10 -08:00
Alan Mishchenko	a1d2ba0fcc	Tuning for multi-ouptut solver.	2013-11-04 22:30:27 -08:00
Alan Mishchenko	0ab8cd1191	Tuning for multi-ouptut solver.	2013-11-04 21:04:33 -08:00
Alan Mishchenko	765da3a318	Added sharing of counter-examples across multiple failed properties in 'bmc3 -a'.	2013-11-04 21:00:18 -08:00
Alan Mishchenko	de9fd0a529	Added sharing of counter-examples across multiple failed properties in 'bmc3 -a'.	2013-11-04 20:47:26 -08:00
Alan Mishchenko	b781c1c1d5	Merging heads.	2013-11-04 20:28:17 -08:00
Alan Mishchenko	2076d38ea3	Added sharing of counter-examples across multiple failed properties in 'bmc3 -a'.	2013-11-04 20:25:36 -08:00
Alan Mishchenko	22fd7dca45	Specialized inductive check.	2013-11-04 16:20:31 -08:00
Aaron Tomb	aa2eae5cab	Don't assume MSVC when __MINGW32__ set.	2013-11-04 14:28:32 -08:00
Aaron Tomb	6a4d430e60	Choose Windows file operations with MINGW32.	2013-11-04 14:27:09 -08:00
Aaron Tomb	cf1746e348	Make definition of Abc_Clock work with MINGW32.	2013-11-04 14:25:55 -08:00
Alan Mishchenko	a0529ec5c8	Sweeper internal dumping.	2013-11-01 18:59:51 -04:00
Alan Mishchenko	e2af27f160	Sweeper internal dumping.	2013-11-01 17:09:05 -04:00
Alan Mishchenko	74893bf3d4	Sweeper internal verification.	2013-11-01 13:48:17 -04:00
Alan Mishchenko	a564e2ab81	Sweeper internal verification and new switch for &cfraig.	2013-11-01 13:36:51 -04:00
Alan Mishchenko	a509fa8ea8	Sweeper internal verification.	2013-11-01 13:25:19 -04:00
Alan Mishchenko	ea1a2cfdab	Corner-case bug in synthesis commands.	2013-11-01 13:11:11 -04:00
Alan Mishchenko	c8bfb82688	Sweeper condition complement bug-fix.	2013-11-01 12:19:56 -04:00
Alan Mishchenko	3b8095a671	Sweeper condition complement bug-fix and code for internal verification.	2013-11-01 12:11:46 -04:00
Alan Mishchenko	57b5141181	Sweeper assertion.	2013-11-01 11:33:43 -04:00
Alan Mishchenko	7b6e7181e0	Sweeper assertion.	2013-11-01 11:22:04 -04:00
Alan Mishchenko	e4ab09d771	Sweeper return value normalization.	2013-11-01 11:19:23 -04:00
Alan Mishchenko	ec298486b6	False path detection.	2013-10-31 23:42:06 -04:00
Alan Mishchenko	34366b8aca	Specialized induction check.	2013-10-31 20:30:40 -04:00
Alan Mishchenko	e8c765c0d1	GIA sweeper: adding APIs to return valid probe ID and run a command line.	2013-10-31 17:06:06 -04:00
Alan Mishchenko	615d249e02	GIA sweeper: adding APIs to return valid probe ID and run a command line.	2013-10-31 17:00:06 -04:00
Alan Mishchenko	695231148f	Specialized induction check.	2013-10-31 16:41:25 -04:00
Alan Mishchenko	313caa456a	False path detection.	2013-10-31 16:36:08 -04:00
Alan Mishchenko	6582e10a82	Specialized induction check.	2013-10-31 14:18:31 -04:00
Alan Mishchenko	f620a857d3	Specialized induction check.	2013-10-31 13:07:43 -04:00
Alan Mishchenko	a457bfe1e5	GIA sweeper interface update.	2013-10-31 11:20:37 -04:00
Alan Mishchenko	05c987b6cf	Improving critical path print-out.	2013-10-31 09:58:59 -04:00
Alan Mishchenko	431dc61a9e	Bug fix in 'tempor -s'.	2013-10-30 19:09:55 -04:00
Alan Mishchenko	9439786d95	Changes to Liberty parser.	2013-10-30 18:07:41 -04:00
Alan Mishchenko	89864d111e	GIA sweeper interface update.	2013-10-30 16:04:17 -04:00
Alan Mishchenko	e3e47a599d	GIA sweeper interface update.	2013-10-30 15:45:19 -04:00
Alan Mishchenko	b259a62d40	Compiler warnings.	2013-10-30 13:52:26 -04:00
Alan Mishchenko	a8c85d79e7	Compiler warnings.	2013-10-30 13:46:31 -04:00
Alan Mishchenko	2b85ef06e5	Compiler warnings.	2013-10-30 13:45:00 -04:00
Alan Mishchenko	80f46fa2ae	Compiler warnings.	2013-10-30 10:29:44 -04:00
Alan Mishchenko	f4a250839d	Changes to Liberty parser.	2013-10-30 10:18:01 -04:00
Alan Mishchenko	e23dd881fb	Wrapper around the BMC engine to restart it with higher resource limits.	2013-10-29 12:30:16 -07:00
Alan Mishchenko	e3f9ad3c97	New BMC engine.	2013-10-27 22:55:23 -07:00
Alan Mishchenko	d65d8528b6	New BMC engine.	2013-10-27 22:39:58 -07:00
Alan Mishchenko	a7867378ac	New BMC engine.	2013-10-27 14:16:29 -07:00
Alan Mishchenko	b39e09bb73	Multi-output property solver.	2013-10-27 12:13:40 -07:00
Alan Mishchenko	72f01030c4	Getting rid of a recursive procedure during CNF construction in bmc3.	2013-10-27 10:31:44 -07:00
Alan Mishchenko	3b30fb2a11	Multi-output property solver.	2013-10-26 23:05:13 -07:00
Alan Mishchenko	9437664596	Multi-output property solver.	2013-10-26 21:29:57 -07:00
Alan Mishchenko	7d2b77afc8	Multi-output property solver.	2013-10-23 16:26:20 -07:00
Alan Mishchenko	47afd0f4f4	Multi-output property solver.	2013-10-23 16:26:13 -07:00
Alan Mishchenko	8ad1729aa9	Adding new synthesis scripts.	2013-10-23 10:44:11 -07:00
Alan Mishchenko	103fa663c7	More accurate level calculation in AIG balancing.	2013-10-22 19:59:52 -07:00
Alan Mishchenko	1c56475287	Extending predefined limit in &shrink.	2013-10-21 13:48:07 -07:00
Alan Mishchenko	cb4631e64e	Compiler warnings.	2013-10-17 18:04:07 -07:00
Alan Mishchenko	9f2c4e9988	Bug fix in gate-sizing.	2013-10-16 19:02:47 -07:00
Alan Mishchenko	4ab7905b72	Fix for writing choices into a BLIF file.	2013-10-16 13:33:51 -07:00
Alan Mishchenko	f9900a4c3b	Adding switch 'pdr -i' to start push_clauses from an intermediate timeframe.	2013-10-15 09:04:27 -07:00
Alan Mishchenko	1692c1a57a	Improvements to buffering and sizing.	2013-10-13 23:08:52 -07:00
Alan Mishchenko	a4f80c1d36	Cleaning up buffering code.	2013-10-13 21:05:35 -07:00
Alan Mishchenko	89cab3adec	Normalization of slew/load values.	2013-10-13 20:55:24 -07:00
Alan Mishchenko	c6b80ffc13	Normalization of slew/load values.	2013-10-13 19:11:49 -07:00
Alan Mishchenko	f8410b532b	Improvements to buffering and sizing.	2013-10-12 22:51:43 -07:00
Alan Mishchenko	2c7f39026a	Extending truth table support in &jf for more than 6 inputs.	2013-10-10 14:45:19 -07:00
Alan Mishchenko	33695bed11	Improvements to the canonical form computation.	2013-10-10 12:35:27 -07:00
Alan Mishchenko	4c62b00288	Towards better Boolean matching.	2013-10-10 01:21:58 -07:00
Alan Mishchenko	12aab154c3	CNF generating using new mapper.	2013-10-10 01:18:15 -07:00
Alan Mishchenko	c9cbd3b0f1	Preventing a bug in &if -z.	2013-10-09 23:36:35 -07:00
Alan Mishchenko	6ea3a35b03	Upgrading 'mfs2' to consider some nodes as having no level.	2013-10-09 22:30:38 -07:00
Alan Mishchenko	7d56aabab6	Upgrading 'mfs2' to consider some nodes as having no level.	2013-10-09 22:30:03 -07:00
Alan Mishchenko	608fe4e3bd	Towards better Boolean matching.	2013-10-09 21:31:57 -07:00
Alan Mishchenko	51fb9e4ed4	Towards better Boolean matching.	2013-10-09 18:58:49 -07:00
Alan Mishchenko	069e9d4f2c	Towards better Boolean matching.	2013-10-09 11:54:26 -07:00
Alan Mishchenko	f935dcd369	Towards better Boolean matching.	2013-10-09 10:46:44 -07:00
Alan Mishchenko	62173b52ad	Bug with in bmc3 when no 'sat' outputs are found and H != 0	2013-10-08 23:21:28 -07:00
Baruch Sterin	cbc718d701	pyabc changes for HWMCC13	2013-10-08 12:04:07 -07:00
Alan Mishchenko	7a1c4ee867	Moved the code to a different file.	2013-10-06 16:16:21 -07:00
Alan Mishchenko	8a03e530c2	Resubstitution code.	2013-10-06 15:57:17 -07:00
Alan Mishchenko	812a877ab6	Compiler warning.	2013-10-05 23:18:20 -07:00
Alan Mishchenko	d32af2df38	Compiler warning.	2013-10-05 22:59:11 -07:00
Alan Mishchenko	0f49783ca0	Compiler warning.	2013-10-05 22:57:22 -07:00
Alan Mishchenko	67b6cc8e49	Compiler warning.	2013-10-05 22:53:43 -07:00
Alan Mishchenko	e1986d0433	Towards better Boolean matching.	2013-10-05 22:52:15 -07:00
Alan Mishchenko	a4a1053d98	Towards better Boolean matching.	2013-10-05 22:44:02 -07:00
Niklas Een	c9635d029e	Added 'abort' message in bridge mode for pdr -a timeout	2013-10-04 15:20:42 -07:00
Alan Mishchenko	f24a4e1a4e	Compiler errors in the Python interface code...	2013-10-03 17:25:50 -07:00
Alan Mishchenko	6d6118e2aa	Bug fix and performance improvement in &iso.	2013-10-03 16:54:10 -07:00
Alan Mishchenko	c59121f4e0	Bug fix and performance improvement in &iso.	2013-10-03 16:33:41 -07:00
Alan Mishchenko	755e09958f	Added computation of mapping overlap in &ps.	2013-10-03 14:10:23 -07:00
Alan Mishchenko	6132d7cb10	Experiment with the AIG package.	2013-10-03 12:25:27 -07:00
Alan Mishchenko	db16dcb737	Added computation of mapping overlap in &ps.	2013-10-03 01:25:55 -07:00
Alan Mishchenko	b1b85e0e6a	Integrating synthesis into the new BMC engine.	2013-10-03 00:14:13 -07:00
Alan Mishchenko	4aac586cae	Integrating synthesis into the new BMC engine.	2013-10-02 23:24:08 -07:00
Alan Mishchenko	6014c4b11e	Integrating synthesis into the new BMC engine.	2013-10-02 23:17:59 -07:00
Alan Mishchenko	805eb96d6d	Integrating synthesis into the new BMC engine.	2013-10-02 23:03:17 -07:00
Alan Mishchenko	cfa7be1a07	Integrating synthesis into the new BMC engine.	2013-10-02 22:58:23 -07:00
Alan Mishchenko	38e577f5df	Enabling counter-example generation in the new BMC engine.	2013-10-02 21:41:01 -07:00
Alan Mishchenko	e01174c6db	Bug fixes in the library processing,.	2013-10-02 18:22:14 -07:00
Alan Mishchenko	fb2ae7c22f	Computing AIG using DSD instead of factored forms in &fx.	2013-10-02 16:41:55 -07:00
Alan Mishchenko	7b99370e0a	Changing default values.	2013-10-02 14:36:33 -07:00
Alan Mishchenko	f2fab57936	Changes in specialized matching.	2013-10-02 13:00:05 -07:00
Alan Mishchenko	19c361e387	Changes in specialized matching.	2013-10-02 12:55:20 -07:00
Alan Mishchenko	85098b01de	Changes in specialized matching.	2013-10-01 22:34:44 -07:00
Alan Mishchenko	b6f85cfc9a	Enabling counter-example generation in the new BMC engine.	2013-10-01 12:23:52 -07:00
Alan Mishchenko	16f7903697	Changes in specialized matching.	2013-10-01 00:43:43 -07:00
Alan Mishchenko	8340b65dc8	Changes in specialized matching.	2013-10-01 00:25:49 -07:00
Alan Mishchenko	1fb7ef8153	Converting mapped AIG into strashed AIG.	2013-09-30 22:41:55 -07:00
Alan Mishchenko	3bad7aedf8	Producing AIG after structural mapping.	2013-09-30 20:41:08 -07:00
Alan Mishchenko	e48cfd92ee	Producing AIG after structural mapping.	2013-09-30 20:38:13 -07:00
Alan Mishchenko	181a762927	Producing AIG after structural mapping.	2013-09-30 19:56:54 -07:00
Alan Mishchenko	73ba1458af	Producing AIG after structural mapping.	2013-09-30 19:45:36 -07:00
Alan Mishchenko	cb845d4488	Changing default values.	2013-09-30 13:39:14 -07:00
Alan Mishchenko	846da1d2c7	Changing default values.	2013-09-30 13:33:39 -07:00
Alan Mishchenko	3d5744f847	Changing default values.	2013-09-30 12:00:50 -07:00
Alan Mishchenko	e34251060e	Changing default values.	2013-09-30 11:43:17 -07:00
Alan Mishchenko	c49739c36a	Changing default values.	2013-09-30 10:44:24 -07:00
Alan Mishchenko	726e70392c	Changing default values.	2013-09-30 01:00:25 -07:00
Alan Mishchenko	806571235e	Improvements to truth table computation.	2013-09-30 00:26:13 -07:00
Alan Mishchenko	62439be84d	New logic sharing extraction.	2013-09-29 23:14:00 -07:00
Alan Mishchenko	49ac3c5260	Updating logic extraction.	2013-09-29 16:26:40 -07:00
Alan Mishchenko	462d4c5278	Updating logic extraction.	2013-09-29 14:44:21 -07:00
Alan Mishchenko	1f16b97c89	Changing default values.	2013-09-29 11:57:25 -07:00
Alan Mishchenko	738619980a	Changing default values.	2013-09-29 00:03:01 -07:00
Alan Mishchenko	bfc3a109c2	Changing default values.	2013-09-29 00:00:31 -07:00
Alan Mishchenko	2a83a97164	Changing default values.	2013-09-28 23:56:08 -07:00
Alan Mishchenko	797cb49584	Changing default values.	2013-09-28 23:14:43 -07:00
Alan Mishchenko	68011de615	Improving printouts in sharing extraction.	2013-09-28 22:42:01 -07:00
Alan Mishchenko	5f97f5cffa	New logic sharing extraction.	2013-09-28 20:19:53 -07:00
Alan Mishchenko	61ee156b72	New logic sharing extraction.	2013-09-28 18:35:38 -07:00
Alan Mishchenko	f9b11cc93b	Checking decomposability of 5-input functions.	2013-09-28 00:24:19 -07:00
Alan Mishchenko	a7fcdf20ab	Performance balancing command &b.	2013-09-27 18:50:23 -07:00
Alan Mishchenko	a695d70810	Performance improvements in GIA package.	2013-09-27 15:20:33 -07:00
Alan Mishchenko	4a74b7ced9	Generation of plain AIG after mapping.	2013-09-27 14:45:55 -07:00
Alan Mishchenko	940cf7f98b	Generation of plain AIG after mapping.	2013-09-27 13:30:36 -07:00
Alan Mishchenko	debbf4d807	Bug fix.	2013-09-27 10:09:57 -07:00
Alan Mishchenko	f6653175b4	Code to test AIG generation for DSD structures.	2013-09-27 10:08:54 -07:00
Niklas Een	c8a022f766	Changed printf to Abc_Print in giaMan.c	2013-09-27 01:03:28 -07:00
Niklas Een	4cc3203110	Fixed a bug in Bridge mode	2013-09-27 00:17:59 -07:00
Alan Mishchenko	f704aa43fb	New logic sharing extraction.	2013-09-26 19:04:18 -07:00
Alan Mishchenko	16a75e9861	Updates to the mapper.	2013-09-26 00:47:45 -07:00
Alan Mishchenko	c8fa1c82f7	Updates to the mapper.	2013-09-26 00:00:49 -07:00
Alan Mishchenko	bce6d5ab96	Extending the mapper to handle up to 2^24 functional classes.	2013-09-25 23:41:37 -07:00
Alan Mishchenko	0565730abe	Compiler warnings.	2013-09-25 18:18:55 -07:00
Alan Mishchenko	017568aff3	Compiler warnings.	2013-09-25 18:16:21 -07:00
Alan Mishchenko	dbaf28db1d	Fixing the large MFFC problem.	2013-09-25 18:07:34 -07:00
Alan Mishchenko	e035f60d4f	Fixing the large MFFC problem.	2013-09-25 18:05:50 -07:00
Alan Mishchenko	f787e75b83	Improving DAG-aware unmapping.	2013-09-25 16:41:19 -07:00
Alan Mishchenko	531657105b	Improving DAG-aware unmapping.	2013-09-25 15:29:01 -07:00
Alan Mishchenko	a55b178729	Fixing printouts in 'bmc3'.	2013-09-25 13:21:31 -07:00
Alan Mishchenko	ee11ee1833	Changes to enable decomposition of non-DSD functions.	2013-09-25 13:18:21 -07:00
Alan Mishchenko	cab8301065	Changing switch -R <num> in &gla to mean the max allowed size of abstraction. Adding switch -Q <num> to stop when the number of objects exceeds num % _during_refinement_.	2013-09-23 10:57:15 -07:00
Alan Mishchenko	3286882229	Experiments with exact matching into LUT structures.	2013-09-23 10:41:28 -07:00
Alan Mishchenko	eec94a70f1	Adding API to return the mapped network.	2013-09-22 23:18:40 -07:00
Alan Mishchenko	d61bedc627	Adding API to return the mapped network.	2013-09-22 16:23:57 -07:00
Alan Mishchenko	cfebcae125	Adding resource limit to stop &gla when the number of remaining objects is less than R/2 during refinement.	2013-09-21 17:55:59 -04:00
Alan Mishchenko	247dd95dd3	Adding resource limit to stop &gla when the number of remaining objects is less than R/2 during refinement.	2013-09-21 14:08:38 -04:00
Alan Mishchenko	d32e51409f	Buf fix in Liberty parser.	2013-09-19 18:49:18 -04:00
Alan Mishchenko	080a7420fc	Added bridge integration for multi-output 'bmc3 -a'.	2013-09-17 23:25:15 -07:00
Alan Mishchenko	d4bd7846c3	Added bridge integration for multi-output 'bmc3 -a'.	2013-09-17 23:19:54 -07:00
Alan Mishchenko	3d8dc1217c	Integrating input driving cell constraint into buffering/sizing.	2013-09-17 23:00:59 -07:00
Alan Mishchenko	efa6b54b5e	Debugging and finetuning the flow.	2013-09-17 21:47:39 -07:00
Alan Mishchenko	c62f380eff	Debugging and finetuning the flow.	2013-09-17 16:59:22 -07:00
Alan Mishchenko	a2d97cf2b6	Debugging and finetuning the flow.	2013-09-17 16:43:42 -07:00
Alan Mishchenko	73a997a8bd	Adding commands to set and print timing constraints.	2013-09-17 14:47:34 -07:00
Alan Mishchenko	ca39b892f0	Compiler warning about unused variable.	2013-09-17 13:22:16 -07:00
Alan Mishchenko	7d3976a763	Unifying standard cell library representations.	2013-09-17 13:16:20 -07:00
Alan Mishchenko	5df166fce1	Changing dynamic CNF loading code to perform loading before propagate() as opposed to when the literal first implied in enqueue().	2013-09-16 23:43:47 -07:00
Alan Mishchenko	105648bf7c	Adding switch to enable reuse of proof-obligations in the last timeframe.	2013-09-16 22:57:50 -07:00
Alan Mishchenko	2ba12a76ff	Adding new switch to &if to relax the delay.	2013-09-16 22:50:39 -07:00
Alan Mishchenko	e446cfca15	Added bridge integration for multi-output 'pdr -a'.	2013-09-16 14:54:11 -07:00
Alan Mishchenko	653dc8cff5	Added bridge integration for multi-output 'pdr -a'.	2013-09-16 14:46:07 -07:00
Alan Mishchenko	3b1cf0976c	Added bridge integration for multi-output 'pdr -a'.	2013-09-16 14:39:37 -07:00
Alan Mishchenko	e87f0dd679	Bug fix in PDR.	2013-09-16 08:49:37 -07:00
Alan Mishchenko	5d2dc04144	Bug fix in XOR balancing.	2013-09-15 23:18:43 -07:00
Alan Mishchenko	549fd2ed15	Infrastructure to support full Liberty format and unitification of library representations.	2013-09-15 18:31:02 -07:00
Alan Mishchenko	931e5882b1	Infrastructure to support full Liberty format and unitification of library representations.	2013-09-15 18:28:29 -07:00
Alan Mishchenko	ff5d3591d1	Infrastructure to support full Liberty format and unitification of library representations.	2013-09-15 18:23:49 -07:00
Alan Mishchenko	d1fed2dd89	Fixing return value of 'pdr -a'.	2013-09-15 11:02:53 -07:00
Alan Mishchenko	ab5c1692db	Handling the case when all outputs are undecided in 'pdr -a' with per-output timeout.	2013-09-14 12:23:46 -07:00
Alan Mishchenko	60fae35d36	Fixing several bugs, which led to unsound results produced by 'pdr -a' with per-output timeout.	2013-09-13 19:44:54 -07:00
Alan Mishchenko	a4087e45f0	Enabling additional printouts in 'pdr'.	2013-09-13 17:36:29 -07:00
Alan Mishchenko	27be3d0185	Added command &struct for profiling non-dec structures.	2013-09-13 17:25:31 -07:00
Alan Mishchenko	dfb43b2f58	Fix a bug in 'zeropo'.	2013-09-13 09:52:54 -07:00
Alan Mishchenko	5b6b7c5bbe	Removing duplicated typedef line.	2013-09-13 09:39:50 -07:00
Alan Mishchenko	bee107443d	Improvements to the new technology mapper.	2013-09-12 23:59:18 -07:00
Alan Mishchenko	7312ff3c4a	Improvements to the new technology mapper.	2013-09-12 23:14:39 -07:00
Alan Mishchenko	75fee10708	Improvements to the new technology mapper.	2013-09-12 22:37:26 -07:00
Alan Mishchenko	14606c473e	Improvements to the new technology mapper.	2013-09-12 17:53:41 -07:00
Alan Mishchenko	0a346a36a2	Improvements to the new technology mapper.	2013-09-12 14:52:58 -07:00
Alan Mishchenko	9b02a26a80	Improvements to the new technology mapper.	2013-09-12 14:47:45 -07:00
Alan Mishchenko	68df9f0f59	Improvements to the new technology mapper.	2013-09-12 00:39:19 -07:00
Alan Mishchenko	61abba9571	Improvements to the new technology mapper.	2013-09-11 23:49:05 -07:00
Alan Mishchenko	211ac730c6	Improvements to the new technology mapper.	2013-09-11 18:19:36 -07:00
Alan Mishchenko	5d6f05a9a2	Improvements to the new technology mapper.	2013-09-11 16:47:08 -07:00
Alan Mishchenko	b1b0202c05	Command '&slice' to cut out the bottom part of the AIG.	2013-09-11 14:38:08 -07:00
Alan Mishchenko	deb7b6ac4f	Corrected variable naming in clause2_proofid().	2013-09-11 13:34:32 -07:00
Alan Mishchenko	66b1d4de54	Small performance bug in new 'fx'.	2013-09-11 13:10:31 -07:00
Alan Mishchenko	299099a443	Updates for the new BMC engine.	2013-09-10 23:14:20 -07:00
Alan Mishchenko	26c0e9370a	Updates for the new BMC engine.	2013-09-10 22:16:28 -07:00
Alan Mishchenko	0e256dc2c2	Updates for the new BMC engine.	2013-09-10 22:12:42 -07:00
Alan Mishchenko	8430b6dad4	New API to return the set of all reachable states as an AIG.	2013-09-10 14:51:47 -07:00
Alan Mishchenko	9d01c98e62	Added sorting equiv classes by the index of their representatives.	2013-09-10 13:27:39 -07:00
Alan Mishchenko	60540f3c61	Moving #include to the top of the file in 'giaUtil.c'.	2013-09-10 13:21:17 -07:00
Alan Mishchenko	d4c70cb6c1	Updates for the new BMC engine.	2013-09-09 23:12:01 -07:00
Alan Mishchenko	2fa9645b08	Improvements to the new technology mapper.	2013-09-09 14:00:47 -07:00
Alan Mishchenko	34e037898c	Improvements to the new technology mapper.	2013-09-09 11:46:45 -07:00
Alan Mishchenko	649222e4d0	Improvements to the new technology mapper.	2013-09-09 10:44:19 -07:00
Alan Mishchenko	c05e141d1f	Improvements to the new technology mapper.	2013-09-09 10:31:21 -07:00
Alan Mishchenko	fba43b5065	Improvements to the new technology mapper.	2013-09-09 00:24:56 -07:00
Alan Mishchenko	48db1c3a04	Improvements to the new technology mapper.	2013-09-09 00:15:01 -07:00
Alan Mishchenko	6a86be4009	Improvements to the new technology mapper.	2013-09-08 20:20:42 -07:00
Alan Mishchenko	5f318549cd	Improvements to the new technology mapper.	2013-09-08 20:10:13 -07:00
Alan Mishchenko	333c377232	Improvements to the new technology mapper.	2013-09-08 20:05:19 -07:00
Alan Mishchenko	2faaa1c04e	Improvements to the new technology mapper.	2013-09-08 19:58:43 -07:00
Alan Mishchenko	aa1a50fe89	Fixing corner-case bug in command 'ind'.	2013-09-08 14:42:15 -07:00
Alan Mishchenko	00bc43982e	Improvements to the &ps.	2013-09-08 00:49:35 -07:00
Alan Mishchenko	726a1d72e2	Improvements to the new technology mapper.	2013-09-07 19:20:34 -07:00
Alan Mishchenko	56e784a29a	Improvements to the new technology mapper.	2013-09-07 19:07:00 -07:00
Alan Mishchenko	5201509597	Improvements to the new technology mapper.	2013-09-07 18:49:32 -07:00
Alan Mishchenko	2a39b635eb	Improvements to the new technology mapper.	2013-09-07 17:06:29 -07:00
Alan Mishchenko	137a766207	Improvements to the new technology mapper.	2013-09-07 16:41:35 -07:00
Alan Mishchenko	23879f9200	Unifying parameters for the &ps command.	2013-09-05 20:40:50 -07:00
Alan Mishchenko	9d14b0c094	Updates for the new BMC engine.	2013-09-05 19:32:45 -07:00
Alan Mishchenko	191a9ccd38	Updates for the new BMC engine.	2013-09-05 17:58:17 -07:00
Alan Mishchenko	92c7c6f7e5	Updates for the new BMC engine.	2013-09-05 16:10:50 -07:00
Alan Mishchenko	61126bfba4	Updates for the new BMC engine.	2013-09-05 16:05:59 -07:00
Alan Mishchenko	8de1080272	Updates for the new BMC engine.	2013-09-05 15:54:52 -07:00
Alan Mishchenko	e9d0466494	Updates for the new BMC engine.	2013-09-05 15:39:18 -07:00
Alan Mishchenko	e651e22788	Adding check to &sim3 for the case when the AIG is combinational.	2013-09-05 12:57:55 -07:00
Alan Mishchenko	db34dbeb80	Temporarily (?) undoing previous change because it is incompatible with old AIGER files generated by ABC.	2013-09-05 12:55:40 -07:00
Alan Mishchenko	e4f9ebfa87	Improved unrolling manager.	2013-09-05 12:52:40 -07:00
Alan Mishchenko	eddb194ce0	Making selecting duplication procedure creates a smaller AIG.	2013-09-05 02:15:36 -07:00
Alan Mishchenko	f53e56e822	Improved unrolling manager.	2013-09-05 01:44:44 -07:00
Alan Mishchenko	6570fe145c	Added Python API status_get_vector() similar to cex_get_vector().	2013-09-04 17:37:26 -07:00
Alan Mishchenko	63e165bc5f	Added Python API status_get_vector() similar to cex_get_vector().	2013-09-04 17:32:16 -07:00
Alan Mishchenko	f591f1cd9a	Added Python API status_get_vector() similar to cex_get_vector().	2013-09-04 17:25:40 -07:00
Alan Mishchenko	30c2c48a65	Adding switch 'ps -s' to skip counting buffers/inverters as nodes.	2013-09-02 23:21:55 -07:00
Alan Mishchenko	d1b9ade535	Adding switch 'ps -s' to skip counting buffers/inverters as nodes.	2013-09-02 23:15:15 -07:00
Alan Mishchenko	b6cb626a12	Removing some old useless code.	2013-09-02 22:14:20 -07:00
Alan Mishchenko	e16e3edae8	Removing some old useless code.	2013-09-02 22:10:27 -07:00
Alan Mishchenko	fabc84d15b	Adding interpolant computation sat_solver2.	2013-09-02 15:14:57 -07:00
Alan Mishchenko	9914c16868	Adding interpolant computation sat_solver2.	2013-09-02 15:14:49 -07:00
Alan Mishchenko	57b9a9fe13	Modify level computation to take discretized arrival times into account.	2013-09-02 11:07:05 -07:00
Alan Mishchenko	5023be4aa0	Adding switch &get -m to import mapped network into the &-space.	2013-09-01 19:37:47 -07:00
Alan Mishchenko	e2f11e14d0	Adding switch &get -m to import mapped network into the &-space.	2013-09-01 19:34:32 -07:00
Alan Mishchenko	44a83bde28	Adding new line (\n) after 'c' at the beginning of the comment section in AIGER format.	2013-08-29 16:25:55 -07:00
Alan Mishchenko	009cc92e05	Buf fixes and minor changes to the &if mapper.	2013-08-29 16:03:40 -07:00
Alan Mishchenko	a495163f74	Buf fixes and minor changes to the &if mapper.	2013-08-29 14:41:01 -07:00
Alan Mishchenko	eec022ea64	Adding procedures to specify permutations with unused flops.	2013-08-28 20:21:01 -07:00
Alan Mishchenko	42f8082c59	Added switch &sim -g to enable flop grouping.	2013-08-20 12:04:41 -07:00
Alan Mishchenko	1ad363c156	Added switch &sim -g to enable flop grouping.	2013-08-20 08:46:31 -07:00
Alan Mishchenko	b7c8f9188d	Adding code to count statistics about decomposable LUT5.	2013-08-18 10:42:57 -07:00
Alan Mishchenko	3459683e3b	Extending 'permute' to handle user-specified flop permutation.	2013-08-16 13:13:38 -07:00
Alan Mishchenko	7013e0b672	Small changes to compile on Mac.	2013-08-15 00:58:23 -07:00
Alan Mishchenko	9c2b007556	Enabling LUT decomposition in two special cases.	2013-08-14 22:54:25 -07:00
Alan Mishchenko	426b1d2d43	Enabling LUT decomposition in two special cases.	2013-08-14 22:51:28 -07:00
Alan Mishchenko	6de83eb3b6	Enabling LUT decomposition in two special cases.	2013-08-14 22:50:49 -07:00
Alan Mishchenko	728291b087	Enabling LUT decomposition in two special cases.	2013-08-14 20:03:25 -07:00
Alan Mishchenko	0916417e2e	Enabling LUT decomposition in two special cases.	2013-08-14 12:10:55 -07:00
Alan Mishchenko	1eae17a89d	Bug fix in &if -z.	2013-08-14 11:32:11 -07:00
Alan Mishchenko	9b3dd44cd6	Enabling additional matching feature in the LUT mapper.	2013-08-13 13:01:18 -07:00
Alan Mishchenko	ee1e20ddf8	Enabling additional matching feature in the LUT mapper.	2013-08-12 23:34:54 -07:00
Alan Mishchenko	fcfafb0601	Enabling additional matching feature in the LUT mapper.	2013-08-12 23:27:20 -07:00
Alan Mishchenko	ae27704c13	Integrated buffering and sizing.	2013-08-11 11:35:22 -07:00
Alan Mishchenko	ec4804aab6	Integrated buffering and sizing.	2013-08-11 00:49:34 -07:00
Alan Mishchenko	679a9a021a	Integrated buffering and sizing.	2013-08-10 18:13:03 -07:00
Alan Mishchenko	6c4252c5c9	Integrated buffering and sizing.	2013-08-10 18:11:09 -07:00
Alan Mishchenko	55872bc302	Integrated buffering and sizing.	2013-08-10 11:36:23 -07:00
Alan Mishchenko	5d0ba30518	Bug fix in incremental timing.	2013-08-10 11:14:33 -07:00
Alan Mishchenko	573d6d7ab7	Enable wire load estimation in buffering/sizing.	2013-08-10 10:27:55 -07:00
Alan Mishchenko	118cb03be4	Integrated buffering and sizing.	2013-08-09 22:55:09 -07:00
Alan Mishchenko	6e2ee1d30a	Integrated buffering and sizing.	2013-08-09 22:13:13 -07:00
Alan Mishchenko	4af5587cbf	Integrated buffering and sizing.	2013-08-09 21:44:18 -07:00
Alan Mishchenko	fbdaf2075f	Integrated buffering and sizing.	2013-08-09 21:05:06 -07:00
Alan Mishchenko	d4ad3b4156	Improvements to buffering and sizing.	2013-08-09 19:47:58 -07:00
Alan Mishchenko	633db0f4ad	Improvements to buffering and sizing.	2013-08-09 17:54:18 -07:00
Alan Mishchenko	b98345ced5	Improvements to buffering and sizing.	2013-08-09 12:36:48 -07:00
Alan Mishchenko	95684b044a	Improvements to buffering and sizing.	2013-08-09 11:15:20 -07:00
Alan Mishchenko	4be8eba9d9	Compiler warnings.	2013-08-08 18:23:40 -07:00
Alan Mishchenko	881b2ec46f	Integrated buffering and sizing.	2013-08-08 18:23:00 -07:00
Alan Mishchenko	655dc4e727	Improvements to buffering and sizing.	2013-08-07 12:32:33 -07:00
Alan Mishchenko	8576e4b440	Improvements to buffering and sizing.	2013-08-06 22:51:39 -07:00
Alan Mishchenko	7a6f335ea6	Improvements to buffering and sizing.	2013-08-06 12:22:13 -07:00
Alan Mishchenko	cb99a2212d	Bug fix in 'int'.	2013-08-05 22:58:08 -07:00
Alan Mishchenko	220a83f1e5	Bug fix in 'int'.	2013-08-05 22:56:45 -07:00
Alan Mishchenko	51714ef65d	Adding new (un)buffering with phase information.	2013-08-05 19:21:10 -07:00
Alan Mishchenko	1a55882ad9	Adding new (un)buffering with phase information.	2013-08-05 18:33:38 -07:00
Alan Mishchenko	1558fe6110	Adding code to estimate buffer trees.	2013-08-05 10:45:06 -07:00
Alan Mishchenko	9d19598162	Change from input slew to input drive strength in the BLIF file.	2013-08-04 12:19:24 -07:00
Alan Mishchenko	56a233be91	Adding switch 'buffer -p' to enable buffing of the primary inputs.	2013-08-02 23:23:45 -07:00
Alan Mishchenko	f1615dccd5	Code for parsing the transcripts.	2013-08-02 23:15:37 -07:00
Alan Mishchenko	1067e6dec9	SAT solver with dynamic CNF loading.	2013-08-01 19:02:08 -07:00
Alan Mishchenko	da60781c13	SAT solver with dynamic CNF loading.	2013-08-01 19:01:53 -07:00
Alan Mishchenko	710fd8e1ea	Internal parameter tuning.	2013-07-31 14:52:59 -07:00
Alan Mishchenko	f253e7aa41	Code for parsing the transcripts.	2013-07-30 21:48:02 -07:00
Alan Mishchenko	f10480f9bc	Parametrizing standard-cell mapper to account for the fanout delay.	2013-07-30 00:18:57 -07:00
Alan Mishchenko	8e54792cd0	Added commands 'maxsize' and 'unbuffer'.	2013-07-29 22:24:54 -07:00
Alan Mishchenko	f09a704250	Added commands 'maxsize' and 'unbuffer'.	2013-07-29 21:01:05 -07:00
Alan Mishchenko	b93ead2ad1	Compiler warning.	2013-07-29 19:14:34 -07:00
Alan Mishchenko	675f2bbf2d	Compiler warning.	2013-07-29 19:13:09 -07:00
Alan Mishchenko	1dca7458f3	Improved buffering.	2013-07-29 18:55:13 -07:00
Alan Mishchenko	4c6804c3ae	Improved gate-sizing.	2013-07-29 10:10:21 -07:00
Alan Mishchenko	a206287b21	Adding support for input slew and output capacitance to timer and gate-sizer (bug fix).	2013-07-24 11:42:37 -07:00
Alan Mishchenko	00d023713b	Tuning standard-cell mapping flow.	2013-07-24 09:54:53 -07:00
Alan Mishchenko	fadcef9eb9	Tuning standard-cell mapping flow.	2013-07-23 18:02:17 -07:00
Alan Mishchenko	606eaafa48	Tuning standard-cell mapping flow.	2013-07-23 16:17:41 -07:00
Alan Mishchenko	84c0b9d69b	Tuning standard-cell mapping flow.	2013-07-23 16:15:03 -07:00
Alan Mishchenko	038f296453	Bug fix and warning print.	2013-07-22 23:11:04 -07:00
Alan Mishchenko	054caacb3c	Enabling pin sorting in &if.	2013-07-22 19:44:31 -07:00
Alan Mishchenko	f392645daf	Generating GENLIB library from SCL.	2013-07-22 13:25:51 -07:00
Alan Mishchenko	fd28deefc7	Restructuring gate-sizing code trying to separate timing analysis.	2013-07-21 17:55:15 -07:00
Alan Mishchenko	1bdb3773f9	New technology mapper.	2013-07-21 16:36:15 -07:00
Alan Mishchenko	a9afe7e8b7	Improvements to post-mapping re-sizing.	2013-07-21 14:56:30 -07:00
Alan Mishchenko	710835f8d6	Memory leaks.	2013-07-21 01:28:54 -07:00
Alan Mishchenko	1ed823c67d	Adding support for input slew and output capacitance to timer and gate-sizer.	2013-07-21 01:01:53 -07:00
Alan Mishchenko	ab84c73eb0	Adding support for input slew (.input_drive) and output capacitance (.output_load) in BLIF reader/writer.	2013-07-21 00:15:24 -07:00
Alan Mishchenko	f917de3498	Improvements to the SCL package.	2013-07-20 23:19:28 -07:00
Alan Mishchenko	56592b28c2	Added command 'dnsize' to complement command 'upsize'.	2013-07-20 19:11:29 -07:00
Alan Mishchenko	3d01abf481	Experiment with 'pdr'.	2013-07-19 21:01:06 -07:00
Alan Mishchenko	35273eaeba	Small data-structure improvements in 'pdr'.	2013-07-19 14:08:21 -07:00
Alan Mishchenko	9e384d5ca9	Small changes to the printout in timing analysis.	2013-07-19 11:35:03 -07:00
Alan Mishchenko	21d7938adc	Temprary changes.	2013-07-18 18:16:55 -07:00
Alan Mishchenko	db402147ba	New technology mapper.	2013-07-18 16:57:38 -07:00
Alan Mishchenko	9e723d40dd	New technology mapper.	2013-07-18 16:55:04 -07:00
Alan Mishchenko	7630f2bd86	Temprary changes.	2013-07-18 15:40:45 -07:00
Alan Mishchenko	a35599960b	New technology mapper.	2013-07-18 13:03:01 -07:00
Alan Mishchenko	4decece2c7	New technology mapper.	2013-07-18 12:20:59 -07:00
Alan Mishchenko	eb5c12a994	New technology mapper.	2013-07-17 22:08:24 -07:00
Alan Mishchenko	bbbfe0e822	New technology mapper.	2013-07-17 14:22:49 -07:00
Alan Mishchenko	5acfed6c24	New technology mapper.	2013-07-17 14:21:05 -07:00
Alan Mishchenko	10c90de054	New technology mapper.	2013-07-17 14:19:33 -07:00
Alan Mishchenko	d22da3aec4	Commenting out assertion related to choices in 'if'.	2013-07-16 19:17:41 -07:00
Alan Mishchenko	ec153508e1	Enabling switch -a in 'mfs2'.	2013-07-16 19:16:52 -07:00
Alan Mishchenko	fce4605f58	Improved printout of XOR/MUX/AND in 'print_stats'.	2013-07-16 16:46:37 -07:00
Alan Mishchenko	5f97612951	Imporvements to 'eliminate'.	2013-07-16 16:06:21 -07:00
Alan Mishchenko	e731d3b1f4	Adding another network duplicator.	2013-07-16 00:44:51 -07:00
Alan Mishchenko	fd80bf20da	Adding another network duplicator.	2013-07-16 00:34:26 -07:00
Alan Mishchenko	f8f37d261b	New technology mapper.	2013-07-15 15:22:05 -07:00
Alan Mishchenko	a06234e87a	New technology mapper.	2013-07-14 23:21:46 -07:00
Alan Mishchenko	dd29ca30a6	New technology mapper.	2013-07-14 23:12:05 -07:00
Alan Mishchenko	c0ac159888	New technology mapper.	2013-07-14 15:04:25 -07:00
Alan Mishchenko	b3e0f5b2e9	New technology mapper.	2013-07-13 23:40:51 -07:00
Alan Mishchenko	118e40b809	New technology mapper.	2013-07-13 12:20:53 -07:00
Alan Mishchenko	167340527b	New technology mapper.	2013-07-13 11:16:20 -07:00
Alan Mishchenko	4a50b09c67	New technology mapper.	2013-07-13 11:12:36 -07:00
Alan Mishchenko	aaa8121ede	New technology mapper.	2013-07-13 09:56:29 -07:00
Alan Mishchenko	2e9ab39ba1	New technology mapper.	2013-07-13 09:53:52 -07:00
Alan Mishchenko	1814b6742c	New technology mapper.	2013-07-13 09:52:20 -07:00
Alan Mishchenko	7efe9f2afd	New technology mapper.	2013-07-12 19:33:46 -07:00
Alan Mishchenko	634dd6d030	Compiler warnings.	2013-07-12 13:21:59 -07:00
Alan Mishchenko	b0bd2025c6	Compiler warnings.	2013-07-12 13:16:12 -07:00
Alan Mishchenko	804e0261ab	Compiler warnings.	2013-07-12 13:14:44 -07:00
Alan Mishchenko	4b5ffde3b7	Compiler warnings.	2013-07-12 13:07:08 -07:00
Alan Mishchenko	fba33fbba4	New technology mapper.	2013-07-12 13:02:32 -07:00
Alan Mishchenko	2ee26b00f9	Precomputing DSD functions.	2013-07-11 22:08:35 -07:00
Alan Mishchenko	773b1c1351	Precomputing DSD functions.	2013-07-11 00:16:22 -07:00
Alan Mishchenko	9d81b1f4c8	Fix to &era to skip synthesis and print verbose output more often.	2013-07-10 17:54:33 -07:00
Alan Mishchenko	6003e92edf	Bug fix in 'mfs2'.	2013-07-08 19:34:20 -07:00
Alan Mishchenko	9dfd8be577	Adding timeout to AIG rewriting inside 'int'.	2013-07-08 00:18:21 -07:00
Alan Mishchenko	07d3351c31	Adding timeout to AIG rewriting inside 'int'.	2013-07-07 22:37:29 -07:00
Alan Mishchenko	76875cd18d	Compiler warning.	2013-07-01 23:08:54 -07:00
Alan Mishchenko	589e2edec2	Compiler problem.	2013-07-01 23:05:57 -07:00
Alan Mishchenko	e7504c6dab	Compiler problem.	2013-07-01 23:03:23 -07:00
Alan Mishchenko	32e58b8883	Fixing a typo.	2013-07-01 22:57:28 -07:00
Alan Mishchenko	60bb6dbf69	Adding commands 'bm2' and 'saucy3' developed by Hadi Katebi, Igor Markov, and Karem Sakallah at U Michigan.	2013-07-01 18:06:09 -07:00
Alan Mishchenko	779cff2193	Bug fix in the timeout for 'int'.	2013-07-01 15:33:32 -07:00
Alan Mishchenko	64e2ee223b	Adding #include <stdlib.h> to 'abc_global.h' to prevent compilation problem on some platforms.	2013-07-01 14:07:42 -07:00
Alan Mishchenko	9065da8189	Updating new mapper.	2013-06-30 19:51:24 -07:00
Alan Mishchenko	5a6205ecc8	Updating new mapper.	2013-06-30 17:22:02 -07:00
Alan Mishchenko	6ace5234e1	Updating new mapper.	2013-06-30 15:56:16 -07:00
Alan Mishchenko	94dfccf083	Updating new mapper.	2013-06-30 15:52:22 -07:00
Alan Mishchenko	fb65bf9e42	Updating new mapper.	2013-06-30 12:07:46 -07:00
Alan Mishchenko	ac4eafd69b	Updating new mapper.	2013-06-30 11:16:32 -07:00
Alan Mishchenko	4e247281d2	Updating new mapper.	2013-06-29 23:45:04 -07:00
Alan Mishchenko	2d6d5a0f0b	Improvemesnts to the mapper.	2013-06-29 13:13:39 -07:00
Niklas Een	45ce151195	Forgot that LIN64 was used in place of LIN for 64-bit architectures. Fixed.	2013-06-29 02:23:23 -07:00
Niklas Een	43df8967b5	Fixed a problem in BridgeMode; it will now correctly detect if the pipe has been closed and exit ABC.	2013-06-28 21:11:26 -07:00
Alan Mishchenko	fe40fd5c80	Updating new mapper.	2013-06-28 16:46:18 -07:00
Alan Mishchenko	8c7ca72ea9	Adding timeout to command 'ind'.	2013-06-28 12:21:48 -07:00
Alan Mishchenko	184c5d4ea4	Adding timeout to the interpolant computation procedure.	2013-06-28 10:42:31 -07:00
Alan Mishchenko	e93cfb18ee	Data-structure experiment.	2013-06-27 13:54:44 -07:00
Alan Mishchenko	c7b1deed3e	Saving delay information after mapping.	2013-06-26 22:43:24 -07:00
Alan Mishchenko	868caab9c0	Minor compilation problem.	2013-06-26 22:30:54 -07:00
Alan Mishchenko	a1669ff617	Unifying representation of mapping in GIA.	2013-06-25 23:19:14 -07:00
Alan Mishchenko	a66dc0afb6	Unifying representation of mapping in GIA.	2013-06-25 23:05:51 -07:00
Alan Mishchenko	0985491dce	Improving integration of the 'if' mapper with GIA.	2013-06-25 19:46:07 -07:00
Alan Mishchenko	ed319531be	Improving integration of the 'if' mapper with GIA.	2013-06-25 17:19:44 -07:00
Alan Mishchenko	0255934884	Improving CEC (command 'dcec') by integrating XOR balancing.	2013-06-25 12:13:32 -07:00
Alan Mishchenko	94b26fe5a2	Improving CEC (command 'dcec') by integrating XOR balancing.	2013-06-25 11:49:25 -07:00
Alan Mishchenko	b255c7693e	New features to debug an test tech-mapping with choices.	2013-06-24 16:31:16 -07:00
Alan Mishchenko	faa220401c	New random FSM generation command 'genfsm'.	2013-06-22 14:03:23 -07:00
Alan Mishchenko	7ea3cdffb4	Limiting runtime limit checks in 'pdr'.	2013-06-22 11:56:34 -07:00
Alan Mishchenko	9eaa290b1f	Limiting runtime limit checks in 'pdr'.	2013-06-22 11:54:58 -07:00
Alan Mishchenko	cec6bd645e	Limiting runtime limit checks in 'pdr'.	2013-06-21 12:52:23 -07:00
Baruch Sterin	77cef7ca10	fix pyabc to link correctly on some linux version, fixing problem caused by the changeset named: Suggested changes to counting time in Abc_Clock()	2013-06-18 20:30:35 -07:00
Alan Mishchenko	bc39220df4	Performance improvements in 'pdr'.	2013-06-18 17:46:37 -07:00
Alan Mishchenko	a7339fdb99	Fix constant propagation after 'if'.	2013-06-18 13:56:46 -07:00
Alan Mishchenko	91f06107bf	Bug fixes in the implementation of varius resource limits in 'pdr'.	2013-06-18 12:12:01 -07:00
Alan Mishchenko	ac4962eb2d	Compiler warnings.	2013-06-18 11:32:24 -07:00
Alan Mishchenko	13dd754a8c	Suggested changes to counting time in Abc_Clock()	2013-06-18 11:26:37 -07:00
Alan Mishchenko	b91c41659e	Bug fix in gate sizing.	2013-06-16 22:41:40 -07:00
Alan Mishchenko	25db1d5ae0	New MFS package (bug fix).	2013-06-07 00:40:00 -05:00
Alan Mishchenko	8108655263	Integrating new MFS package with GIA manager.	2013-06-04 21:04:56 -05:00
Alan Mishchenko	90a88462c4	New MFS package.	2013-05-31 02:01:36 -07:00
Alan Mishchenko	ba309121d7	New MFS package.	2013-05-31 00:56:10 -07:00
Alan Mishchenko	338845a21d	New MFS package.	2013-05-30 14:52:34 -07:00
Alan Mishchenko	3c97892514	New MFS package.	2013-05-30 14:09:50 -07:00
Alan Mishchenko	67127b838d	New DSD detection code.	2013-05-30 09:46:13 -07:00
Alan Mishchenko	c50c1fc662	Multiplexer profiling.	2013-05-27 17:48:17 -07:00
Alan Mishchenko	37077748a1	Moving one declaration to the header file.	2013-05-27 15:21:11 -07:00
Alan Mishchenko	22bdf62465	Adding a wrapper around clock() for more accurate time counting in ABC.	2013-05-27 15:14:42 -07:00
Alan Mishchenko	19c25fd6aa	Adding a wrapper around clock() for more accurate time counting in ABC.	2013-05-27 15:09:23 -07:00
Alan Mishchenko	94356f0d1f	Several small changes to the MFS packages.	2013-05-27 14:39:08 -07:00
Alan Mishchenko	755935a6df	Added switch -M to set max size of two-cube divisors to extract (often helps both runtime and quality).	2013-05-27 13:34:22 -07:00
Alan Mishchenko	446cfcf8a6	Changing how often timeout is checked in the SAT solver and several application packages.	2013-05-27 12:07:26 -07:00
Alan Mishchenko	c27556c569	New MFS package.	2013-05-27 09:54:39 -07:00
Alan Mishchenko	0cad45fa90	New MFS package.	2013-05-27 09:49:13 -07:00
Alan Mishchenko	fb6eaaf5d9	New MFS package.	2013-05-26 16:12:44 -07:00
Alan Mishchenko	ed3d3dfc8e	New MFS package.	2013-05-26 13:34:24 -07:00
Alan Mishchenko	8e639c3d79	New command 'putontop' to concatenate networks for don't-care-based optimization.	2013-05-25 22:13:46 -07:00
Alan Mishchenko	94a75fe6d8	New MFS package.	2013-05-25 18:10:45 -07:00
Alan Mishchenko	f47cc6cefc	New MFS package.	2013-05-25 11:14:12 -07:00
Alan Mishchenko	40d8cdabba	New MFS package.	2013-05-25 09:15:03 -07:00
Alan Mishchenko	9268c10023	New MFS package.	2013-05-25 00:45:22 -07:00
Alan Mishchenko	d5234332fb	New MFS package.	2013-05-24 22:35:22 -07:00
Alan Mishchenko	283abd4795	New MFS package.	2013-05-24 19:54:28 -07:00
Alan Mishchenko	ac037cbb96	New MFS package.	2013-05-23 23:22:12 -07:00
Alan Mishchenko	28e065b0ae	Counter-example depth minimization.	2013-05-22 11:02:56 -07:00
Alan Mishchenko	b7d670ecf2	Bug fix in saving CEXes and CEX vectors.	2013-05-21 17:28:15 -07:00
Alan Mishchenko	c31e593b09	Windows Visual Studio 2008 warnings.	2013-05-20 14:25:27 -07:00
Alan Mishchenko	1e34a38b16	g++ warnings.	2013-05-19 22:14:50 -07:00
Alan Mishchenko	6ad94cd988	Making changes suggested by Mark Jarvin.	2013-05-19 21:50:09 -07:00
Alan Mishchenko	232fe09ee4	Bug fix in &frames.	2013-05-19 21:27:23 -07:00
Alan Mishchenko	6682d6b0e7	Bug fix in &mprove.	2013-05-19 12:22:03 -07:00
Alan Mishchenko	67357cda2f	Added new switched to command &frames.	2013-05-19 10:58:36 -07:00
Alan Mishchenko	354333f98a	Changing command 'history' to have simpler interface.	2013-05-18 23:24:29 -07:00
Alan Mishchenko	e86e4b6698	Added switch -I <file_name> to &sim to perform simulation with the user's simulation pattern.	2013-05-18 23:19:51 -07:00
Alan Mishchenko	2a71e3e719	Potential improvement to &scorr.	2013-05-18 22:17:24 -07:00
Alan Mishchenko	68e1a07fdb	Improvements to 'bmc3'.	2013-05-18 17:31:23 -07:00
Alan Mishchenko	29a995685d	SAT variable profiling.	2013-05-18 15:02:26 -07:00
Alan Mishchenko	dfcdffe4be	Fixed gap timeout in 'pdr'.	2013-05-18 13:22:05 -07:00
Alan Mishchenko	c83e1d906a	SAT variable profiling.	2013-05-18 12:35:29 -07:00
Alan Mishchenko	5766472bb6	SAT variable profiling.	2013-05-18 11:30:13 -07:00
Alan Mishchenko	7bc2fb5199	SAT variable profiling.	2013-05-18 11:20:07 -07:00
Alan Mishchenko	f9da2c790f	SAT variable profiling.	2013-05-18 11:03:32 -07:00
Alan Mishchenko	0328488bdf	SAT variable profiling.	2013-05-18 10:52:07 -07:00
Alan Mishchenko	29ee997bb9	SAT variable profiling (undo).	2013-05-18 00:35:21 -07:00
Alan Mishchenko	66ff650f48	SAT variable profiling.	2013-05-18 00:34:37 -07:00
Alan Mishchenko	84b3b91447	SAT variable profiling (undo).	2013-05-18 00:33:18 -07:00
Alan Mishchenko	86e38c2a36	SAT variable profiling.	2013-05-18 00:31:06 -07:00
Alan Mishchenko	92dcffcfb8	Adding support of XOR/MUX in GIA.	2013-05-17 17:09:29 -07:00
Alan Mishchenko	2afef15a1e	Adding support of XOR/MUX in GIA.	2013-05-17 17:06:27 -07:00
Alan Mishchenko	e04ded5640	Undoing commit from Nov 12, 2012: Extending GIA to represent pintypes and pins.	2013-05-17 12:05:28 -07:00
Alan Mishchenko	760c1f60d2	Adding new command &mprove for proving groups of properties.	2013-05-17 11:50:16 -07:00
Alan Mishchenko	1dd80e1cfa	Bug fix in the timeout mechanism of 'pdr'.	2013-05-17 08:38:46 -07:00
Alan Mishchenko	7be3e3e6b4	Adding 'zeropo -o' to replace a given PO by const 1.	2013-05-15 00:17:06 -07:00
Alan Mishchenko	533ff6984e	Commenting assertion that does not hold in AIGER 1.9, accoring to Baruch Sterin.	2013-05-13 23:25:34 -07:00
Alan Mishchenko	3880623c9b	Extending cube representation to handle SOPs with many cubes.	2013-05-12 23:23:18 -07:00
Alan Mishchenko	9d219eee4b	New MFS package.	2013-05-12 19:09:28 -07:00
Alan Mishchenko	7bcd75d80a	SAT sweeping under constraints (bug fix).	2013-05-12 10:19:33 -07:00
Alan Mishchenko	6610f1c78e	Preprocessing SOPs given to 'fx' to be D1C-free and SCC-free. Handling the case of non-prime SOPs.	2013-05-11 17:16:09 -07:00
Alan Mishchenko	f2abd6b8a9	Preprocessing SOPs given to 'fx' to be D1C-free and SCC-free. Handling the case of non-prime SOPs.	2013-05-11 17:01:13 -07:00
Alan Mishchenko	cac32a32c7	Enabled switch 'fx -N <num>' to extract a fixed number of divisors.	2013-05-09 12:51:18 -07:00
Alan Mishchenko	964c5cd5df	Typo in the comment.	2013-05-09 12:23:50 -07:00
Alan Mishchenko	22806448c1	Adding comment about using 'dprove' for sequential synthesis.	2013-05-09 12:01:29 -07:00
Alan Mishchenko	7c7d527755	Changing per-output runtime limit to be in miliseconds.	2013-05-09 11:35:04 -07:00
Alan Mishchenko	68566713da	Bug fix in the sweeper.	2013-05-08 10:24:00 -07:00
Alan Mishchenko	e7e21b00fe	Bug fix in the sweeper.	2013-05-07 20:48:05 -07:00
Alan Mishchenko	027dbbd492	Making fanin ordering available for netlists, not only networks.	2013-05-07 18:57:40 -07:00
Alan Mishchenko	ccf3caddb8	Bug fix in 'blockpo'.	2013-05-07 18:39:24 -07:00
Alan Mishchenko	a735d95a5b	SAT sweeping under constraints (bug fix).	2013-05-07 18:11:29 -07:00
Alan Mishchenko	51db560206	Procedures for sorting fanins of the nodes.	2013-05-06 18:51:48 -07:00
Alan Mishchenko	f02888635f	Procedures for sorting fanins of the nodes.	2013-05-06 18:19:20 -07:00
Alan Mishchenko	f321b27bb7	SAT sweeping under constraints.	2013-05-06 00:44:21 -07:00
Alan Mishchenko	05f7cd9ed2	Integration of the liveness property prover developed by Sayak Ray.	2013-05-05 21:08:55 -07:00
Alan Mishchenko	98cf5698a1	New fast extract.	2013-05-05 18:57:51 -07:00
Alan Mishchenko	7a78e30390	New fast extract.	2013-05-05 14:33:28 -07:00
Alan Mishchenko	a1ceb7617c	Making changes suggested by Mark Jarvin.	2013-05-05 09:06:53 -07:00
Alan Mishchenko	eacfad7622	Changing the queue to work in the same the array of costs is realloced.	2013-05-05 09:04:14 -07:00
Alan Mishchenko	7d3301584a	New fast extract.	2013-05-05 01:56:16 -07:00
Alan Mishchenko	a762c695d7	New fast extract.	2013-05-05 01:54:11 -07:00
Alan Mishchenko	7f700af6e2	C++ compiler errors.	2013-05-04 20:44:28 -07:00
Alan Mishchenko	cd4043ba7f	C++ compiler errors.	2013-05-04 20:41:40 -07:00
Alan Mishchenko	79f782c0e8	C++ compiler errors.	2013-05-04 20:37:14 -07:00
Alan Mishchenko	a11370946b	C++ compiler errors.	2013-05-04 20:36:20 -07:00
Alan Mishchenko	af6442a3ed	C++ compiler errors.	2013-05-04 20:34:25 -07:00
Alan Mishchenko	744d35d029	C++ compiler errors.	2013-05-04 20:32:38 -07:00
Alan Mishchenko	4aff2d134d	C++ compiler errors.	2013-05-04 20:28:05 -07:00
Alan Mishchenko	13ee4998c3	C++ compiler errors.	2013-05-04 20:24:53 -07:00
Alan Mishchenko	3945d382fe	Adding new API to the queue.	2013-05-04 20:24:35 -07:00
Alan Mishchenko	36d5ef4e62	Making changes suggested by Mark Jarvin.	2013-05-04 11:10:25 -07:00
Alan Mishchenko	95571be503	Changes to the ABC data-structures to allow for larger designs.	2013-05-04 10:48:46 -07:00
Alan Mishchenko	14f761950d	Fix to return equiv classes after improving &iso.	2013-05-03 21:53:13 -07:00
Alan Mishchenko	50df0813fb	Allowing 'constr' to reset remove currently defined constraints.	2013-05-03 19:59:18 -07:00
Alan Mishchenko	50095be5ac	Adding runtime limit per output to multi-output DPR (pdr -H <num_sec>).	2013-05-03 19:58:25 -07:00
Alan Mishchenko	a59968ce8c	Adding runtime limit per output to multi-output BMC (bmc3 -H <num_sec>).	2013-05-03 18:26:18 -07:00
Alan Mishchenko	0ca8a245da	Reading/writing MiniAIG and several minor changes.	2013-05-03 17:53:03 -07:00
Alan Mishchenko	fcd377405a	Compiler warnings.	2013-05-03 15:48:05 -07:00
Alan Mishchenko	6a49d1f4c6	Reading/writing MiniAIG and several minor changes.	2013-05-03 15:45:50 -07:00
Alan Mishchenko	e782bbb842	Commenting out a warning.	2013-05-02 14:07:55 -07:00
Alan Mishchenko	bc50421928	Minor changes and improvement in PO partitioning (command &popart).	2013-05-01 12:45:34 -07:00
Alan Mishchenko	1f573cfe58	Compiler warnings.	2013-05-01 00:13:29 -07:00
Alan Mishchenko	b94766bce5	Faster isomorphism detection (command &iso).	2013-05-01 00:10:53 -07:00
Alan Mishchenko	c53eb0b9e1	Changing the print-out of &iso.	2013-04-30 10:46:07 -07:00
Alan Mishchenko	3b1ebbaa28	SAT sweeping under constraints.	2013-04-28 19:17:59 -07:00
Alan Mishchenko	9e1765216b	Added option 'int -I <filename>' to specify file names to dump invariants.	2013-04-28 16:55:25 -07:00
Alan Mishchenko	266667d8b2	Improving local BDD construction from local SOPs and local AIGs.	2013-04-28 16:33:42 -07:00
Alan Mishchenko	58e1041ad8	Modified command 'eliminate' to perform traditional 'eliminate -1'.	2013-04-28 16:21:58 -07:00
Alan Mishchenko	a33821ab38	Added alias for 'eliminate'.	2013-04-28 15:41:29 -07:00
Alan Mishchenko	2044caa97e	Compiler warnings.	2013-04-28 15:12:55 -07:00
Alan Mishchenko	48d867f77d	Modified command 'eliminate' to perform traditional 'eliminate -1'.	2013-04-28 15:02:03 -07:00
Alan Mishchenko	8db0b9c0c6	Improving local BDD construction from local SOPs and local AIGs.	2013-04-28 12:34:03 -07:00
Alan Mishchenko	b09926e8e2	SAT sweeping under constraints.	2013-04-28 01:25:29 -07:00
Alan Mishchenko	17a0d944b3	SAT sweeping under constraints.	2013-04-27 22:38:01 -07:00
Alan Mishchenko	613e8b2ad6	SAT sweeping under constraints.	2013-04-27 18:37:39 -07:00
Alan Mishchenko	324d73c29a	New fast extract.	2013-04-27 15:23:12 -07:00
Alan Mishchenko	ae9a4407c4	Adding rollback for the other solver.	2013-04-25 16:02:40 -07:00
Alan Mishchenko	ecf75a075b	Compiler warnings.	2013-04-25 15:37:31 -07:00
Alan Mishchenko	fb6c9e8564	Compiler warnings.	2013-04-25 15:36:07 -07:00
Alan Mishchenko	486eacc542	SAT sweeping under constraints.	2013-04-25 15:32:30 -07:00
Alan Mishchenko	005f0e39d2	Adding command &filter_equiv to filter candidate equivalence classes using indexes of disproved POs after handling SRM as a multi-output miter.	2013-04-22 13:39:55 -07:00
Alan Mishchenko	85ea8e95c6	Fixing the way packing information is written.	2013-04-19 23:40:17 -07:00
Alan Mishchenko	30cfee7d19	Typo in the comments.	2013-04-19 11:41:18 -07:00
Alan Mishchenko	ca4145c7ef	Typo in the comments.	2013-04-19 11:21:39 -07:00
Alan Mishchenko	e0462d8d2e	Adding print-out of SOP literals with 'ps -f'.	2013-04-19 09:35:30 -07:00
Alan Mishchenko	df198d2cef	Enabled 'cec' to be applied to networks derived from BLIF with EXDCs.	2013-04-18 18:32:58 -07:00
Alan Mishchenko	c80fce00fe	Enabled reading the EXDC network by the default BLIF reader.	2013-04-18 17:39:13 -07:00
Alan Mishchenko	96b784ecd7	Fixing both AIGER readers (read_aiger and &r) to work with AIGER 1.9 (except for liveness properties).	2013-04-18 00:05:11 -07:00
Alan Mishchenko	61ecc9c633	Fixing both AIGER readers (read_aiger and &r) to work with AIGER 1.9 (except for liveness properties).	2013-04-17 23:48:58 -07:00
Alan Mishchenko	f6fb5600b1	Moves the code of create_abc_array to line 724.	2013-04-17 23:35:51 -07:00
Alan Mishchenko	05c8df33f2	Compiler warning.	2013-04-17 22:23:29 -07:00
Alan Mishchenko	6502aa82d6	Compiler warning.	2013-04-17 22:21:30 -07:00
Alan Mishchenko	06ba3d3e6c	Adding command &filter_equiv to filter candidate equivalence classes using indexes of disproved POs after handling SRM as a multi-output miter.	2013-04-17 22:18:43 -07:00
Alan Mishchenko	bdae7c625a	Adding callback to bmc3, sim3, pdr in the multi-output mode.	2013-04-17 20:46:14 -07:00
Alan Mishchenko	7808ee8e70	Adding parameter structure for rarity simulation.	2013-04-17 19:40:02 -07:00
Alan Mishchenko	95d9aae3e7	Bug fix in '&reachy' having to do with incorrect handling of resource limits.	2013-04-17 18:36:54 -07:00
Alan Mishchenko	9b6efa34ad	Bug fix in 'write_pla'.	2013-04-15 22:59:54 -07:00
Alan Mishchenko	45d82477b7	Saving network name in 'blockpo'.	2013-04-12 00:10:21 -07:00
Alan Mishchenko	3b1c632b15	Bug fix in 'blockpo'.	2013-04-11 11:03:26 -07:00
Alan Mishchenko	4876f1e21c	Added switch '-x' to save CEXes in 'bmc3' and 'pdr' in multi-output mode.	2013-04-09 16:26:28 -07:00
Alan Mishchenko	f1cd879786	New MFS package.	2013-04-03 13:01:49 -07:00
Alan Mishchenko	0a8a505638	New MFS package.	2013-04-03 12:40:41 -07:00
Alan Mishchenko	e4cf178041	New MFS package.	2013-04-03 12:39:24 -07:00
Alan Mishchenko	23229e03bf	Fixing the format mismatch in writing mapped GIA.	2013-04-02 23:03:30 -07:00
Alan Mishchenko	7e85276780	New MFS package.	2013-04-02 22:22:49 -07:00
Alan Mishchenko	b902b00779	Small changes to LMS code.	2013-04-01 21:41:53 -07:00
Alan Mishchenko	f99e5cd9d6	Shrink for 6-LUTs.	2013-04-01 20:21:34 -07:00
Alan Mishchenko	28f12c5f06	Shrink for 6-LUTs.	2013-04-01 19:25:21 -07:00
Alan Mishchenko	5ec77b66e1	Updating 'sim3' to move the design into the last rare state.	2013-04-01 18:41:56 -07:00
Alan Mishchenko	48fce79453	Updating 'sim3' to move the design into the last rare state.	2013-04-01 18:39:42 -07:00
Alan Mishchenko	2c275b8c71	Compiler warnings.	2013-03-31 23:14:12 -07:00
Alan Mishchenko	2650f94598	Shrink for 6-LUTs.	2013-03-31 23:09:51 -07:00
Alan Mishchenko	017c35baf2	Updating bmc3 printout to show the number of failed outputs.	2013-03-30 17:43:15 -07:00
Alan Mishchenko	900bdfac17	Bug fix in the printout of &popart.	2013-03-30 17:11:37 -07:00
Alan Mishchenko	4cb042f8c5	Bug fix in the printout of &popart.	2013-03-30 16:59:22 -07:00
Alan Mishchenko	ca7c801150	Improving verbose printout of 'sim3' when solving multiple outputs.	2013-03-30 15:15:26 -07:00
Alan Mishchenko	be8125f364	Updating 'pdr' to report the number of failed POs.	2013-03-30 14:31:09 -07:00
Alan Mishchenko	05ea180902	Compiler warnings.	2013-03-30 14:20:10 -07:00
Alan Mishchenko	1d4674e548	Compiler warnings.	2013-03-30 14:17:10 -07:00
Alan Mishchenko	270d36ac05	Improved 'trim' and added 'dropsat' to replace sat POs by constant 0.	2013-03-30 14:11:39 -07:00
Alan Mishchenko	5ace683835	Updating bmc3 printout to show the number of failed outputs.	2013-03-30 13:02:32 -07:00
Alan Mishchenko	851c8551c0	Compiler warnings.	2013-03-30 12:31:39 -07:00
Alan Mishchenko	7f11278705	Compiler warnings.	2013-03-30 12:30:04 -07:00
Alan Mishchenko	d3a4dce10e	Updating bmc3 printout to show the number of failed outputs.	2013-03-30 12:24:30 -07:00
Alan Mishchenko	cc7d3e3747	Added dumping QDIMACS files in command 'qbf'.	2013-03-28 22:21:05 -07:00
Alan Mishchenko	b7cd22786e	Changed to 'print_level' to be less verbose by default.	2013-03-28 20:09:08 -07:00
Alan Mishchenko	fdb8d83f7a	Adding command &miter2 to derive a specified sequential miter.	2013-03-28 12:30:27 -07:00
Alan Mishchenko	7a2132b237	Added dumping QDIMACS files in command 'qbf'.	2013-03-27 17:21:08 -07:00
Alan Mishchenko	272089221a	Removing hard-coded limit on the number of solving iterations in command 'qbf'.	2013-03-27 12:51:57 -07:00
Alan Mishchenko	e64cad10e2	Adding command &miter2 to derive a specified sequential miter.	2013-03-27 12:43:00 -07:00
Alan Mishchenko	4c00829900	Modified SCL gate library to read/write gate formula.	2013-03-26 20:19:50 -07:00
Alan Mishchenko	dfb065fa55	Fixing the dump of SAT solver into a CNF file.	2013-03-26 18:42:47 -07:00
Alan Mishchenko	d010231043	The result of merging.	2013-03-26 17:29:26 -07:00
Alan Mishchenko	e5054fa757	Making sure 'pdr -a' return UNDEC if it did not finish proving the remaining outputs to be UNSAT.	2013-03-26 16:57:42 -07:00
Alan Mishchenko	d80071be84	Fixing a bug in &cycle, which could generate an unreachable state.	2013-03-26 16:04:33 -07:00
Alan Mishchenko	17af45424f	Commenting out undesirable warnings/assertions.	2013-03-26 14:32:21 -07:00
Alan Mishchenko	93b1031664	Replacing unsafe Aig_ManObjNum() by Aig_ManObjNumMax().	2013-03-19 12:42:17 +01:00
Alan Mishchenko	a96436e890	Commenting out assertion that fails in 'dch', not sure why.	2013-03-14 19:07:33 +01:00
Alan Mishchenko	a3b8b0a59d	Fixing gap timeout in 'bmc3'.	2013-03-13 12:02:41 +01:00
Alan Mishchenko	bf795e57cf	Handling special case in 'fold' when the network is combinational.	2013-03-13 11:47:17 +01:00
Alan Mishchenko	ec2973947c	PO partitioning algorithm.	2013-03-09 13:37:37 -08:00
Alan Mishchenko	1eb4059f05	PO partitioning algorithm.	2013-03-09 13:33:12 -08:00
Alan Mishchenko	b30d55b749	PO partitioning algorithm.	2013-03-09 12:49:36 -08:00
Alan Mishchenko	10729d50d4	Modified Python API iso_eq_classes to be eq_classes.	2013-03-09 12:26:11 -08:00
Alan Mishchenko	eee8ceb0fa	PO partitioning algorithm.	2013-03-09 12:19:11 -08:00
Alan Mishchenko	ae091e695e	Integrating box library.	2013-03-08 18:58:54 -08:00
Alan Mishchenko	467f8b651a	Making 'bmc3' with switch '-a' not save CEXes.	2013-03-07 22:04:35 -08:00
Alan Mishchenko	7adc34ad9e	Fixing gap timeout in 'pdr'.	2013-03-07 21:51:26 -08:00
Alan Mishchenko	a3bdba6875	Modified command 'init' to allow for specific init values.	2013-03-07 20:38:55 -08:00
Alan Mishchenko	1ce537e992	Misc changes.	2013-03-07 13:04:16 -08:00
Alan Mishchenko	1a6354c22f	Improvements to the hierarchy/timing manager.	2013-03-05 17:01:41 -08:00
Alan Mishchenko	dcc8907161	Improvements to the hierarchy/timing manager.	2013-03-05 16:53:18 -08:00
Alan Mishchenko	4ff5203f4c	Improvements to the hierarchy/timing manager.	2013-03-05 13:13:15 -08:00
Alan Mishchenko	0c9337f627	User-controlable SAT sweeper.	2013-03-04 00:33:36 -08:00
Alan Mishchenko	c959cf1ba1	User-controlable SAT sweeper.	2013-03-03 22:43:01 -08:00
Alan Mishchenko	b680f12256	User-controlable SAT sweeper.	2013-02-27 13:52:45 -05:00
Alan Mishchenko	a27a7bc827	User-controlable SAT sweeper and other small changes.	2013-02-27 12:12:23 -05:00
Alan Mishchenko	236be84149	User-controlable SAT sweeper.	2013-02-27 09:40:45 -05:00
Alan Mishchenko	12253f47ce	User-controlable SAT sweeper.	2013-02-26 17:10:37 -05:00
Alan Mishchenko	c98119594e	User-controlable SAT sweeper.	2013-02-26 16:59:21 -05:00
Alan Mishchenko	88c273c25e	User-controlable SAT sweeper.	2013-02-26 15:52:26 -05:00