aletempiac
|
cd407e2ba3
|
Activate use_first flag in acd_decompose
|
2024-03-01 10:05:30 +01:00 |
aletempiac
|
9bec2afd60
|
Removing -z flag to execute delay-driven ACD
|
2024-03-01 10:04:48 +01:00 |
aletempiac
|
fa8a277765
|
Changing search space exploration of ACD to search for better implementation and prune unnecessary computations based on theoretical properties
|
2024-02-29 17:16:49 +01:00 |
aletempiac
|
48b5f3b399
|
ACD66 performance improvements by avoiding unnecessary computation
|
2024-02-29 17:15:29 +01:00 |
aletempiac
|
75abcd376b
|
Adding bindings to use ACD66 instead of generic ACD
|
2024-02-28 09:51:32 +01:00 |
aletempiac
|
44a65c23ed
|
Adding relaxation on the maximum free set constraint
|
2024-02-27 17:47:43 +01:00 |
aletempiac
|
d3f140f1df
|
Performance improvements
|
2024-02-27 17:36:24 +01:00 |
aletempiac
|
f72000f5ae
|
Adding ACD cascade 666, performance improvements
|
2024-02-21 18:25:48 +01:00 |
aletempiac
|
eba56b088f
|
Cleaning code and performance improvements
|
2024-02-21 17:13:29 +01:00 |
aletempiac
|
13fd0d55c7
|
Removing unnecessary structs
|
2024-02-21 09:47:16 +01:00 |
aletempiac
|
0cd548f1cb
|
Performance improvements to ACD
|
2024-02-20 17:28:50 +01:00 |
aletempiac
|
0e471e3ff8
|
Performance improvements of ACD 66
|
2024-02-20 14:41:52 +01:00 |
aletempiac
|
7b74810047
|
Changing policy of finding ACD 66 decomposition (faster and 100 percent coverage)
|
2024-02-16 16:43:24 +01:00 |
aletempiac
|
17afd93c78
|
Extending ACD to work up to 11 variables
|
2024-02-08 15:36:09 +01:00 |
aletempiac
|
9eb32f0766
|
Changing compilation flag for c++11
|
2024-02-08 15:11:58 +01:00 |
aletempiac
|
3f80b202cd
|
C++11 compatible code
|
2024-02-08 14:57:42 +01:00 |
aletempiac
|
2afaeac823
|
Adding hash table to reduce computations
|
2024-02-08 11:20:19 +01:00 |
aletempiac
|
2d9af6c9a4
|
Adding ACD for 66 LUT structure using a new method
|
2024-02-08 09:36:58 +01:00 |
Alan Mishchenko
|
6d1d52deaa
|
Adding an option to read the RTL elaboration library from the current directory.
|
2024-01-30 20:22:55 -08:00 |
Alan Mishchenko
|
d6555f48dd
|
Adding a switch to not write the timestamp in the AIGER file.
|
2024-01-26 07:31:20 -08:00 |
Alan Mishchenko
|
5fa9192412
|
Change how &stochsyn runs on a single core.
|
2024-01-18 18:34:50 -08:00 |
Alan Mishchenko
|
8da884de85
|
Switch to reverse the order of bits.
|
2024-01-18 18:23:11 -08:00 |
alanminko
|
922ee4f93d
|
Merge pull request #273 from sterin/master
Resolve build problems
|
2024-01-18 11:34:53 -08:00 |
Baruch Sterin
|
234af64a8c
|
Workaround for C++17 compilation (on clang)
|
2024-01-18 09:58:18 -08:00 |
Baruch Sterin
|
d140535d64
|
Adapt previous merge by @aletempiac to compile with ABC namespaces.
|
2024-01-17 15:04:31 -08:00 |
alanminko
|
9bdb8a7133
|
Merge pull request #272 from aletempiac/acd
LUT mapping with decomposition
|
2024-01-16 09:33:18 -08:00 |
aletempiac
|
5a00bbaa8f
|
Cleaning Makefile
|
2024-01-16 18:13:30 +01:00 |
aletempiac
|
d223898f3d
|
Merge remote-tracking branch 'origin/master' into acd
|
2024-01-16 17:44:45 +01:00 |
aletempiac
|
67aab70cff
|
Moving ACD package to if folder
|
2024-01-16 17:42:43 +01:00 |
Alan Mishchenko
|
5bc99574fc
|
Eliminating dependency on "abc.rc" in "&deepsyn".
|
2024-01-12 22:54:44 -08:00 |
aletempiac
|
38e632a954
|
Consider buffers in matrix covering as free
|
2024-01-12 14:50:34 +01:00 |
Alan Mishchenko
|
8c7327b8df
|
Recognizing interface of the module when writing Verilog.
|
2024-01-11 22:19:50 -08:00 |
Alan Mishchenko
|
dc68fe27f9
|
Saving module interface.
|
2024-01-11 19:45:42 -08:00 |
aletempiac
|
7dcc10a254
|
Minor fixes
|
2024-01-10 15:18:39 +01:00 |
alanminko
|
7f0a319564
|
Merge pull request #269 from rmlarsen/speedup_scanning
Micro-optimizations to speed up the Liberty parser by ~1.67x.
|
2023-12-21 12:58:42 +09:00 |
Alan Mishchenko
|
5978ccdb52
|
Updating sleep command to wait for file.
|
2023-12-21 12:16:33 +09:00 |
Rasmus Munk Larsen
|
706112ebd8
|
Micro-optimizations to speed up the Liberty parser by ~1.67x.
Signed-off-by: Rasmus Munk Larsen <rmlarsen@google.com>
|
2023-12-19 16:13:52 -08:00 |
Alan Mishchenko
|
7fe92148cc
|
New command to put computation to sleep.
|
2023-12-18 21:04:31 +09:00 |
Alan Mishchenko
|
16a3c5fc30
|
Add copying names in &saveaig and &loadaig.
|
2023-12-09 21:53:48 +08:00 |
aletempiac
|
b3d2419d9a
|
Formatting, renaming, and cleaning code
|
2023-11-27 13:38:36 +01:00 |
aletempiac
|
6097fd4349
|
Code formatting
|
2023-11-24 14:24:20 +01:00 |
aletempiac
|
23cfcc1e1f
|
Improving efficiency and removing useless code
|
2023-11-24 12:18:49 +01:00 |
aletempiac
|
43f4dccb4f
|
run time improvements in computing the column multiplicity
|
2023-11-23 16:29:33 +01:00 |
aletempiac
|
acdd08fd9b
|
Performance improvements
|
2023-11-21 11:47:56 +01:00 |
aletempiac
|
d10d450f38
|
Final implementation
|
2023-11-19 21:59:40 +01:00 |
aletempiac
|
219d6d86d6
|
Simplifying code
|
2023-11-19 19:33:19 +01:00 |
aletempiac
|
672fd1b629
|
removing not used methods
|
2023-11-19 18:53:54 +01:00 |
aletempiac
|
f7a520b957
|
restructuring code
|
2023-11-19 18:51:50 +01:00 |
aletempiac
|
1d7dfd25c6
|
Improving ACD mapping
|
2023-11-17 16:58:17 +01:00 |
aletempiac
|
3d602e2f00
|
Adding sorting of columns in heuristic covering
|
2023-11-17 15:55:10 +01:00 |