Alan Mishchenko
|
6159c95ab3
|
Compiler warning.
|
2018-09-30 21:44:26 -07:00 |
|
Alan Mishchenko
|
9e787c7191
|
Experiments with word-level retiming.
|
2018-09-30 20:51:37 -07:00 |
|
Alan Mishchenko
|
a8faa2b55c
|
Adding switch to 'write_pla' to write random onset minterms of the first PO function (bug fix).
|
2018-09-29 08:26:48 -07:00 |
|
Alan Mishchenko
|
75ed8581dd
|
Adding switch to 'write_pla' to write random onset minterms of the first PO function.
|
2018-09-28 17:46:06 -07:00 |
|
Alan Mishchenko
|
3e33c91c3d
|
Adding command 'cof' to replace node by a constant (bug fix).
|
2018-09-28 10:09:19 -07:00 |
|
Alan Mishchenko
|
a0413c9a1c
|
Adding command 'cof' to replace node by a constant.
|
2018-09-27 14:49:29 -07:00 |
|
Alan Mishchenko
|
5528d1b17c
|
Adding visualization of global BDDs in 'show_bdd'.
|
2018-09-27 14:11:31 -07:00 |
|
Alan Mishchenko
|
563f4a8a56
|
New way of blasting complex flops.
|
2018-09-25 20:53:18 -07:00 |
|
Alan Mishchenko
|
a93699f696
|
New way of blasting complex flops.
|
2018-09-24 21:38:12 -07:00 |
|
Alan Mishchenko
|
fea47821f5
|
New way of blasting complex flops.
|
2018-09-24 21:34:33 -07:00 |
|
Alan Mishchenko
|
a2258f5ee6
|
Support for flops with complex controls.
|
2018-09-22 17:40:41 -07:00 |
|
Alan Mishchenko
|
53ba28772e
|
New APIs of the truth table package.
|
2018-09-21 18:20:46 -07:00 |
|
Alan Mishchenko
|
a9815b75ab
|
Adding dump of name mapping after blasting.
|
2018-09-21 18:07:21 -07:00 |
|
Alan Mishchenko
|
c5f74867b2
|
Fixing a memory leak.
|
2018-09-19 19:01:07 -07:00 |
|
Alan Mishchenko
|
677c984e16
|
Expriments with functions.
|
2018-09-16 16:31:42 -07:00 |
|
Alan Mishchenko
|
c9e520e2dc
|
Expriments with functions.
|
2018-09-16 13:52:59 -07:00 |
|
Alan Mishchenko
|
caaca11032
|
Supporting unitialized flops in NDR.
|
2018-09-11 22:20:09 +03:00 |
|
Alan Mishchenko
|
1b82a38718
|
Expriments with functions (supporting symmetries).
|
2018-09-11 21:27:33 +03:00 |
|
Alan Mishchenko
|
13c883e15c
|
Adding a warning about handling boxes in &mfs.
|
2018-09-11 12:18:15 +03:00 |
|
Alan Mishchenko
|
d798d61637
|
Adding timeout to twoexact and lutexact.
|
2018-09-08 17:15:37 +03:00 |
|
Alan Mishchenko
|
c76af92d19
|
Expriments with functions.
|
2018-09-08 16:03:56 +03:00 |
|
Alan Mishchenko
|
c497acde5d
|
Expriments with functions.
|
2018-09-08 08:30:11 +03:00 |
|
Alan Mishchenko
|
8638b13e72
|
Expriments with functions (bug fixes).
|
2018-09-07 19:40:38 +03:00 |
|
Alan Mishchenko
|
197c65be0b
|
Expriments with functions.
|
2018-09-07 18:47:45 +03:00 |
|
Alan Mishchenko
|
a8d3b9a59e
|
Expriments with functions.
|
2018-09-07 18:11:46 +03:00 |
|
Alan Mishchenko
|
922c3415b0
|
Expriments with functions (compiler warnings).
|
2018-08-30 20:21:37 +07:00 |
|
Alan Mishchenko
|
7b2ef943da
|
Expriments with functions.
|
2018-08-29 16:32:40 +07:00 |
|
Alan Mishchenko
|
2c73723b74
|
Skip non-driven nodes during DFS.
|
2018-08-26 19:01:20 +07:00 |
|
Alan Mishchenko
|
04dfe7cdee
|
Complication problem fix.
|
2018-08-19 10:12:50 +07:00 |
|
Alan Mishchenko
|
94f6bfef8d
|
Experiments with function enumeration.
|
2018-08-01 18:51:42 -08:00 |
|
Alan Mishchenko
|
7732b9a2f4
|
Procedure to return seq equivalences.
|
2018-07-22 19:59:29 -07:00 |
|
Alan Mishchenko
|
24407e13db
|
Bug fix in 'gen -b'.
|
2018-07-08 14:38:27 -07:00 |
|
Alan Mishchenko
|
8110199a5e
|
Updating command 'majgen'.
|
2018-07-04 22:17:28 -07:00 |
|
Alan Mishchenko
|
76aa1d4fed
|
Bug fix.
|
2018-07-04 21:45:48 -07:00 |
|
Alan Mishchenko
|
18bc189aba
|
Generating adder-trees using 'gen -b -A <num> -N <num> <file>.v'.
|
2018-07-04 18:58:59 -07:00 |
|
Alan Mishchenko
|
f49e8f0fe7
|
Adding command 'majgen'.
|
2018-07-04 14:04:08 -07:00 |
|
Alan Mishchenko
|
28a1307a61
|
Command %blastmem for bit-blasting small memories.
|
2018-06-16 18:47:23 -07:00 |
|
Alan Mishchenko
|
f4a267d581
|
Bug fix in 'lutpack' (level count overflow).
|
2018-06-16 14:52:20 -07:00 |
|
Alan Mishchenko
|
15939511df
|
Extending NDR to support adder/subtractor.
|
2018-06-14 21:13:54 -07:00 |
|
Alan Mishchenko
|
01d736cba4
|
Enabling user-specified output signature in &polyn.
|
2018-06-13 19:34:52 -07:00 |
|
Alan Mishchenko
|
1c990fc4f2
|
Experiments with path enumeration.
|
2018-06-10 22:31:59 -07:00 |
|
Alan Mishchenko
|
dca2218275
|
Compiler warnings.
|
2018-06-08 12:30:13 -07:00 |
|
Alan Mishchenko
|
d06d78363c
|
Improvements in bit-blasting of adders and multipliers.
|
2018-06-08 12:11:40 -07:00 |
|
Alan Mishchenko
|
b729c737b5
|
Adding switch 'clp -o' to reverse initial variable ordering.
|
2018-06-07 15:53:12 -07:00 |
|
Alan Mishchenko
|
aae37ffd4c
|
Experiments with path enumeration.
|
2018-06-06 14:17:52 -07:00 |
|
Alan Mishchenko
|
867600b766
|
Supporting the decoder primitive in NDR and bit-blasting.
|
2018-06-05 16:23:04 -07:00 |
|
Alan Mishchenko
|
5b588e0951
|
Exposing a switch to generate carry-lookahead adder during bit-blasting.
|
2018-06-05 13:49:23 -07:00 |
|
Alan Mishchenko
|
812a1bb3ab
|
Adding command print_mint.
|
2018-06-04 23:22:11 -07:00 |
|
Alan Mishchenko
|
6df1396273
|
Supporting SEL in bit-blasting.
|
2018-05-25 12:47:36 +09:00 |
|
Alan Mishchenko
|
21c7dad7e4
|
Supporting NMUX and SEL in NDR.
|
2018-05-24 19:36:28 +09:00 |
|