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

3073 Commits

Author SHA1 Message Date
Alan Mishchenko 1aecc3373c New command to compute the range of output values. 2023-02-08 15:54:38 -08:00
Alan Mishchenko aa4cada268 Experiments with multiplier generation (linker problem). 2023-02-08 14:49:42 -08:00
Alan Mishchenko 688be5719e Experiments with multiplier generation. 2023-02-08 14:37:38 -08:00
Alan Mishchenko c899a4cb3b Experiments with multipliers. 2023-02-08 00:24:04 -08:00
Alan Mishchenko fa58597321 Updating mfs2 and &mfs to work with larger nodes. 2023-02-05 14:44:44 -08:00
Alan Mishchenko 086321a232 Bug fix. 2023-02-02 09:28:51 -08:00
Alan Mishchenko acdb94d1d3 Interfacing SAT sweepers. 2023-02-02 09:15:42 -08:00
Alan Mishchenko 70a07869c6 Updating interface of scorr. 2023-01-28 09:31:13 -10:00
Alan Mishchenko 66a5fe7aec Experiments with exact synthesis. 2022-12-29 17:15:53 -08:00
Alan Mishchenko aefbac6b04 Adding printout of SOPs. 2022-12-19 10:37:22 -08:00
Alan Mishchenko 27b8cce3fe Experiments with precomputation. 2022-12-18 20:06:07 -08:00
Alan Mishchenko 6e6c728b65 Another way of dumping QBF problem into a file. 2022-12-03 20:29:06 -08:00
Alan Mishchenko 2c7a456c37 Suggested bug fix in 'resub' with ODCs. 2022-11-29 10:51:59 -08:00
Alan Mishchenko 3bcc4fc386 Other suggested changes. 2022-11-21 14:40:55 -08:00
Jerry James 5a9f37cd93 Do not pass NULL to fprintf 2022-11-16 11:38:38 -07:00
Alan Mishchenko 813a0f1ff1 Updating features of &if mapper. 2022-10-09 23:51:40 -07:00
Alan Mishchenko 1bd7550378 Compiler warnings. 2022-09-19 16:30:52 -07:00
Alan Mishchenko 6325e41681 Compiler warnings. 2022-09-19 16:13:54 -07:00
Alan Mishchenko 4d183efe48 Compiler warnings. 2022-09-19 16:07:29 -07:00
Alan Mishchenko a6c9e997bd Temporarily disabling &ttopt in the Windows version. 2022-09-19 11:17:15 -07:00
alanminko c65e08f9b5
Merge pull request #178 from MyskYko/ttopt 
Import ttopt
 2022-09-19 10:49:31 -07:00
