luke
/
abc
mirror of https://github.com/YosysHQ/abc.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity
3,206 Commits 27 Branches 57 Tags 58 MiB
Commit Graph

3136 Commits

Author SHA1 Message Date
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
Alan Mishchenko ceca5da3e9 User-controlable SAT sweeper. 2013-02-26 15:46:54 -05:00
Alan Mishchenko 458c0538d6 User-controlable SAT sweeper. 2013-02-26 15:38:37 -05:00
Alan Mishchenko a1c543c6c9 User-controlable SAT sweeper. 2013-02-26 15:23:04 -05:00
Alan Mishchenko 044d2f0aba User-controlable SAT sweeper. 2013-02-26 14:44:59 -05:00
Alan Mishchenko fc77972625 User-controlable SAT sweeper. 2013-02-26 14:41:09 -05:00
Alan Mishchenko 70ccd477cf User-controlable SAT sweeper. 2013-02-26 14:25:24 -05:00
Alan Mishchenko ef472c6c57 User-controlable SAT sweeper. 2013-02-26 14:18:42 -05:00
Alan Mishchenko 6e65cd1431 User-controlable SAT sweeper. 2013-02-26 14:13:23 -05:00
Alan Mishchenko b1c0b338a0 User-controlable SAT sweeper. 2013-02-26 12:24:07 -05:00
Alan Mishchenko c4b64ed8cc User-controlable SAT sweeper. 2013-02-26 12:21:21 -05:00
Alan Mishchenko 59bc3cb9d9 User-controlable SAT sweeper. 2013-02-26 11:26:40 -05:00
Alan Mishchenko 8e68df2c6a User-controlable SAT sweeper. 2013-02-26 11:23:30 -05:00
Alan Mishchenko d8d1f6c376 User-controlable SAT sweeper. 2013-02-26 10:46:04 -05:00
Alan Mishchenko 7e293ebe08 User-controlable SAT sweeper. 2013-02-25 22:07:32 -05:00
Alan Mishchenko fe3b2e250b User-controlable SAT sweeper. 2013-02-25 17:49:59 -05:00
Alan Mishchenko 95ea102d97 Started PO partitioning command. 2013-02-25 08:20:44 -05:00
Alan Mishchenko 69dd1337b0 Started PO partitioning command. 2013-02-24 09:27:25 -08:00
Alan Mishchenko fdba646b64 Integrating sweeping information. 2013-02-23 17:13:42 -08:00
Alan Mishchenko 7802db98af Integrating sweeping information. 2013-02-23 16:08:10 -08:00
Alan Mishchenko 8281b56e9e Compiler warnings. 2013-02-23 14:01:09 -08:00
Alan Mishchenko 1c744cf10a K-hot STG encoding. 2013-02-23 13:53:22 -08:00
Alan Mishchenko a37737114e Result of merging with the previous change. 2013-02-23 13:12:53 -08:00
Alan Mishchenko e5c60e2b92 K-hot STG encoding. 2013-02-23 12:49:43 -08:00
Alan Mishchenko 2e14b73af6 Allowing for Verilog names of the type slash-<name>-space-[N]. 2013-02-22 13:49:07 -08:00
Alan Mishchenko 91ca83e864 Adding new features to 'dualrail'. 2013-02-21 22:51:25 -08:00
Alan Mishchenko dfe5f511b2 Adding new features to 'dualrail'. 2013-02-21 22:46:53 -08:00
Alan Mishchenko f33c3007b2 Compiler warnings. 2013-02-21 12:22:58 -08:00
Alan Mishchenko dd52905fa3 Enabling two-timeframe property check in the interpolation procedure. 2013-02-21 12:10:35 -08:00
Alan Mishchenko 24823dce0c Integrating sweeping information. 2013-02-20 23:34:27 -08:00
Alan Mishchenko e11c5aa3a0 Integrating sweeping information. 2013-02-20 23:23:50 -08:00
Alan Mishchenko b096809458 Integrating sweeping information. 2013-02-20 23:22:01 -08:00
Alan Mishchenko aa7daf1e51 Integrating sweeping information. 2013-02-20 17:13:29 -08:00
Alan Mishchenko 3e59c102e8 Integrating sweeping information. 2013-02-20 16:21:15 -08:00
Alan Mishchenko 466c4e9992 Integrating hierarchy information (reporting incorrect topological order). 2013-02-20 14:23:00 -08:00
Alan Mishchenko f4c305fc46 Adding STG generation (&era -d) and STG encoding (&read_stg <file>). 2013-02-20 12:52:11 -08:00
Alan Mishchenko a82b0a8ad5 New command &cycle, which is faster than 'cycle'. 2013-02-19 23:51:13 -08:00
Alan Mishchenko 59fe3268a7 Adding STG generation (&era -d) and STG encoding (&read_stg <file>). 2013-02-19 23:07:29 -08:00
Alan Mishchenko 99a9718355 Integrating sweeping information. 2013-02-19 12:56:36 -08:00
Alan Mishchenko cda61cb2fa Integrating sweeping information. 2013-02-18 23:18:42 -08:00
Alan Mishchenko d415a1adce Integrating packing information. 2013-02-17 19:10:54 -08:00
Alan Mishchenko baa944e6a2 Added 'gap timeout' to pdr. 2013-02-16 14:54:11 -08:00
Alan Mishchenko 4dc7eb6f73 Added 'gap timeout' to bmc3 and sim3. 2013-02-16 13:33:43 -08:00
Alan Mishchenko fd0ff0171e Added 'gap timeout' to bmc3 and sim3. 2013-02-15 16:47:18 -08:00
Alan Mishchenko 8866a1aa6d Fixing performance problem in 'cone -s' 2013-02-13 19:42:11 -08:00
Alan Mishchenko f402293bcd Integration of timing manager. 2013-02-06 19:36:05 +07:00
Alan Mishchenko 930369f36f Integration of timing manager. 2013-02-03 18:02:22 +08:00
Alan Mishchenko 61f8112da0 Corner-case bug fix in PDR. 2013-02-01 23:56:02 +08:00
Alan Mishchenko 6a0dca4535 Integration of timing manager. 2013-02-01 23:55:12 +08:00
Alan Mishchenko 30ec58fcda Added switch 'zeropo -s' to skip comb sweep after removing a PO. 2013-02-01 03:57:17 +07:00
Baruch Sterin e6be7ddfe6 pyabc: allow returning large result from sub processes 2013-01-30 23:50:53 -08:00
Alan Mishchenko e9286513fd Fixing compilation problems on Linux-32 related to constants of type unsigned long long. 2013-01-31 11:07:28 +07:00
Alan Mishchenko 686f8fdaa6 Integration of timing manager. 2013-01-30 19:04:45 +07:00
Alan Mishchenko a2eb6f9a07 Added a fix for the writing an AIG that is not normalized. 2013-01-30 17:26:04 +07:00
Alan Mishchenko 7e598cd231 Fixing compilation problems on Linux-32 related to constants of type unsigned long long. 2013-01-30 16:15:53 +07:00
Baruch Sterin aaacf57304 pyabc: fix _cex_put to not call Abc_CexDup() twice 2013-01-25 12:50:11 -08:00
Baruch Sterin 43d5435124 pyabc: deal better with null counter examples and remove special case handling 2013-01-25 03:36:57 -08:00
Alan Mishchenko 4aa434ad11 Updated CEX code to handle trivial CEX of the type (Abc_Cex_t*)1. 2013-01-25 14:16:31 +07:00
Alan Mishchenko 557448400e Added new Python API is_const_po( int iPoNum ), which returns 0/1 if current network is an AIG and the given PO has const 0/1 function. 2013-01-25 10:25:34 +07:00
Alan Mishchenko fde8c8b2d0 Added switch &trim -V <num> to remove const POs with specific value <num>. 2013-01-25 10:02:11 +07:00
Alan Mishchenko 853222ee7b Fixed a corner-case when 'sim3 -a' does not work for costant POs. 2013-01-25 06:49:49 +07:00
Alan Mishchenko edd4b2a29c Added switch &trim -V <num> to remove const POs with specific value <num>. 2013-01-25 06:19:51 +07:00
Alan Mishchenko aa9c87cf8d Extending verification status file format to allow for SAT status without CEX. 2013-01-25 05:59:56 +07:00
Alan Mishchenko 4bd54729d7 Integration of timing manager. 2013-01-25 05:57:52 +07:00
Alan Mishchenko 4efc89d342 Enabled detecting CEXes in multiple POs without stopping (sim3 -a). 2013-01-23 16:50:45 +07:00
Alan Mishchenko dfd871c24d Integration of timing manager. 2013-01-23 13:57:05 +07:00
Alan Mishchenko 6863688789 Enabled detecting CEXes in multiple POs without stopping (sim3 -a). 2013-01-23 12:37:44 +07:00
Alan Mishchenko ac1207abea Enabled detecting CEXes in multiple POs without stopping (sim3 -a). 2013-01-23 02:07:50 +07:00
Alan Mishchenko 70655d5d31 Integration of timing manager. 2013-01-23 01:34:34 +07:00
Alan Mishchenko 8287b05a09 Reintroduced the old abstraction procedure Saig_ManCexAbstractionFlops() formerly called from &abs_start for backward compatibility. 2013-01-08 14:46:13 +08:00
Alan Mishchenko 19749cb8f8 Fixing C++ compilation issues. 2013-01-08 14:19:42 +08:00
Alan Mishchenko a3b5a6ab4a Fixing C++ compilation issues. 2013-01-08 14:18:13 +08:00
Alan Mishchenko 1b6662ce4a Fixing C++ compilation issues. 2013-01-08 14:16:59 +08:00
Alan Mishchenko 562b612691 Fixing C++ compilation issues. 2013-01-08 14:15:39 +08:00
Alan Mishchenko a625caa17d Fixing C++ compilation issues. 2013-01-08 13:56:20 +08:00
Alan Mishchenko f26e760e9d Fixing C++ compilation issues. 2013-01-08 13:33:17 +08:00
Alan Mishchenko 621599fce6 Fixing C++ compilation issues. 2013-01-08 13:28:58 +08:00
Alan Mishchenko 25e27a3a3e Fixing C++ compilation issues. 2013-01-08 13:27:00 +08:00
Alan Mishchenko 1780130f08 Fixing C++ compilation issues. 2013-01-08 13:25:06 +08:00
Alan Mishchenko 394bc276d2 Fixing C++ compilation issues. 2013-01-08 13:23:52 +08:00
Alan Mishchenko b6ab511310 Fixing C++ compilation issues. 2013-01-08 13:19:55 +08:00
Alan Mishchenko 08a9f58aba Fixing C++ compilation issues. 2013-01-08 13:17:15 +08:00
Alan Mishchenko 81a1d97079 Fixing C++ compilation issues. 2013-01-08 13:14:45 +08:00
Alan Mishchenko a8dad4ed61 Fixing C++ compilation issues. 2013-01-08 13:12:28 +08:00
Alan Mishchenko a2c718fcd7 Technology mapper. 2013-01-08 06:44:48 +08:00
Alan Mishchenko a0819f62ab Adding support of flops to the conversion of MiniAIG into ABC network. 2013-01-08 06:42:25 +08:00
Alan Mishchenko 64e907d153 Technology mapper. 2013-01-08 05:51:36 +08:00
Alan Mishchenko 79f3ecb15f Technology mapper. 2013-01-08 05:50:37 +08:00
Alan Mishchenko e1a5556e8c New unrolling manager. 2012-12-24 08:16:19 +07:00
Alan Mishchenko 62a4e2f157 Improvements to DSD manager. 2012-12-15 23:19:37 -08:00
Alan Mishchenko bfad654205 Assembling timing/hierarchy manager from input data. 2012-12-15 17:39:34 -08:00
Alan Mishchenko 82050bbe11 Assembling timing/hierarchy manager from input data. 2012-12-13 15:18:53 -08:00
Alan Mishchenko 5ef3c1db3a Unifification of custom extensions. 2012-12-13 10:17:56 -08:00
Alan Mishchenko b2bd941a7e Unifification of custom extensions. 2012-12-13 10:15:32 -08:00
Alan Mishchenko 5a8f8b8aa4 Unifification of custom extensions. 2012-12-13 10:11:39 -08:00
Alan Mishchenko f0d961c825 Unifification of custom extensions. 2012-12-13 10:02:35 -08:00
Alan Mishchenko 72d1151231 Improvements to DSD manager. 2012-12-11 22:37:34 -08:00
Alan Mishchenko ff62cd8349 Improvements to DSD manager. 2012-12-10 18:36:20 -08:00
Alan Mishchenko f35848ed97 Improvements to DSD manager. 2012-12-10 18:03:32 -08:00
Alan Mishchenko da9d1761c9 Improvements to DSD manager. 2012-12-10 17:27:38 -08:00
Alan Mishchenko ad67f4ef25 Assembling timing/hierarchy manager from input data. 2012-12-10 16:04:01 -08:00
Alan Mishchenko 2575a5d683 Unifification of custom extensions. 2012-12-10 13:56:40 -08:00
Alan Mishchenko f7b7ab59cf Retiring old 'fpga' command and package. 2012-12-10 01:14:55 -08:00
Alan Mishchenko dc843b03c9 Renaming If_Lut_t into If_LibLut_t. 2012-12-10 01:07:41 -08:00
Alan Mishchenko 5eedc74a15 Adding box library. 2012-12-10 00:59:54 -08:00
Alan Mishchenko 8355eb1d41 Enabling multi-output solving in 'pdr'. 2012-12-09 17:52:34 -08:00
Alan Mishchenko ce63869fe7 Enabling multi-output solving in 'pdr'. 2012-12-09 17:33:44 -08:00
Alan Mishchenko 8761942258 Renaming multi-output mode enable switch 'bmc3 -s' to be 'bmc3 -a'. 2012-12-09 16:56:43 -08:00
Alan Mishchenko 9fc1cd0b3f Enabling multi-output solving in 'pdr'. 2012-12-09 15:12:40 -08:00
Alan Mishchenko 58d4012a55 Enabling multi-output solving in 'pdr'. 2012-12-09 14:46:16 -08:00
Alan Mishchenko 9f396a0d7e Enabling multi-output solving in 'pdr'. 2012-12-09 10:11:52 -08:00
Alan Mishchenko 8a08453af2 Corner-case bug fix in &rpm. 2012-12-09 10:05:34 -08:00
Alan Mishchenko b65ae7349a Enabling multi-output solving in 'pdr'. 2012-12-09 09:47:48 -08:00
Alan Mishchenko 79aa1f00d6 Deriving CEX after phase/tempor/reparam. 2012-12-09 08:19:00 -08:00
Alan Mishchenko 0058cefee3 Deriving CEX after phase/tempor/reparam. 2012-12-09 00:19:18 -08:00
Alan Mishchenko a68593c4f2 Deriving CEX after phase/tempor/reparam. 2012-12-08 12:44:08 -08:00
Alan Mishchenko 8e5d771feb Deriving CEX after phase/tempor/reparam. 2012-12-08 12:38:31 -08:00
Alan Mishchenko 5d74635f7b Restoring correct behavior of 'tempor' after a change in counting BMC frames in 'bmc2'. 2012-12-07 22:07:47 -08:00
Alan Mishchenko 7b9132311e Removed useless code from the sizing package. 2012-12-04 18:59:09 -08:00
Alan Mishchenko 8c04d9501f Making 'scorr -c' applicable to seq benchmarks without constraints. 2012-12-04 18:35:44 -08:00
Alan Mishchenko fe694d38e3 DSD manager. 2012-12-02 15:59:54 -08:00
Alan Mishchenko f1749fa594 Enabling additional stat printouts. 2012-12-02 01:44:17 -08:00
Alan Mishchenko 4d67a04b19 Enabling additional stat printouts. 2012-12-02 01:25:53 -08:00
Alan Mishchenko a797ea0cc7 Enabling additional stat printouts. 2012-12-02 00:00:29 -08:00
Alan Mishchenko 86fcba60c2 Enabling command &append for combiming multiple AIGs. 2012-12-01 23:13:24 -08:00
Alan Mishchenko 01bea8ef3a Enabling additional stat printouts. 2012-12-01 22:16:22 -08:00
Alan Mishchenko 2469058bb4 Counter-example analysis and optimization. 2012-12-01 19:49:19 -08:00
Alan Mishchenko 9b6ec8e84f Counter-example analysis and optimization. 2012-11-30 17:24:09 -08:00
Alan Mishchenko cd32ae50c4 Counter-example analysis and optimization. 2012-11-30 17:22:44 -08:00
Alan Mishchenko f1a5288904 Counter-example analysis and optimization. 2012-11-30 11:38:05 -08:00
Alan Mishchenko c48e3c7ab4 Counter-example analysis and optimization. 2012-11-29 13:34:07 -08:00
Alan Mishchenko 661265984c Counter-example analysis and optimization. 2012-11-28 16:18:39 -08:00
Alan Mishchenko b2fd119933 DSD manager. 2012-11-20 21:34:40 -08:00
Alan Mishchenko ffbe3bc576 DSD manager. 2012-11-19 23:42:05 -08:00
Alan Mishchenko d671adbb86 DSD manager. 2012-11-16 17:04:01 -08:00
Alan Mishchenko a0052e22b4 Added switch 'cexcut -m' to generate bad states for all frames after G. 2012-11-15 16:00:29 -08:00
Alan Mishchenko c2e467d55b Added switch 'cexcut -n' to generate only one bad state. 2012-11-15 10:59:57 -08:00
Alan Mishchenko 2eb2402b01 Added command 'cexcut' and 'cexmerge'. 2012-11-14 20:50:18 -08:00
Alan Mishchenko 9173799c96 Added command 'cexcut' and 'cexmerge'. 2012-11-14 18:22:13 -08:00
Alan Mishchenko be29f37baa Added command 'cexcut' and 'cexmerge'. 2012-11-14 18:20:35 -08:00
Alan Mishchenko 9d5d804610 Added command 'cexcut' and 'cexmerge'. 2012-11-14 16:09:49 -08:00
Alan Mishchenko d8e0403296 Added command 'cexsave' and 'cexload'. 2012-11-14 14:33:27 -08:00
Alan Mishchenko ddab80aea4 Isolating BMC code into a separate package. 2012-11-14 14:00:47 -08:00
Alan Mishchenko be7a4e4259 Isolating BMC code into a separate package. 2012-11-14 13:55:24 -08:00
Alan Mishchenko aba8ff4ba0 Modifying parameter limits to allow mapping into 2-LUTs. 2012-11-14 12:56:45 -08:00
Alan Mishchenko abefcf8fc8 DSD manager. 2012-11-13 20:44:34 -08:00
Alan Mishchenko 30b8c3d422 Made print-out of frontier cut an option ('-c') in '&ps'. 2012-11-12 14:08:10 -08:00
Alan Mishchenko 566c7d7152 Extending GIA to represent pintypes and pins. 2012-11-12 13:57:51 -08:00
Alan Mishchenko e779b8c889 Improved DSD. 2012-11-11 21:37:27 -08:00
Alan Mishchenko e52dc77430 Improved DSD. 2012-11-11 14:40:42 -08:00
Alan Mishchenko 1116313d28 Improved DSD. 2012-11-11 14:38:24 -08:00
Alan Mishchenko 21e6a59ed8 Improved DSD. 2012-11-11 13:26:36 -08:00
Alan Mishchenko 1bef28e6c6 Improved DSD. 2012-11-10 20:45:16 -08:00
Alan Mishchenko ee789ba902 Improved DSD. 2012-11-10 19:37:53 -08:00
Alan Mishchenko e0f27f5ac3 Improved DSD. 2012-11-10 17:26:01 -08:00
Alan Mishchenko fdcbb2cf37 Performance bug fix in choice generation. 2012-11-09 12:43:03 -08:00
Alan Mishchenko aa2c7c0546 Enabling verbose report of dumping abstraction in GLA. 2012-11-07 12:05:39 -08:00
Alan Mishchenko 36d8c000a4 Slightly improved cut computation. 2012-11-06 22:08:54 -08:00
Alan Mishchenko 5ed242ac54 Improved DSD. 2012-11-06 20:41:15 -08:00
Alan Mishchenko ac343478e7 Improved DSD. 2012-11-06 20:28:27 -08:00
Alan Mishchenko 2fbb4b1826 Improved DSD. 2012-11-06 20:27:31 -08:00
Alan Mishchenko db7852bba7 Improvements to LMS code. 2012-11-06 18:04:23 -08:00
Alan Mishchenko 3f7f497351 Improved DSD. 2012-11-06 16:32:58 -08:00
Alan Mishchenko cb5e2308b2 Improved DSD. 2012-11-03 14:27:28 -07:00
Alan Mishchenko 7ba37f4901 Improved DSD. 2012-11-03 00:38:17 -07:00
Alan Mishchenko 7e9f0df3f7 Bug fix in semi-canonical form computation. 2012-11-02 21:55:29 -07:00
Alan Mishchenko c899645b10 Adding dumping truth tables from LMS manager. 2012-11-02 18:59:14 -07:00
Alan Mishchenko b9c22ba99a Improved DSD. 2012-11-02 14:24:22 -07:00
Alan Mishchenko 96d3348d8f Fixing out-of-bound problem when collecting GIA nodes. 2012-11-02 12:02:16 -07:00
Alan Mishchenko f829eca548 Changing default parameter in &if. 2012-11-02 11:02:24 -07:00
Alan Mishchenko 7a7173c80e Improvements to LMS code. 2012-11-02 00:27:34 -07:00
Alan Mishchenko bd7b55115f Improvements to LMS code. 2012-11-02 00:06:56 -07:00
Alan Mishchenko a20e32f9e3 Improvements to LMS code. 2012-11-01 22:03:37 -07:00
Alan Mishchenko f23a17e0c6 Improvements to LMS code. 2012-11-01 16:24:36 -07:00
Alan Mishchenko 35c8d6a2fd Improvements to the truth table computations. 2012-11-01 14:58:31 -07:00
Alan Mishchenko d56570f235 Improvements to the truth table computations. 2012-11-01 14:23:05 -07:00
Alan Mishchenko ce3f8cb1d1 Improvements to the truth table computations. 2012-11-01 02:53:09 -07:00
Alan Mishchenko 42e767c294 External APIs needed to use ABC as a static library. 2012-10-31 10:49:38 -07:00
Alan Mishchenko 770838254a Increasing memory page limit in the main SAT solver. 2012-10-31 10:22:54 -07:00
Alan Mishchenko 74986b2853 Improvements to the truth table computations. 2012-10-31 01:42:28 -07:00
Alan Mishchenko ce1ea73238 Removed 'send_cex'. 2012-10-31 01:36:14 -07:00
Alan Mishchenko ee939fa0dd Improvements to the truth table computations. 2012-10-31 01:33:13 -07:00
Alan Mishchenko d8e84ce666 Improvements to the truth table computations. 2012-10-31 01:22:16 -07:00
Alan Mishchenko 6f3425150b Improvements to the truth table computations. 2012-10-31 00:11:30 -07:00
Alan Mishchenko 66c044c688 Improvements to the truth table computations. 2012-10-30 23:42:04 -07:00
Alan Mishchenko 32b09a1e7b Improvements to the truth table computations. 2012-10-30 22:33:30 -07:00
Alan Mishchenko 3dfa92f288 Improvements to the truth table computations. 2012-10-30 22:28:48 -07:00
Alan Mishchenko 0fafe786ae Improvements to the truth table computations. 2012-10-30 22:25:45 -07:00
Niklas Een 77fde55b1b Added switch for netlist type to 'send_aig'. Changed defautl to &-space. Fixed printf -> Abc_Print in some places. 2012-10-30 19:09:40 -07:00
Niklas Een 7da6ef1c02 Removed CEX communication through bridge in Abc_FrameReplaceCex 2012-10-30 13:02:11 -07:00
Niklas Een e353c4b75c Merge 2012-10-30 12:38:57 -07:00
Alan Mishchenko 9b8d362854 Added new bridge commands. 2012-10-29 23:50:47 -07:00
Alan Mishchenko c3298ec225 Improvements to the truth table computation in 'if' package. 2012-10-29 23:27:41 -07:00
Niklas Een c3168ba661 Replaced printfs with Abc_Print 2012-10-29 15:35:02 -07:00
Niklas Een 1e8565eee3 Replaced printfs with Abc_Print 2012-10-29 15:28:30 -07:00
Niklas Een c3a773d94f Replaced printfs with Abc_Print 2012-10-29 15:27:40 -07:00
Niklas Een f21615ecc2 Replaced printfs with Abc_Print 2012-10-29 15:26:39 -07:00
Niklas Een 6f32f2b854 Replaced printfs with Abc_Print 2012-10-29 15:24:28 -07:00
Alan Mishchenko 90529df059 Tentatively integrated new DSD. 2012-10-29 13:39:05 -07:00
Alan Mishchenko d94c8d3fd1 Enumerating decompositions. 2012-10-29 13:12:33 -07:00
Alan Mishchenko 68d360c2d0 Move truth table code into a separte file. 2012-10-28 19:42:20 -07:00
Alan Mishchenko f5a8cf99c0 Improvements to LMS code. 2012-10-28 18:58:43 -07:00
Alan Mishchenko d8d820052e Improvements to LMS code. 2012-10-28 18:50:10 -07:00
Alan Mishchenko 12dda47081 Improvements to LMS code. 2012-10-28 18:22:17 -07:00
Alan Mishchenko 15895cd2e3 Improvements to LMS code. 2012-10-28 18:17:28 -07:00
Alan Mishchenko c73c37a99d Improvements to LMS code. 2012-10-28 16:16:34 -07:00
Alan Mishchenko 4e52703b8a Improvements to LMS code. 2012-10-27 18:03:57 -07:00
Alan Mishchenko ab2dfec272 Improvements to LMS code. 2012-10-27 17:38:45 -07:00
Alan Mishchenko 94d722c58e Improvements to LMS code. 2012-10-27 17:33:13 -07:00
Alan Mishchenko cb7bf6ae9e Improvements to the truth table computation in 'if' package. 2012-10-26 22:36:00 -07:00
Alan Mishchenko f416e84965 Enables printout of fanout count in critical path. 2012-10-26 16:32:04 -07:00
Alan Mishchenko da0e1a3006 Integrating GIA with LUT mapping. 2012-10-25 23:06:32 -07:00
Alan Mishchenko b733b813d6 Added switch '-q' to 'scorr' and '&scorr' to quit when PO is not a candidate constant. 2012-10-25 22:50:29 -07:00
Alan Mishchenko 37107a3b18 Added new API to traverse the cut in the mapper. 2012-10-25 22:10:24 -07:00
Alan Mishchenko fac3976621 Adding binary file dumping for truth tables. 2012-10-25 13:55:04 -07:00
Alan Mishchenko 059da57476 Adding binary file dumping for truth tables. 2012-10-25 11:45:19 -07:00
Alan Mishchenko 785ae9e4db Changing the defaults of command 'collapse'. 2012-10-25 11:16:11 -07:00
Alan Mishchenko 7ecea8d40d Added hierarchical BLIF output for mapping with LUT structures (write_blif -a -S <XYZ>). 2012-10-24 21:12:50 -07:00
Alan Mishchenko e9e8f17942 Integrating GIA with LUT mapping. 2012-10-24 20:00:20 -07:00
Alan Mishchenko 6b96d9a84e Integrating GIA with LUT mapping. 2012-10-24 17:39:38 -07:00
Alan Mishchenko 5cd1396b3d Creating dedicated choice representation for GIA. 2012-10-24 12:22:46 -07:00
Alan Mishchenko bc21cb41b4 Adding frontier comptuation based on reversed CO order in &ps. 2012-10-24 10:43:55 -07:00
Alan Mishchenko 2be812b4e0 Fixing frontier computation in &ps. 2012-10-24 10:32:05 -07:00
Alan Mishchenko e9783622a2 Disabling SAT sweeping in 'map' by default. 2012-10-23 12:08:15 -07:00
Alan Mishchenko 84b54597b4 Adding #ifdef to guard windows-specific debugging option. 2012-10-20 22:58:42 -07:00
Alan Mishchenko 7235d74010 Bug fix in hierarchical BLIF reader. 2012-10-11 23:25:40 -07:00
Alan Mishchenko 0294fc7861 Commenting out printout. 2012-10-10 17:35:33 -07:00
Alan Mishchenko cc0e5d4f1d Added procedure to check correctness of the topo order during AIG construction. 2012-10-10 14:45:24 -07:00
Alan Mishchenko d261e617fc Added command to transform GIA into the file with truth tables for each output. 2012-10-10 01:11:24 -07:00
Alan Mishchenko c9fbac5f2e Improvements to gate sizing. 2012-10-09 23:25:03 -07:00
Alan Mishchenko 1e7ea2ca45 Improvements to gate sizing. 2012-10-09 21:14:32 -07:00
Alan Mishchenko daeffe791c Making report about the number of correcty covered frames consistent across the engines. 2012-10-09 15:42:25 -07:00
Alan Mishchenko fed18333e2 Improvements to gate-sizing. 2012-10-09 15:25:34 -07:00
Alan Mishchenko 513dc14a1a Improvements to gate-sizing. 2012-10-09 14:27:49 -07:00
Alan Mishchenko d3595d230f Improvements to gate sizing (bug fix). 2012-10-09 12:35:47 -07:00
Alan Mishchenko 7cf176c420 Improvements to gate sizing (bug fix). 2012-10-09 12:26:58 -07:00
Alan Mishchenko da61616d84 Bug fix in &gla (incorrect reporting of proved timeframes). 2012-10-09 11:59:30 -07:00
Alan Mishchenko b882f64fa5 Bug fix in &gla (incorrect reporting of proved timeframes). 2012-10-09 11:48:28 -07:00
Alan Mishchenko 74cc0ad5e6 Improvements to gate sizing. 2012-10-09 11:21:36 -07:00
Alan Mishchenko e311660078 Improvements to gate sizing. 2012-10-09 11:19:58 -07:00
Alan Mishchenko 8e753fc376 Improvements to gate sizing. 2012-10-09 11:00:18 -07:00
Alan Mishchenko 4ed89d00fe Making explicit cast to 64-bit unsigned in a few places. 2012-10-09 09:23:08 -07:00
Alan Mishchenko 7b9f4a278d Extending the default GIA writing buffer. 2012-10-09 09:00:25 -07:00
Alan Mishchenko dd25b90f8e Improvements to gate sizing. 2012-10-09 01:20:51 -07:00
Alan Mishchenko a5d07fa44a Bug fix in LMS code. 2012-10-08 22:41:19 -07:00
Alan Mishchenko 9206e6ff80 Improvements to gate sizing. 2012-10-08 21:20:13 -07:00
Alan Mishchenko 2cb69e4511 Bug fix in reading AIGER with both signal names and extensions. 2012-10-08 14:17:50 -07:00
Alan Mishchenko cad47254a0 Updating readme. 2012-10-06 19:27:19 -07:00
Alan Mishchenko 11c5c81037 New AIG optimization package. 2012-10-06 18:33:54 -07:00
Alan Mishchenko f66fd3f3a3 Updating readme. 2012-10-06 18:28:25 -07:00
Alan Mishchenko dc9a22582a New AIG optimization package. 2012-10-06 16:11:08 -07:00
Alan Mishchenko 3d23bc8c57 New AIG optimization package. 2012-10-06 16:02:36 -07:00
Alan Mishchenko 4637097491 New AIG optimization package. 2012-10-06 15:12:39 -07:00
Alan Mishchenko ad8a3f5159 New AIG optimization package. 2012-10-06 15:09:00 -07:00
Alan Mishchenko 6de48109f3 Allow for binary input file in 'testdec' and 'testnpn'. 2012-10-05 21:43:11 -07:00
Alan Mishchenko 369b5f479a Allow for binary input file in 'testdec' and 'testnpn'. 2012-10-05 21:02:46 -07:00
Alan Mishchenko b852db94fb Allow for binary input file in 'testdec' and 'testnpn'. 2012-10-05 20:38:46 -07:00
Alan Mishchenko 6eb2e7156a Simplification in AIG manager object counting. 2012-10-05 17:07:38 -07:00
Alan Mishchenko f11f645f1d Bug fix in loading the timing manager. 2012-10-05 16:56:10 -07:00
Alan Mishchenko 8f504907ee Bug fix in XOR balancing (command 'balance -x'). 2012-10-05 15:02:26 -07:00
Alan Mishchenko e01e49369f Changed 'readline' declaration rules. 2012-10-04 13:03:04 -07:00
Alan Mishchenko 8b4e762e5a Minor bug fix. 2012-10-04 12:05:57 -07:00
Alan Mishchenko bbd170e8a3 Minor bug fix. 2012-10-04 09:17:13 -07:00
Alan Mishchenko 5559444126 C++ portability changes. 2012-10-03 22:11:55 -07:00
Alan Mishchenko c890440fd9 C++ portability changes. 2012-10-03 22:10:30 -07:00
Alan Mishchenko 0175e1a9fe C++ portability changes. 2012-10-03 22:07:36 -07:00
Alan Mishchenko a47e3b6f58 C++ portability changes. 2012-10-03 22:03:16 -07:00
Alan Mishchenko c7eab028a1 C++ portability changes. 2012-10-03 21:59:04 -07:00