 Alan Mishchenko
|
aadfea8b4d
|
Integrating barrier buffers.
|
2014-12-13 12:37:04 -08:00 |
|
|
Alan Mishchenko
|
ac7633c5a4
|
Integrating barrier buffers.
|
2014-12-11 11:14:04 -08:00 |
|
|
Alan Mishchenko
|
4f940de518
|
Converting AIG with MUXes into a logic network.
|
2014-12-10 22:52:34 -08:00 |
|
|
Alan Mishchenko
|
a1fa224d61
|
New flavor of DSD-friendly 'eliminate'.
|
2014-12-09 23:30:46 -08:00 |
|
|
Alan Mishchenko
|
1398de7c46
|
Integrating barrier buffers.
|
2014-12-08 14:10:41 -08:00 |
|
|
Alan Mishchenko
|
3e2fad3574
|
Changes to the parser.
|
2014-12-04 18:23:20 -08:00 |
|
|
Alan Mishchenko
|
705006a648
|
Changes to the parser.
|
2014-12-03 20:35:39 -08:00 |
|
|
Alan Mishchenko
|
e970aa8521
|
Added and verified bit-blasting of power operator.
|
2014-11-30 16:18:13 -08:00 |
|
|
Alan Mishchenko
|
109fc76f43
|
Changes to history recording and other small things.
|
2014-11-30 12:20:43 -08:00 |
|
|
Alan Mishchenko
|
5d1a5f3590
|
Changes to history recording and other small things.
|
2014-11-30 12:19:32 -08:00 |
|
|
Alan Mishchenko
|
1d20dea11b
|
Induced bug fix in bitblasting of rotation operator.
|
2014-11-29 19:34:47 -08:00 |
|
|
Alan Mishchenko
|
87f0d187bf
|
Compiler warnings.
|
2014-11-29 14:43:21 -08:00 |
|
|
Alan Mishchenko
|
24f1ca0703
|
New parser and framework.
|
2014-11-29 14:36:26 -08:00 |
|
|
Alan Mishchenko
|
ba4063acb2
|
Improvements to handling boxes and flops.
|
2014-11-25 21:07:27 -08:00 |
|
|
Alan Mishchenko
|
8d5fa2c290
|
Improvements to handling boxes and flops.
|
2014-11-24 20:02:51 -08:00 |
|
|
Alan Mishchenko
|
8feac56509
|
Experiments with hierarchy representation.
|
2014-11-24 15:35:52 -08:00 |
|
|
Alan Mishchenko
|
3368b2dda9
|
Improvements to handling boxes and flops.
|
2014-11-24 15:15:45 -08:00 |
|
|
Alan Mishchenko
|
df83fb5e04
|
Fix in reading flop classes.
|
2014-11-21 12:01:26 -08:00 |
|
|
Alan Mishchenko
|
9e6d74bc15
|
Experiments with hierarchy representation.
|
2014-11-20 22:09:57 -08:00 |
|
|
Alan Mishchenko
|
997a92fc54
|
Extending &fadds to support artificial chains. New command &setregnum.
|
2014-11-20 10:46:14 -08:00 |
|
|
Alan Mishchenko
|
716b9502c9
|
Extending &fadds to support artificial chains.
|
2014-11-19 20:49:15 -08:00 |
|
|
Alan Mishchenko
|
c06bdc151c
|
Added check if a given command exists.
|
2014-11-18 13:54:16 -08:00 |
|
|
Alan Mishchenko
|
d662e7ff68
|
Merging two branches.
|
2014-11-17 18:03:51 -08:00 |
|
|
Alan Mishchenko
|
7a8d56b9ad
|
AND/OR bug in the UIF computation.
|
2014-11-17 17:46:08 -08:00 |
|
|
Alan Mishchenko
|
345d4e24f3
|
Bug fix in abstracting boxes.
|
2014-11-17 12:55:12 -08:00 |
|
|
Alan Mishchenko
|
5a10c8ad01
|
Integrating mfs2 package to work with boxes.
|
2014-11-16 23:27:21 -08:00 |
|
|
Alan Mishchenko
|
d9ffe9c3ad
|
Improvements to word-level network package.
|
2014-11-14 20:38:13 -08:00 |
|
|
Alan Mishchenko
|
98c5668d4b
|
Improvements to word-level network package.
|
2014-11-14 20:15:36 -08:00 |
|
|
Alan Mishchenko
|
cc37fb9573
|
Improvements to word-level network package.
|
2014-11-14 20:12:20 -08:00 |
|
|
Alan Mishchenko
|
3dd08c7172
|
Enabling AIGs with boxes for word-level and sequential designs.
|
2014-11-14 15:34:03 -08:00 |
|
|
Alan Mishchenko
|
a34183790f
|
Enabling AIGs with boxes for word-level and sequential designs.
|
2014-11-13 18:28:25 -08:00 |
|
|
Alan Mishchenko
|
968be1577b
|
Generation of barrier-buffers for hierarchical design.
|
2014-11-11 23:17:48 -08:00 |
|
|
Alan Mishchenko
|
96fa84ad77
|
Added switch -i to &filter to use FIs instead of FOs.
|
2014-11-11 15:11:44 -08:00 |
|
|
Alan Mishchenko
|
2a028aa147
|
Bug fix in blasting MUX with different ranges of inputs and the output.
|
2014-11-10 21:43:41 -08:00 |
|
|
Alan Mishchenko
|
ac030ee42c
|
Generation of barrier-buffers for hierarchical design.
|
2014-11-10 16:45:48 -08:00 |
|
|
Alan Mishchenko
|
5ebf135b6a
|
Adding cyclicity check for netlist with boxes.
|
2014-11-10 14:55:27 -08:00 |
|
|
Alan Mishchenko
|
873c35018a
|
Removing unauthorized printout in 'pdr'.
|
2014-11-09 23:54:57 -08:00 |
|
|
Alan Mishchenko
|
372a348c90
|
Detecting full-adder chains and putting them into white boxes.
|
2014-11-09 22:49:17 -08:00 |
|
|
Alan Mishchenko
|
8c2e51824e
|
Experimental implementation of BMC-related procedures.
|
2014-11-04 20:35:36 -08:00 |
|
|
Alan Mishchenko
|
b4cf2f7448
|
Added switches '-c' and '-n' to 'init'.
|
2014-11-02 17:35:47 -08:00 |
|
|
Alan Mishchenko
|
135bf3ecdf
|
Compiler warnings.
|
2014-10-28 23:53:17 -07:00 |
|
|
Alan Mishchenko
|
c556baa92e
|
Changes to enable building external code.
|
2014-10-28 21:13:59 -07:00 |
|
|
Alan Mishchenko
|
c0db4d2a12
|
Changes to enable building external code.
|
2014-10-27 17:56:48 -07:00 |
|
|
Alan Mishchenko
|
836723cf73
|
Changing switch -v in 'qbf' and '&qbf' to be non-verbose by default.
|
2014-10-26 08:57:13 -07:00 |
|
|
Alan Mishchenko
|
b8556e7edf
|
New command &satenum to enumerate SAT assignments of a miter in a naive way.
|
2014-10-25 17:55:35 -07:00 |
|
|
Alan Mishchenko
|
f93ede121d
|
Adding switch &fftest -N <num> to detect fixed vars after each <num> iterations.
|
2014-10-25 17:07:38 -07:00 |
|
|
Alan Mishchenko
|
96c9792f33
|
Merged in sterin/abc (pull request #9)
make it easy to add intialization functions to Abc_FrameInit()/Abc_FrameEnd()
|
2014-10-23 18:19:51 -07:00 |
|
|
Alan Mishchenko
|
49caf258d4
|
One bug fix and two small changes.
|
2014-10-22 20:18:13 -07:00 |
|
|
Alan Mishchenko
|
51be0f4c52
|
One bug fix and two small changes.
|
2014-10-22 20:17:09 -07:00 |
|
 Baruch Sterin
|
392390d23e
|
make it easy to add intialization functions to Abc_FrameInit()/Abc_FrameEnd()
|
2014-10-22 15:50:06 -07:00 |
|