Alan Mishchenko b69f439609 Adding args to command %yosys. 2022-09-19 10:48:41 -07:00
Yukio Miyasaka 96b9ef2ce5 import ttopt 2022-09-17 15:42:36 -07:00
Alan Mishchenko 0ed81b34f1 Compiler warnings. 2022-08-30 13:28:59 -07:00
Alan Mishchenko 138c381f76 Testing utility code. 2022-08-30 13:19:14 -07:00
Alan Mishchenko c3c643820e Various changes. 2022-08-30 12:00:33 -07:00
Alan Mishchenko 30ddf14c90 Improvements to command 'twoexact'. 2022-08-07 12:24:44 -07:00
Alan Mishchenko 89e1ee8bc9 Improvements to command 'twoexact'. 2022-08-03 20:59:44 -07:00
Alan Mishchenko 132b893921 Investigating complex miters. 2022-08-03 10:09:44 -07:00
Alan Mishchenko a9237f50ea New switch in command &st for adding buffers. 2022-07-31 19:12:55 -07:00
Alan Mishchenko ddb22f3bed Various changes. 2022-07-30 14:21:47 -07:00
Alan Mishchenko adcc398bc3 Dumping equivalences after SAT sweeping. 2022-06-26 19:45:03 -07:00
Alan Mishchenko 8cf3f54208 Experiments with technology mapping. 2022-06-25 19:44:30 -07:00
Alan Mishchenko 25455d358f Making command &kissat not look for the binary in the current dir. 2022-06-23 08:04:34 -07:00
Alan Mishchenko ae0f03f4a9 Adding command to check resub problem solution. 2022-06-10 14:06:23 -07:00
Alan Mishchenko 3241a595ba Bug fix by Ai Quoc Dao. 2022-06-08 08:50:37 -07:00
Alan Mishchenko 7bda1d4bfb Renaming switch '-i' into '-c' in %collapse. 2022-06-05 18:28:51 -07:00
Alan Mishchenko 617eb759ae Enabling support for reading AIGs with XOR gates. 2022-06-05 18:27:40 -07:00
Alan Mishchenko aebf1e7b9c Integrated Kissat, by Armin Biere, as an external binary. 2022-06-02 09:35:06 -07:00
Alan Mishchenko 94ab17c39e Supporting new resub problem format. 2022-06-02 07:47:33 -07:00
Alan Mishchenko 4f7bf91003 Adding new switch to &cec. 2022-05-20 12:53:12 -07:00
Alan Mishchenko 21922e3e9f Adding switch to dsd_match to skip small functions. 2022-05-18 10:43:07 -07:00
Alan Mishchenko 67247b7209 One less line printed out in the batch mode. 2022-05-18 10:42:37 -07:00
Alan Mishchenko daa4eaf2af Removing duplicated command. 2022-04-26 18:54:12 -07:00
Alan Mishchenko 5999b5a516 Adding switch -c to &cone. 2022-04-26 17:49:39 -07:00
Alan Mishchenko 0fc56e7199 Experiments with word-level data structures. 2022-04-26 10:39:54 -07:00
Alan Mishchenko c68fcae445 A trivial changeset. 2022-04-24 20:57:41 -07:00
Alan Mishchenko 9e164ec52d Adding a switch to complement outputs after collapsing. 2022-04-24 20:15:15 -07:00
Alan Mishchenko ca6dd4ed17 Bug fix in &uif. 2022-04-24 13:56:19 -07:00
Alan Mishchenko 1abd0457ab Experiments with SAT sweeping. 2022-04-24 10:25:46 -07:00
Alan Mishchenko cb30ea0516 Experiments with SAT sweeping. 2022-04-24 09:59:22 -07:00
Alan Mishchenko 1f56f20e1b Experiments with SAT sweeping. 2022-04-24 09:29:52 -07:00
Alan Mishchenko 8e13245ed0 Adding switch to stop scorr if refinement is too slow. 2022-04-24 08:53:57 -07:00
Alan Mishchenko b79f37ae57 Experiments with word-level data structures. 2022-04-22 15:18:49 -07:00
Alan Mishchenko e5e5e3545b Added a switch to &dfs to perform levelized ordering. 2022-04-04 22:12:58 -07:00
Alan Mishchenko 7ad8f9548c Experiments with word-level data structures. 2022-04-04 22:08:53 -07:00
Alan Mishchenko 5405003a5e Suggested changes to properly initialize the variable array for Cudd_bddVectorCompose(). 2022-04-02 23:44:57 -07:00
Raphael Isemann b44a8f927b Fix some memory leaks 2022-03-25 17:12:20 +01:00
Alan Mishchenko ee228339e5 Experiments with word-level data structures. 2022-03-06 00:10:52 -08:00
Alan Mishchenko d86e8d9ed8 Experiments with word-level data structures. 2022-03-06 00:09:35 -08:00
Alan Mishchenko 32693e9857 Experiments with word-level data structures. 2022-03-05 20:58:38 -08:00
Alan Mishchenko 6606c18c70 Interleaved variable ordering during bit-blasting. 2022-02-25 22:15:13 -08:00
Alan Mishchenko 3186a82f65 Intersection a bug in rewrite/refactor. 2022-02-23 10:11:23 -08:00
Alan Mishchenko bcf21e4677 Intersection a bug in rewrite/refactor. 2022-02-22 21:14:48 -08:00
Alan Mishchenko 31519bd6d6 Similar changes suggested in other places. 2022-02-18 14:11:17 -08:00
Alan Mishchenko b442c749e3 Suggested change to prevent ABC from crashing when compiled on Windows. 2022-02-18 10:51:49 -08:00
Alan Mishchenko 33fb7a809d Experiments with word-level data structures. 2022-02-16 21:23:21 -08:00
Alan Mishchenko ea5648db3f Improving truth table handling. 2022-02-16 15:32:53 -08:00
Alan Mishchenko 6345832dba Improving truth table handling. 2022-02-03 18:45:11 -08:00
Alan Mishchenko faa5947278 Compiler warnings. 2022-02-02 21:39:36 -08:00
Alan Mishchenko a6f8625d64 Experiments with word-level data structures. 2022-02-02 21:37:31 -08:00
Baruch Sterin 554a1693ac Move CI to GitHub Actions. 
Also, a few minor changes that are required to compile ABC under moder compilers.
 2022-01-22 18:34:43 +02:00
