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

5119 Commits

Author SHA1 Message Date
MyskYko ce3843ec8c fix enum 2023-05-02 17:08:02 -07:00
MyskYko 13b0d17169 abc cxx namespace 2023-05-02 17:02:04 -07:00
MyskYko 6e985705fc transduction 2023-05-02 16:48:33 -07:00
Alan Mishchenko eff805a644 Bug fix in choice computation. 2023-04-28 08:02:04 -04:00
Andrey Rogov d785775f64 1. Fix bug (using pDesign without check if == NULL) 
2. Switch type of variables containing file size to (int => long)
 2023-04-28 01:52:01 +03:00
Henner Zeller dfd8fabdd7 Don't #define _DEFAULT_SOURCE if already defined. 2023-04-27 13:44:13 -07:00
Alan Mishchenko cc6834d4cc Unifying random number generation. 2023-04-27 15:40:34 -04:00
Alan Mishchenko 65a756bf01 Command to write the network into an edgelist file, contributed by Cunxi Yu (University of Utah). 2023-04-25 12:58:59 -04:00
Alan Mishchenko 1a91797316 Trying to fix a spurious build error. 2023-04-22 19:17:56 -07:00
Alan Mishchenko 9f4ab5a2c1 Bug fix in SAT sweeping. 2023-04-22 18:37:21 -07:00
Alan Mishchenko b633363f06 Trying to fix a spurious build error. 2023-04-04 10:43:01 +08:00
Alan Mishchenko eaa9da53cd Various unrelated changes. 2023-04-04 10:28:07 +08:00
Alan Mishchenko 36a83acf3c Experiments with sequential mapping. 2023-03-31 19:52:46 +07:00
Alan Mishchenko 08d25f39f2 Various unrelated changes. 2023-03-26 08:15:45 +07:00
Alan Mishchenko 41c01e4fb7 Compiler warning. 2023-03-17 09:59:57 +07:00
Alan Mishchenko 6694add40f Compiler warning. 2023-03-17 09:54:46 +07:00
Alan Mishchenko 1229d1ff07 New options to print out sim info. 2023-03-16 13:03:07 +07:00
Alan Mishchenko a5f4841486 Adding BLIF dumping to MiniAIG. 2023-03-13 20:51:40 +07:00
Alan Mishchenko 6d9c8daece Fix duplicating invs/bufs driving primary outputs in 'write_verilog'. 2023-03-11 22:28:38 +07:00
Alan Mishchenko 8ffb7811c7 New options to print out sim info (warning). 2023-03-11 20:35:23 +07:00
Alan Mishchenko c1b2a64c2e Alternative binary name on Linux. 2023-03-11 20:29:04 +07:00
Alan Mishchenko 7bc6f3396e New options to print out sim info. 2023-03-11 20:25:11 +07:00
Alan Mishchenko 953970e73a Skipping zero partial products. 2023-03-05 11:42:26 +07:00
Alan Mishchenko 9d0e828b85 Fixing compiler error. 2023-03-01 19:12:06 +07:00
Alan Mishchenko 3370370101 Adding switch 'show -d' to keep (not delete) the .dot file after generating the .ps file. 2023-03-01 19:00:44 +07:00
Alan Mishchenko a79dc18eb2 Enabling generation of non-restoring divider. 2023-03-01 18:41:24 +07:00
Alan Mishchenko 8742534db8 More compiler warnings. 2023-03-01 01:12:36 -08:00
alanminko 91aaff2575 More compiler warnings. 2023-02-28 03:07:41 -08:00
Alan Mishchenko 667326b18e Compiler warnings. 2023-02-28 15:53:12 +07:00
Alan Mishchenko 622d142794 Compiler warnings. 2023-02-28 15:40:06 +07:00
Alan Mishchenko b57b546494 Compiler warnings. 2023-02-28 15:16:31 +07:00
Alan Mishchenko 0d0063f7de Experiment with cost functions. 2023-02-28 13:50:35 +07:00
Catherine 2c1c83f75b
Merge pull request #21 from xobs/cast-unsigned-signed 
casts: add casts for unsigned -> signed int
 2023-02-23 01:47:15 +00:00
Catherine f89df8087d Add WASI support in Abc_Clock. 2023-02-23 01:14:48 +00:00
Alan Mishchenko 581c58b9c4 Experiment with choice computation. 2023-02-16 07:14:18 +01:00
Sean Cross 3f9b46591c casts: add casts for unsigned -> signed int 
When compiling on Darwin ARM64 hardware using the Conda clang compiler,
compilation fails due to these casts going from `unsigned` to `int`.

