Alan Mishchenko
|
09b0295c1a
|
Adding aliases for some commands.
|
2023-09-18 16:27:54 +08:00 |
Alan Mishchenko
|
9399faac48
|
Improvements to &gen_hie.
|
2023-09-17 12:40:33 +08:00 |
Alan Mishchenko
|
2f5b81119b
|
Experiments with retiming.
|
2023-09-17 12:17:27 +08:00 |
Alan Mishchenko
|
475c8dad8e
|
Compiler problem.
|
2023-09-16 07:13:10 +08:00 |
Cunxi Yu
|
1261f71248
|
Merge branch 'berkeley-abc:master' into master
|
2023-09-15 13:25:27 -07:00 |
Alan Mishchenko
|
57cc2bd089
|
Compiler problem.
|
2023-09-15 22:51:11 +08:00 |
Alan Mishchenko
|
09013f3a6e
|
New command &gen_hie to generate hierarchical designs.
|
2023-09-15 22:44:31 +08:00 |
Alan Mishchenko
|
1ffdbbbebe
|
Corner-case bug fix.
|
2023-09-11 10:46:38 +07:00 |
Alan Mishchenko
|
588122dc72
|
Writing an interface module when dumping Verilog.
|
2023-09-11 09:44:22 +07:00 |
Alan Mishchenko
|
a4755a37cb
|
Experiments with CEC.
|
2023-09-08 22:42:41 +07:00 |
Alan Mishchenko
|
f844fb1057
|
Command to add one flop to the design.
|
2023-09-08 16:46:14 +07:00 |
Alan Mishchenko
|
0c719ab69e
|
Adding procedure to merge two libraries.
|
2023-09-08 14:23:14 +07:00 |
alanminko
|
00fa1e3714
|
Merge pull request #241 from wjrforcyber/typo
Refactor(Typo):Typo currently exists
|
2023-09-05 14:09:40 +07:00 |
alanminko
|
4c718f7b50
|
Merge pull request #218 from seccipon/master
1. Fix bug (using pDesign without check if == NULL) 2. Switch type of variables containing file size to (int => long)
|
2023-09-05 14:08:51 +07:00 |
alanminko
|
7f22cc07b8
|
Merge pull request #194 from jamesjer/badfile
Do not pass NULL to fprintf
|
2023-09-05 14:07:35 +07:00 |
alanminko
|
1cd5a2ce04
|
Merge pull request #156 from Teemperor/FixMemoryLeak
Fix some memory leaks
|
2023-09-05 14:05:09 +07:00 |
alanminko
|
3daa630a03
|
Merge pull request #242 from DanielG/spelling-fixes
treewide: Fix spelling mistakes
|
2023-09-05 13:31:50 +07:00 |
Alan Mishchenko
|
167fceac37
|
Enabling command history on Linux.
|
2023-09-05 11:11:18 +07:00 |
Alan Mishchenko
|
a13dae7a4a
|
Corner-case bug in truth table reading.
|
2023-09-04 08:18:02 +07:00 |
wjrforcyber
|
1a525c57a6
|
Merge remote-tracking branch 'upstream/master' into typo
|
2023-08-29 10:57:06 +08:00 |
wjrforcyber
|
b8f5708ec1
|
Refactor(Typo):Expends->Expands
|
2023-08-29 10:46:57 +08:00 |
Cunxi Yu
|
3488a35472
|
Merge branch 'berkeley-abc:master' into master
|
2023-08-27 10:21:43 -07:00 |
CUNXI YU
|
855976c61d
|
correct the naming of augmentation
|
2023-08-27 11:19:26 -06:00 |
CUNXI YU
|
0fe977a33c
|
correct the naming of augmentation
|
2023-08-27 11:18:35 -06:00 |
Daniel Gröber
|
b7d1435db1
|
treewide: Fix spelling mistakes
A particularly pedantic set of changes currently used in Debian
Authored-By: Ruben Undheim <ruben.undheim@gmail.com>
|
2023-08-27 14:13:20 +02:00 |
Alan Mishchenko
|
3309ccabd4
|
Cleaning up AIG output in EQN format.
|
2023-08-26 17:12:50 +07:00 |
wjrforcyber
|
0971429b56
|
Refactor(Typo):rec_add2 is no longer exist
|
2023-08-18 12:42:13 +08:00 |
lyj1201
|
0fab82384a
|
add AIG random synthesis based RTL argumentation; command = aigarg
|
2023-08-14 12:04:33 -06:00 |
Alan Mishchenko
|
c4839c92a8
|
Fixing 'read_truth' to read a constant truth table
|
2023-08-14 21:21:02 +07:00 |
Alan Mishchenko
|
42683a7370
|
Fixed performance bug in Feb 28 commit (0d0063f).
|
2023-08-12 16:36:18 +07:00 |
Alan Mishchenko
|
a7aa3deac9
|
Fixed a corner-case bug in Aug 5 commit (3daecc0).
|
2023-08-12 16:32:56 +07:00 |
Alan Mishchenko
|
a603186d8e
|
"Fixing usage message of &ps."
|
2023-08-11 07:14:11 +07:00 |
alanminko
|
e387ddf849
|
Merge pull request #236 from MyskYko/fix_rwr
update reverse level when co is replaced
|
2023-08-06 08:52:20 +07:00 |
MyskYko
|
3daecc0ea8
|
update reverse level when co is replaced
|
2023-08-05 13:35:41 -07:00 |
Alan Mishchenko
|
039f05cb56
|
Adding preprocessing to command &splitsat.
|
2023-07-27 20:50:02 -07:00 |
Alan Mishchenko
|
74157fc0ab
|
New command &splitsat.
|
2023-07-27 16:00:17 -07:00 |
Alan Mishchenko
|
19eaa55c2a
|
Experiments with cube ordering.
|
2023-07-23 10:14:35 -07:00 |
Alan Mishchenko
|
683882f2bb
|
Experiments with stochastic synthesis.
|
2023-07-22 22:18:28 -07:00 |
Alan Mishchenko
|
0108175c6c
|
Bug fix in 'dsd'.
|
2023-07-22 17:08:01 -07:00 |
Alan Mishchenko
|
a620c09c40
|
Adding functional comparison to &compare.
|
2023-07-22 16:44:33 -07:00 |
Alan Mishchenko
|
3592078ddb
|
Partitioned &scorr.
|
2023-07-21 18:49:06 -07:00 |
Alan Mishchenko
|
55ed1e6698
|
Changing command &permute to generate random NPNP transformations.
|
2023-07-21 16:15:34 -07:00 |
Alan Mishchenko
|
623d0f3c9f
|
Change in how signal names are printing in 'print_level'.
|
2023-07-18 21:00:13 -07:00 |
Alan Mishchenko
|
0828ac28a0
|
Bug fix in Verilog writer.
|
2023-07-18 15:53:20 -07:00 |
Alan Mishchenko
|
59cfcd2240
|
Compiler warnings.
|
2023-07-18 09:00:11 -07:00 |
Cunxi Yu
|
5bb7fb76a7
|
add orchestration function (local greedy); usage: orchestrate -h
|
2023-07-16 12:20:10 -06:00 |
Alan Mishchenko
|
c70de10002
|
Updating &saveaig command.
|
2023-07-14 20:06:22 -07:00 |
Alan Mishchenko
|
373c5eccf3
|
Experiment with multipliers.
|
2023-07-07 13:12:22 -07:00 |
alanminko
|
3d35624be6
|
Merge pull request #224 from MyskYko/transduction
Transduction option fix and multi-threading
|
2023-05-14 14:12:26 -07:00 |
Yukio Miyasaka
|
16894c56ee
|
thread parallelism
|
2023-05-14 13:48:40 -07:00 |