Alan Mishchenko 5b8fa41ba9 Suggested bug fixes in the old code. 2022-01-21 11:33:53 -08:00
Alan Mishchenko d892e63256 Compiler warnings. 2022-01-21 11:13:18 -08:00
Alan Mishchenko 79f04c6653 Experiments with word-level data structures. 2022-01-21 11:09:10 -08:00
Alan Mishchenko 85b74f68f1 Adding new command &icec. 2021-12-17 10:15:57 +07:00
Alan Mishchenko f1b64be840 Compiler warning. 2021-12-16 11:32:53 +07:00
Alan Mishchenko fb248e1ca1 Adding new command %yosys. 2021-12-16 11:30:06 +07:00
Alan Mishchenko 8e72ac36d7 Outputting the constant node in 'write_gml'. 2021-12-06 13:38:09 -08:00
Alan Mishchenko b7176ee3e5 Adding command-line switch 'testnpn -A 12' for P-only canonical form computation. 2021-12-03 18:48:26 -08:00
Alan Mishchenko 03b9f41786 Bug fix in blasting word-level flops. 2021-12-02 22:20:55 -08:00
Alan Mishchenko dfa34cc2e4 Disabling choices when they are computed incorrectly. 2021-11-30 15:23:20 -08:00
Alan Mishchenko f26ea1eaea Changes to make compiler happy. 2021-11-27 17:37:34 -08:00
Alan Mishchenko b10f6bd899 Bug fix in sweep (which happens to be a rare bug in Abc_NodeMinimumBase) (additional fix). 2021-11-27 17:12:08 -08:00
Alan Mishchenko 079a309a0d Bug fix in processing NDR. 2021-11-08 21:17:37 -08:00
Alan Mishchenko d13e33cdd8 New API for external calls. 2021-10-26 16:58:59 -07:00
Alan Mishchenko 456e381a02 Bug fix in sweep (which happens to be a rare bug in Abc_NodeMinimumBase). 2021-10-23 16:42:34 -07:00
Alan Mishchenko d4f073bad7 Various changes. 2021-10-22 00:00:01 -07:00
Alan Mishchenko abc54a2d20 Changing static to extern for two procedures. 2021-10-17 20:52:20 -07:00
Alan Mishchenko d514029e34 Experiments with SAT solving. 2021-10-09 15:16:18 -07:00
Alan Mishchenko 227b0c775b New command &stochsyn for stochastic synthesis. 2021-10-06 20:33:41 -07:00
Alan Mishchenko a8b5da820d Other compiler changes. 2021-09-26 11:58:42 -07:00
Alan Mishchenko ba64e78608 Changing declaration of Vec_Ptr_t sorting function to satisfy some compilers. 2021-09-26 11:30:54 -07:00
Alan Mishchenko 787dbb9433 Two rare corner-case bugs in &if mapper. 2021-09-26 11:05:48 -07:00
Alan Mishchenko cc13d1fb47 Adding command &reshape. 2021-09-21 10:50:10 -07:00
Alan Mishchenko 1e69e7e7d1 Adding command &reshape. 2021-09-21 10:22:40 -07:00
Alan Mishchenko a363256098 Removing unused command. 2021-09-21 10:08:04 -07:00
Alan Mishchenko e2f1548217 Various changes. 2021-09-21 10:00:46 -07:00
Alan Mishchenko 6ca31c475f Improving MiniAIG and name manager. 2021-09-16 21:51:10 -07:00
Alan Mishchenko 997e1a2ddc Further debugging of MiniLUT APIs. 2021-09-16 17:48:57 -07:00
Alan Mishchenko ecda331a2a Various changes. 2021-09-14 22:01:41 -07:00
Alan Mishchenko c557272241 Enable command 'pipe' for pipelining. 2021-09-13 09:44:28 -07:00
Alan Mishchenko bafd2a7820 Disabling command print_mint when CUDD is not used. 2021-09-07 19:40:57 -07:00
Alan Mishchenko 14dc389e62 Bug fix in the timing manager. 2021-09-06 09:53:49 -07:00
Alan Mishchenko e7a029d73f Various changes. 2021-09-04 19:21:59 -07:00
Alan Mishchenko ed9c16d4f5 Additional MiniLUT API. 2021-09-03 18:14:10 -07:00
Alan Mishchenko a718318740 Various changes. 2021-09-02 22:54:19 -07:00
Alan Mishchenko 388255e557 Allow &mfs to work on sequential AIGs. 2021-08-24 14:51:24 -07:00
Alan Mishchenko 85a94766a6 Compiler warnings. 2021-08-23 19:56:26 -07:00
Alan Mishchenko 67c47fa44a Adding input/output/flop name reading in command &r. 2021-08-22 20:05:15 -07:00
Alan Mishchenko 625ccde611 Support of pair-wise miter and other changes. 2021-08-22 13:05:28 -07:00
alanminko 0fc13478b8
Merge pull request #133 from twier/inv_get_name_mangling_fix 
Fix name-mangling behavior of inv_get
 2021-08-19 09:48:58 -07:00