In these cases, a cast appears to be the correct approach. Add a cast
to make the compiler happy.

Signed-off-by: Sean Cross <sean@xobs.io>
 2023-02-15 22:58:24 +08:00
Alan Mishchenko 38ad178e9e Changes and bug fixes in exact synthesis. 2023-02-13 06:39:10 +01:00
Alan Mishchenko bbd0640db2 Enable 'scorr' when AIG has no internal nodes. 2023-02-09 16:15:48 -08:00
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 ea0f22de4d Bug fix in &mfs. 2023-02-08 00:25:17 -08:00
Alan Mishchenko 110bac4394 Improvement in truth table printout. 2023-02-08 00:24:43 -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 e7ecaee92d Bug fix in supergate generation. 2023-02-05 14:41:18 -08:00
Catherine 18b9c612f4 Add WASI support in Exa4_ManSolve. 2023-02-04 03:14:44 +00: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 091c589301 Unifying the use of random numbers. 2022-12-14 20:45:11 -08:00
Alan Mishchenko c20f1dcc73 Another way of dumping QBF problem into a file (bug fix). 2022-12-04 07:35:16 -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
Alan Mishchenko b0518173b1 Preventing underfined behavior following a github message suggestion. 2022-11-21 14:12:47 -08:00
Henner Zeller 74740dc894 Fix undefined behavior in signed/unsigned shifting. 
Discovered by UBSAN as invalid attempts at shifting signed integers.

Signed-off-by: Henner Zeller <hzeller@google.com>
 2022-11-21 12:36:41 -08:00
Henner Zeller 2f0f638007 Make sure all 32 bits of bit-field are initialized. 
Found with msan static analysis which noticed an
uninitialized bit.

Signed-off-by: Henner Zeller <hzeller@google.com>
 2022-11-21 12:23:11 -08:00
Jerry James 5a9f37cd93 Do not pass NULL to fprintf 2022-11-16 11:38:38 -07:00
Miodrag Milanovic be9a35c036 Merge remote-tracking branch 'upstream/master' into yosys-experimental 2022-11-09 08:42:08 +01:00
Alan Mishchenko 70cb339f86 Bug fix in &dch -x. 2022-10-19 05:05:56 -07:00
Alan Mishchenko 336b41a063 Adding comment about dup cell name. 2022-10-11 09:36:15 -07:00
Alan Mishchenko 813a0f1ff1 Updating features of &if mapper. 2022-10-09 23:51:40 -07:00
Jeremy Kun 4f4bba2a47
typo: Libery -> Liberty 2022-09-30 09:17:32 -07:00
Yukio Miyasaka fdd5656599 fix compile warnings 2022-09-19 18:25:00 -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 47c153629f Compiler warnings. 2022-09-19 15:57:48 -07:00
Yukio Miyasaka 124e750e9a fix compile errors and warnings 2022-09-19 14:51:34 -07:00
Alan Mishchenko 6c8c6aafc5 Temporarily disabling new code. 2022-09-19 12:41:19 -07:00
Alan Mishchenko 2df7443317 Temporarily disabling new code. 2022-09-19 12:33:45 -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
Miodrag Milanovic ab5b16ede2 Additional fix for large liberty files 2022-09-08 16:04:24 +02:00
Miodrag Milanovic 7543778f2c Enable loading of large liberty files 2022-09-07 11:45:30 +02:00
Miodrag Milanovic aa21961c24 Support using large liberty files 2022-09-07 11:42:59 +02: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 34d571a562 Various changes. 2022-08-30 12:30:15 -07:00
Alan Mishchenko c3c643820e Various changes. 2022-08-30 12:00:33 -07:00
Alan Mishchenko 1b0439d128 Changing 2:1 MUX fanin order to be (ctrl, data0, data1). 2022-08-11 20:19:37 -07:00
Alan Mishchenko af0ac88266 Improvements to command 'twoexact'. 2022-08-08 16:43:30 -07:00
Alan Mishchenko 1368a920b9 Improvements to command 'twoexact'. 2022-08-08 16:41:32 -07:00
Alan Mishchenko 99b33e5dbf Improvements to command 'twoexact'. 2022-08-07 12:56:37 -07:00
Alan Mishchenko 30ddf14c90 Improvements to command 'twoexact'. 2022-08-07 12:24:44 -07:00
Jannis Harder 20f970f569 write_cex: Check for unsupported multi-PO SAT based minimization 
Running SAT-based CEX minimization with multiple POs runs into an
assertion. This makes it produce an error message instead.
 2022-08-05 15:12:00 +02:00