Alan Mishchenko 77760dd8ac Extending &trim to trim structurally equivalent primary outputs. 2021-08-19 09:48:46 -07:00
Tobias Wiersema b82a7f4677 Add comment to Wlc_NtkGetInv about vNamesIn's role 2021-08-19 18:01:38 +02:00
Tobias Wiersema d55e8fab82 Fix typo inifity -> infinity in inv_get help 2021-08-19 17:57:54 +02:00
Tobias Wiersema ca710b3dda Add inv_get -f to read flop names from GIA 2021-08-19 17:57:19 +02:00
Alan Mishchenko 4da6cc8904 Improving AIG to Verilog converter. 2021-08-17 16:52:29 -07:00
Alan Mishchenko e9b487666d Suggested changes to collect and pass timing information (unused variable). 2021-08-12 18:27:40 -07:00
Alan Mishchenko 0deb8bf632 Suggested changes to collect and pass timing information (compiler issues). 2021-08-12 18:26:37 -07:00
Alan Mishchenko e8ac47641f Suggested changes to collect and pass timing information. 2021-08-12 18:25:00 -07:00
Alan Mishchenko 99ab99bfa6 Making &cec support the miter circuit. 2021-08-05 15:05:59 -07:00
Alan Mishchenko ddc574a954 Supporting simple operators in NDR. 2021-08-05 14:01:55 -07:00
Alan Mishchenko ab29dad7f4 Adding node ordering options to command &dfs. 2021-08-05 11:07:16 -07:00
Alan Mishchenko 5f8d4e72d1 Experiments with LUT mapping for small functions. 2021-08-02 16:46:56 -07:00
Alan Mishchenko 4cf906d2fc Experiments with LUT mapping for small functions. 2021-08-01 12:13:27 -07:00
Alan Mishchenko e162a26197 Allow retiming to skip some logic. 2021-07-31 22:46:47 -07:00
Alan Mishchenko 692dd76319 Upgrading choice computation. 2021-07-31 15:34:46 -07:00
Alan Mishchenko d925e4802c Experiments with cofactoring. 2021-07-31 11:30:19 -07:00
Alan Mishchenko a162b1f47a Experimental simulation commands. 2021-07-25 14:11:34 -07:00
Alan Mishchenko 62180f3576 Command to move CI/CO names. 2021-07-16 13:46:41 -07:00
Alan Mishchenko 6e5a797a6d Command to move CI/CO names. 2021-07-16 13:44:38 -07:00
Alan Mishchenko d9aeaade3b Several unrelated changes. 2021-07-15 18:23:04 -07:00
Alan Mishchenko 3e67d167f5 Experiments with LUT mapping for small functions. 2021-07-13 19:05:02 -07:00
Alan Mishchenko 9fac6c7a8b Experiments with CEC. 2021-07-10 10:50:33 -07:00
Alan Mishchenko 5a135c8799 Experiments with MUX decomposition. 2021-07-08 21:42:15 -07:00
Alan Mishchenko 28ba2c5213 Adding place holder file for resub experiments. 2021-06-24 19:18:28 -07:00
Alan Mishchenko b4f099c511 Experiments with LUT mapping for small functions. 2021-06-19 19:26:41 -07:00
Alan Mishchenko 7d18d6b7aa Experiments with cut computation. 2021-06-05 17:48:12 -07:00
Alan Mishchenko 84ec53fbf9 Disabled special handling of 2-input LUTs. 2021-06-03 08:39:30 -07:00
Alan Mishchenko 49078ffebf Updating LUT synthesis code. 2021-05-25 23:12:30 -07:00
Alan Mishchenko d35b05859c Adding command &extract. 2021-05-18 16:42:16 -07:00
Alan Mishchenko 0ce11851bc Updating LUT synthesis code. 2021-05-16 20:33:53 -07:00
Alan Mishchenko 610a3d3fc2 Adding switch muxes -a to create networks of ADDs. 2021-05-15 13:28:06 -07:00
Alan Mishchenko ed13c6d4d2 Updating LUT synthesis code. 2021-05-11 17:45:20 -07:00
Alan Mishchenko e6a47c3e41 Disable cube-sort when deriving SOPs. 2021-05-11 15:54:43 -07:00
Alan Mishchenko aa9fe1f240 Updating LUT synthesis code. 2021-05-11 15:04:15 -07:00
Alan Mishchenko 76bed2055c Updating LUT synthesis code. 2021-05-08 20:10:44 -07:00
Alan Mishchenko 17476146ca Fixing mismatch in &cec -x which should return undecided rather than non-equivalent when the miter cannot be reduced to constant 0. 2021-05-08 19:07:10 -07:00
Alan Mishchenko 7d90895dcf Experiments with LUT mapping for small functions. 2021-05-01 22:44:29 -07:00
Alan Mishchenko 645752f7d6 Making sure read_bench can read nodes up to 15 inputs. 2021-04-30 16:12:15 -07:00
Alan Mishchenko 9b75906740 Several changes for standard mapping. 2021-04-28 00:11:02 -07:00
Alan Mishchenko de71e5f610 Passing node labels. 2021-04-26 18:52:44 -07:00
Alan Mishchenko 75981f7fee Computing sum of PO support sizes. 2021-04-09 13:46:52 -07:00
Alan Mishchenko 9145a5c20d An option to extend the number of primary inputs. 2021-03-28 15:40:27 -10:00
Alan Mishchenko 18088bd7dc Compiler warnings. 2021-03-28 14:54:07 -10:00
Alan Mishchenko 6a03ece98d Command &iwls21test for evaluating the results of 2021 IWLS Contest. 2021-03-28 14:49:27 -10:00
Alan Mishchenko 66098723eb Adding a random seed to control randomness in 'permute' (correction). 2021-03-11 17:50:56 -10:00
Alan Mishchenko b2ca837521 Adding a random seed to control randomness in 'permute'. 2021-03-11 17:45:01 -10:00
Alan Mishchenko cd8843c06c Preventing command history from being overwritten by internal scripts. 2021-01-09 13:06:45 -08:00
Alan Mishchenko f06217e25a Compiler warnings. 2020-12-21 12:45:50 -08:00
Alan Mishchenko 73dcdab6d8 Adding solver type in &sat. 2020-12-16 22:04:06 -08:00
Alan Mishchenko 8066fdbcb5 Adding generation of combinational speculative miters. 2020-12-16 10:31:25 -08:00
Alan Mishchenko 06094ade87 Adding switch to replace proved outputs by const0. 2020-12-16 00:06:31 -08:00
Alan Mishchenko 901560bb23 Deriving equivalent nets from proved equivalences. 2020-12-09 21:59:49 -10:00
Alan Mishchenko 5b8e56b2e5 Adding timeout to several commands. 2020-12-07 17:15:31 -10:00
Alan Mishchenko 6eee09c51c Added switch -y to control blasting divide-by-zero condition. 2020-11-29 13:46:21 -10:00
Alan Mishchenko d4fb192575 Renaming one command. 2020-11-23 07:31:54 -10:00
Alan Mishchenko 22f36299aa Added an option to keep PI/PO names unchanged in 'short_names'. 2020-11-22 23:02:35 -10:00
Alan Mishchenko 2e92256fb7 Passing conflict limit to &cec. 2020-11-22 21:34:33 -10:00
Alan Mishchenko 48f71adacd Integration with several commands. 2020-11-19 19:22:27 -08:00
Alan Mishchenko dd07ec57be Extending sweeper to handle XORs. 2020-11-15 19:02:41 -08:00
Alan Mishchenko bab4c1ddfc Upgrading the SAT solvers. 2020-11-14 14:23:49 -08:00
Alan Mishchenko cc840d8bd8 Improvements to the SAT sweeper. 2020-11-13 19:12:34 -08:00
Alan Mishchenko 22388f901a Adding and integrating new SAT solver APIs. 2020-11-13 10:29:31 -08:00
Alan Mishchenko b3d3f7dd3a Duplicating Glucose package. 2020-11-12 23:57:46 -08:00
Alan Mishchenko c0bb4bb047 Experiments with SAT sweeping. 2020-11-10 23:15:42 -08:00
Alan Mishchenko 3da87edbb4 Setting default conflict limit in &fraig to be high. 2020-11-09 15:25:32 -08:00
Alan Mishchenko 40bfe2fb88 Experiments with SAT sweeping. 2020-11-09 13:24:07 -08:00
Alan Mishchenko ce95366e51 Trying to explicitly compute don't-cares during optimization. 2020-11-01 14:23:17 -08:00
Alan Mishchenko 3a7b3d27f1 Experimental cost function in technology mapping. 2020-11-01 09:56:01 -08:00
Alan Mishchenko 2325cd77e3 Adding an option to write Verilog with LUT instances (compiler warnings). 2020-10-31 16:14:52 -07:00
Alan Mishchenko f9af41ba1b Adding an option to write Verilog with LUT instances. 2020-10-31 15:08:40 -07:00
Alan Mishchenko b2aa245eaa Fixing a clang error related to 'unlink'. 2020-10-09 23:28:23 -07:00
Alan Mishchenko ada073110e New command 'read_sf'. 2020-10-01 21:24:32 -07:00
Alan Mishchenko f21bafeb23 Changing SAT sweepers (ifraig and &fraig) to be stronger by default. 2020-09-24 23:49:01 -07:00
Alan Mishchenko 083c1218e5 Improving MFFC computation code. 2020-09-17 13:04:09 -07:00
Alan Mishchenko bab462d5cd Compiler warnings. 2020-09-13 20:33:59 -07:00
Alan Mishchenko 07bf95f480 Experiments with iterative synthesis. 2020-09-13 19:17:16 -07:00
Alan Mishchenko d556ad65ff Adding switch &cec -w to print SAT solver stats. 2020-09-06 23:15:21 -07:00
Alan Mishchenko fe968e9d79 Fixing a typo in setting the miter type. 2020-09-06 22:53:24 -07:00
Alan Mishchenko 8ef4404542 Verifying new resub code. 2020-09-06 22:34:45 -07:00
Alan Mishchenko 4b4646283f Experiments with ICCAD CAD benchmarks (Problem A). 2020-09-03 16:43:53 -07:00
Alan Mishchenko 26e03ef6a0 Experiments with window computation. 2020-08-15 17:12:41 -07:00
Alan Mishchenko 850d39fec3 Making &cec use precomputed simulation info. 2020-08-12 19:32:42 -07:00
Alan Mishchenko aaeadb1438 New ways of reading MiniAIG. 2020-07-29 19:48:36 -07:00
Alan Mishchenko 22d9b1d38b Experiment with structural similarity. 2020-07-16 20:33:03 -07:00
Alan Mishchenko 2ba092e4cc Fixing commands 'putontop' and 'topmost'; adding command 'bottommost'. 2020-07-11 10:14:43 -07:00
Alan Mishchenko 83f54185ef Bug fix in &cec (properly updating the status after the corner case bug fix\). 2020-06-24 10:57:47 -07:00
Alan Mishchenko 322cea8234 Bug fix in &cec (handling the case when the miter is disproved by the all-0 pattern). 2020-06-24 10:20:28 -07:00
Alan Mishchenko 58e3a5caff Compiler error. 2020-06-04 16:48:06 -07:00
Alan Mishchenko a3c6f33a87 Experimental simulation. 2020-06-04 16:24:43 -07:00
Alan Mishchenko 491e4ebfd1 Experimental simulation. 2020-06-03 14:52:42 -07:00
Alan Mishchenko 97c826a6e6 Dumping BDD variable order after 'clp'. 2020-05-18 16:02:57 -07:00
Alan Mishchenko 0ae0744e73 Experimental resubstitution. 2020-05-15 22:11:10 -07:00
Alan Mishchenko 1c0ea1022f Adding new utility procedures. 2020-05-11 17:08:00 -07:00
Alan Mishchenko a3ada00d86 Adding new utility procedures. 2020-05-10 19:44:59 -07:00
Alan Mishchenko f8b6d615bf Fixing the accidentally broken build. 2020-05-06 12:48:11 -07:00
Alan Mishchenko f543d39ec8 Experiment with permutations. 2020-05-03 21:09:02 -07:00
Alan Mishchenko f026e65339 Compiler warnings and errors. 2020-05-03 19:09:02 -07:00
Alan Mishchenko d51f798956 Experimental resubstitution. 2020-05-03 10:32:30 -07:00
alanminko 8de27b691b
Merge pull request #57 from whitequark/patch-1 
Make use of setrlimit conditional on ABC_NO_RLIMIT
 2020-04-30 14:03:26 -07:00