Jannis Harder feedbc7449 read_cex: Faster parsing and care bits for verification 2022-08-05 15:11:34 +02:00
Jannis Harder 8c923ad492 Add '-p' option to 'constr' to allow fully removing constraints 
Invoking 'constr -r' converts constraints into POs but does not fully
remove them. Now 'constr -pr' can be used to completely remove them,
leaving the set of non-constraint POs unchanged.
 2022-08-05 13:21:59 +02:00
Alan Mishchenko 21cccea072 Improvements to command 'twoexact'. 2022-08-04 21:08:11 -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 66449e8033 Constructing boolean relation. 2022-07-30 20:38:33 -07:00
Alan Mishchenko ddb22f3bed Various changes. 2022-07-30 14:21:47 -07:00
Miodrag Milanovic c95d9499d9 Revert "Remove ABC_NO_RLIMIT macro, use defined(__wasm) instead." 
This reverts commit fd2c9b1c19.
 2022-07-15 12:46:01 +02:00
Catherine 5f40c4704f Add support for WASI platform in Wln_ConvertToRtl. 2022-07-07 08:28:52 +00:00
Miodrag Milanovic f159bef6c3 Prevent types from stdint to be defined under abc namespace 2022-07-04 16:11:23 +02:00
Miodrag Milanovic 163af36fee Merge remote-tracking branch 'upstream/master' into yosys-experimental 2022-07-04 16:02:44 +02:00
Jannis Harder 69ffaa0912 read_cex: Allow reading cex that has extra registers 2022-07-01 16:00:05 +02:00
Miodrag Milanovic 65590d0e17 Prevent types from stdint to be defined under abc namespace 2022-06-29 09:12:22 +02:00
Alan Mishchenko c23cd0a7c5 Commenting out unimportant assertion. 2022-06-27 09:53:17 -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 8888e8e82e Experiments with the mapper. 2022-06-23 07:48:10 -07:00
Alan Mishchenko 8eb651c3d3 Adding command to check resub problem solution. 2022-06-10 16:55:12 -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 5a3e0a1f15 Improvements to MiniAIG. 2022-05-22 19:47:13 -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 3d19d411b2 Improvements to MiniAIG. 2022-05-18 10:41:39 -07:00
Miodrag Milanovic 09a7e6dac7 distinquish between old and new format as well 2022-05-06 15:49:42 +02:00
Miodrag Milanovic 6234e18df7 Give more reasonable error on read_cex and handle status 2022-05-06 15:41:34 +02:00
Yuri Victorovich c84323b5a5 Add missing class names in FreeBSD-ifdefed code. 2022-05-06 08:00:29 +02:00
Alan Mishchenko 61f2f3db6f Removing equivalence classes when they are not properly refined. 2022-04-28 15:41:02 -07:00
Alan Mishchenko f6758079f7 Removing equivalence classes when they are not properly refined. 2022-04-27 20:54:04 -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 7693ce6a6c Bug fix in &uif. 2022-04-24 19:15:22 -07:00
Alan Mishchenko dd81af8170 Supporting multiple box types in &uif. 2022-04-24 14:37:46 -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
Miodrag Milanovic 43a15df951 Fix for unhandled aiw file commands 2022-04-15 11:42:56 +02:00
Miodrag Milanovic b29e8a777b Make read_cex able to append if some latches are missing 2022-04-13 18:54:55 +02:00
alanminko fdf08d2aad
Merge pull request #160 from antonblanchard/signed-char 
Fix compile error on targets with unsigned char
 2022-04-06 18:10:37 -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
alanminko 547de09670
Merge pull request #145 from QuantamHD/fix_internal_pins 
Fixes internal pin parsing error in ASAP7 liberty file.
 2022-04-04 12:55:49 -07:00
Alan Mishchenko 5405003a5e Suggested changes to properly initialize the variable array for Cudd_bddVectorCompose(). 2022-04-02 23:44:57 -07:00
Alan Mishchenko a24b15d03a Suggested changes for the case when the file begings with a new line. 2022-03-29 15:31:13 -07:00
Raphael Isemann b44a8f927b Fix some memory leaks 2022-03-25 17:12:20 +01:00