whitequark 8afd927d60 Make use of setrlimit conditional on ABC_NO_RLIMIT. 
This is useful for POSIX-like platforms that do not have rlimit,
such as WASI.
 2020-04-30 02:17:03 +00:00
Alan Mishchenko cf1fdc82e4 Bug fix in 'resub' to enable additional divisors, by Siang-Yun Lee. 2020-04-27 18:52:19 -07:00
Alan Mishchenko ea1fbfc971 New AIG restructuring feature. 2020-04-23 15:33:49 -07:00
Alan Mishchenko 978b5db039 Fix a bug in comb loop detection. 2020-04-22 16:49:21 -07:00
Alan Mishchenko 94a2cffefe Improving simulation patterns by local search. 2020-04-17 18:58:21 -07:00
Alan Mishchenko d0e316df5b Improving simulation patterns by local search. 2020-04-17 18:56:12 -07:00
Alan Mishchenko 5f163c0152 Fixing broken build and compiler warnings. 2020-04-17 10:32:38 -07:00
Alan Mishchenko 61a88f164c Fixing broken build and compiler warnings. 2020-04-17 10:16:26 -07:00
Alan Mishchenko 203a7d6ad8 Fixing broken build and compiler warnings. 2020-04-17 10:14:44 -07:00
Alan Mishchenko 92abe5cb87 Removing debug stop. 2020-04-17 09:55:54 -07:00
Alan Mishchenko fbf70c5fbb Memory leak. 2020-04-17 09:54:17 -07:00
Alan Mishchenko d7dfd06ca1 Adding check for comb loops in NDR. 2020-04-17 09:53:23 -07:00
Alan Mishchenko 34ae42495b QBF-based code generation. 2020-04-12 11:52:01 -07:00
Alan Mishchenko f79809050a Procedures to explore structural support of an AIG. 2020-04-10 17:44:15 -07:00
Alan Mishchenko 8eebe633d3 Various changes. 2020-04-10 12:43:01 -07:00
Alan Mishchenko 747c6a6da5 Various changes. 2020-04-10 12:40:04 -07:00
Alan Mishchenko 6e2e054509 Debugging a combo loop in NDR. 2020-04-09 10:14:40 -07:00
Alan Mishchenko a2d33837bc Adding option to &saveaig to compare AIGs by node count. 2020-04-09 09:51:46 -07:00
Alan Mishchenko dab716878f Various changes. 2020-04-08 21:11:09 -07:00
Alan Mishchenko 5d580c05de Adding option to &saveaig to compare AIGs by node count. 2020-04-07 13:14:31 -07:00
Alan Mishchenko b661fdeee7 Adding option to &saveaig to compare AIGs by node count. 2020-04-07 13:12:46 -07:00
Alan Mishchenko 1b83b4b273 Various changes. 2020-03-29 20:32:06 -07:00
Alan Mishchenko fb6e4ee290 Various changes. 2020-03-21 14:02:54 -07:00
Alan Mishchenko 6a6ffed8c5 Various changes. 2020-03-18 22:34:08 -07:00
Alan Mishchenko 488f949721 Adding limit on the number of live BDD nodes in command 'muxes -g'. 2020-03-14 16:29:15 +02:00
Alan Mishchenko 47c0f7840d Adding limit on the number of live BDD nodes in command 'muxes -g'. 2020-03-12 00:38:08 +02:00
Alan Mishchenko da5a7a235f Adding limit on the number of live BDD nodes in command 'muxes -g'. 2020-03-12 00:33:45 +02:00
Alan Mishchenko dc3a544b1f Ongoing changes to the simulator. 2020-03-09 15:02:31 +02:00
Alan Mishchenko c9bebe157b Ongoing changes to the simulator. 2020-03-09 13:16:22 +02:00
Alan Mishchenko 7ca64b3de5 Adding dumping json file with statistics in &mltest. 2020-03-07 21:29:57 -08:00
Alan Mishchenko 2855c94fc1 Corner-case bug-fix in retiming (corrected fix). 2020-03-06 13:59:53 -08:00
Alan Mishchenko 1a41d496df Corner-case bug-fix in retiming (undoing wrong fix). 2020-03-06 13:59:05 -08:00
Alan Mishchenko cca7e038f2 Corner-case bug-fix in retiming. 2020-03-06 13:41:45 -08:00
Alan Mishchenko f402d09c74 Updating and extending simulation data structures. 2020-03-06 13:12:00 -08:00
Alan Mishchenko ed90ce20df Updating and extending simulation data structures. 2020-03-05 14:43:40 -08:00
Alan Mishchenko 7efe9c1d65 Updating and extending simulation data structures. 2020-03-05 14:33:02 -08:00
Alan Mishchenko 4359311d44 Changes to the old parser. 2020-03-02 23:21:44 -08:00
Alan Mishchenko 73496629ec Several misc changes. 2020-03-01 19:03:39 -08:00
Alan Mishchenko f433931075 Adding commands to generate data for experiments. 2020-02-23 16:35:59 -08:00
Alan Mishchenko c8894603b2 Adding commands to generate data for experiments. 2020-02-22 13:13:30 -08:00
Alan Mishchenko d1f10f323c Adding commands to generate data for experiments. 2020-02-22 07:25:11 -08:00
Alan Mishchenko 3c586f886e Adding commands to generate data for experiments. 2020-02-21 13:40:50 -08:00
Alan Mishchenko b1802e4fdc Assertion failure in reading NDR. 2020-02-20 12:02:55 -08:00
Alan Mishchenko c086edaa9f Adding min-level merging of equivalence classes of AIG nodes. 2020-02-19 13:35:26 -08:00
Alan Mishchenko 081afc3fc5 Experimental simulation based code. 2020-02-06 15:20:00 -08:00
Alan Mishchenko 951afa27cb Cleaning up code and fixing for several typos. 2020-01-27 10:43:37 -08:00
Alan Mishchenko 8eb6aed5d1 Adding a warning in retiming when no node delays are given. 2020-01-23 19:59:11 -08:00
Alan Mishchenko 62c4c8b243 Adding a warning in retiming when no node delays are given. 2020-01-23 19:47:49 -08:00
Alan Mishchenko afebb18041 Experiments with resubstitution. 2020-01-21 20:41:54 -08:00
Alan Mishchenko 07002bc9f9 Experiments with simulation patterns. 2020-01-20 21:41:36 -08:00
Alan Mishchenko 632c7a7d89 Experiments with MUX restructuring. 2020-01-19 23:44:47 -08:00
Alan Mishchenko f1a3cffe59 Adding new command to generate specialized miter. 2020-01-19 02:18:32 -08:00
Alan Mishchenko 19b8d9bf7c Adding CNF variable mapping rules. 2020-01-18 16:42:02 -08:00
Alan Mishchenko c32a2ece07 Adding switch -g to use global rather than local BDDs in 'muxes'. 2020-01-14 13:37:53 +02:00
Alan Mishchenko 1bb50384d1 Improving performance of 'lutpack'. 2020-01-10 17:44:48 +02:00
Alan Mishchenko 1485e63ae3 Allowing nodes and boxes to have more than 6 inputs in mfs2 and &mfs. 2020-01-07 01:36:06 +02:00
Alan Mishchenko e1997b038a Adding commands 'save' and 'load' for mapped networks. 2020-01-03 22:00:58 -05:00
Alan Mishchenko 7a9311ee42 Adding experimental command. 2019-12-14 20:22:37 -08:00
Alan Mishchenko 53d4d6513c Adding experimental command. 2019-12-14 20:13:56 -08:00
Alan Mishchenko e73fca3710 Commenting out assertion. 2019-12-14 19:54:27 -08:00
Alan Mishchenko 8b6207e171 Bug fix in recently modified code. 2019-12-11 21:22:46 -08:00
Alan Mishchenko 6fb8b17c2d Making &gla iterate over property outputs. 2019-12-11 21:13:00 -08:00
Alan Mishchenko 4f4b207f2f Bug fix in recently modified code. 2019-12-11 20:25:55 -08:00
Alan Mishchenko 24d9ce6baf Special case in Verilog parser. 2019-12-06 02:19:50 -08:00
Alan Mishchenko 95a6aa285c Renaming options of command &sat. 2019-12-05 14:37:02 -08:00
Alan Mishchenko 1e602492d8 Changes to several APIs. 2019-12-05 09:53:42 -08:00
Alan Mishchenko bb33b5978a Small changes. 2019-12-04 17:08:01 -08:00
Alan Mishchenko d1462693cf Updates to JSON parser. 2019-12-02 22:53:26 -08:00
Alan Mishchenko 235176d8fb Updates to JSON parser. 2019-12-02 15:43:12 -08:00
Alan Mishchenko 787e3e1d12 Adding logfile dump to print_status. 2019-11-25 17:54:18 +07:00
Alan Mishchenko 4deaaa852a Data reading procedure. 2019-11-20 22:45:29 +08:00
Alan Mishchenko 30e2b727a1 Bug fix in printing truth table in Verilog. 2019-11-20 21:47:30 +08:00
Alan Mishchenko 3699f8beb9 Dumping multiple counter-examples. 2019-11-19 21:13:07 +08:00
Alan Mishchenko 4242cec36e Dumping multiple counter-examples. 2019-11-19 21:08:02 +08:00
Alan Mishchenko 10dd41beaf Corner case bug fix in print_stats (warning). 2019-11-19 21:06:34 +08:00
Alan Mishchenko 2eebfc2eb5 Dumping multiple counter-examples. 2019-11-19 21:02:27 +08:00
Alan Mishchenko f2702aeea6 Corner case bug fix in print_stats. 2019-11-19 20:41:34 +08:00
Alan Mishchenko 8752613e3a Experiments with truth tables. 2019-11-19 19:30:31 +08:00
Alan Mishchenko 0d24b4e4ca Bug fix in parsing hierarchical BLIF with mapping. 2019-11-18 22:29:09 +08:00
Alan Mishchenko dd5a1f5d30 Enable blasting LUTs in NDR. 2019-11-18 00:17:40 +08:00
Alan Mishchenko e9896a23e3 Adding macro to disable bridge output and APIs by popular demand. 2019-11-09 10:30:02 +02:00
Alan Mishchenko ec1dc44287 Changes to several APIs. 2019-11-03 22:04:14 +02:00
Alan Mishchenko 6b2fe00cd8 Changes to several APIs. 2019-11-01 00:58:12 +02:00
Alan Mishchenko 5a1184460b Experiments with simulation. 2019-10-27 21:07:06 +02:00
Alan Mishchenko feb3e7943d Adding limit on the depth of recursion when counting exact area in 'amap'. 2019-10-26 16:29:05 +03:00
Alan Mishchenko 35c2b42164 Adding switch -o to 'map' and '&put' to control gate duplication. 2019-10-26 14:07:52 +03:00
Alan Mishchenko d3fddd4443 Experiments with miter construction. 2019-10-26 13:19:59 +03:00
Alan Mishchenko 52a8ebb451 Adding bit-blasting of sqrt using non-restoring algorithm (Parhami, 2nd ed, p. 452) 2019-10-05 17:30:56 -07:00
Alan Mishchenko 623b5e8251 Several corner-case bug fixes in scorr with constraints. 2019-10-02 20:43:18 -07:00