From 0c6505a26a537dc911b6566f82d759521e527c08 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Wed, 30 Jan 2008 20:01:00 -0800
Subject: Version abc80130_2

---
 src/misc/espresso/map.c | 115 ++++++++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 115 insertions(+)
 create mode 100644 src/misc/espresso/map.c

(limited to 'src/misc/espresso/map.c')

diff --git a/src/misc/espresso/map.c b/src/misc/espresso/map.c
new file mode 100644
index 00000000..5ccf264c
--- /dev/null
+++ b/src/misc/espresso/map.c
@@ -0,0 +1,115 @@
+/*
+ * Revision Control Information
+ *
+ * $Source$
+ * $Author$
+ * $Revision$
+ * $Date$
+ *
+ */
+#include "espresso.h"
+
+static pcube Gcube;
+static pset Gminterm;
+
+pset minterms(T)
+pcover T;
+{
+    int size, var;
+    register pcube last;
+
+    size = 1;
+    for(var = 0; var < cube.num_vars; var++)
+    size *= cube.part_size[var];
+    Gminterm = set_new(size);
+
+    foreach_set(T, last, Gcube)
+    explode(cube.num_vars-1, 0);
+
+    return Gminterm;
+}
+
+
+void explode(var, z)
+int var, z;
+{
+    int i, last = cube.last_part[var];
+    for(i=cube.first_part[var], z *= cube.part_size[var]; i<=last; i++, z++)
+    if (is_in_set(Gcube, i))
+        if (var == 0)
+        set_insert(Gminterm, z);
+        else
+        explode(var-1, z);
+}
+
+
+static int mapindex[16][16] = {
+     0,  1,  3,  2,   16, 17, 19, 18,      80, 81, 83, 82,   64, 65, 67, 66,
+     4,  5,  7,  6,   20, 21, 23, 22,      84, 85, 87, 86,   68, 69, 71, 70,
+    12, 13, 15, 14,   28, 29, 31, 30,      92, 93, 95, 94,   76, 77, 79, 78,
+     8,  9, 11, 10,   24, 25, 27, 26,      88, 89, 91, 90,   72, 73, 75, 74,
+
+    32, 33, 35, 34,   48, 49, 51, 50,     112,113,115,114,   96, 97, 99, 98,
+    36, 37, 39, 38,   52, 53, 55, 54,     116,117,119,118,  100,101,103,102,
+    44, 45, 47, 46,   60, 61, 63, 62,     124,125,127,126,  108,109,111,110,
+    40, 41, 43, 42,   56, 57, 59, 58,     120,121,123,122,  104,105,107,106,
+
+
+   160,161,163,162,  176,177,179,178,     240,241,243,242,  224,225,227,226,
+   164,165,167,166,  180,181,183,182,     244,245,247,246,  228,229,231,230,
+   172,173,175,174,  188,189,191,190,     252,253,255,254,  236,237,239,238,
+   168,169,171,170,  184,185,187,186,     248,249,251,250,  232,233,235,234,
+
+   128,129,131,130,  144,145,147,146,     208,209,211,210,  192,193,195,194,
+   132,133,135,134,  148,149,151,150,     212,213,215,214,  196,197,199,198,
+   140,141,143,142,  156,157,159,158,     220,221,223,222,  204,205,207,206,
+   136,137,139,138,  152,153,155,154,     216,217,219,218,  200,201,203,202
+};
+
+#define POWER2(n) (1 << n)
+void map(T)
+pcover T;
+{
+    int j, k, l, other_input_offset, output_offset, outnum, ind;
+    int largest_input_ind,  numout;
+    char c;
+    pset m;
+    bool some_output;
+
+    m = minterms(T);
+    largest_input_ind = POWER2(cube.num_binary_vars);
+    numout = cube.part_size[cube.num_vars-1];
+
+    for(outnum = 0; outnum < numout; outnum++) {
+    output_offset = outnum * largest_input_ind;
+    printf("\n\nOutput space # %d\n", outnum);
+    for(l = 0; l <= MAX(cube.num_binary_vars - 8, 0); l++) {
+        other_input_offset = l * 256;
+        for(k = 0; k < 16; k++) {
+        some_output = FALSE;
+        for(j = 0; j < 16; j++) {
+            ind = mapindex[k][j] + other_input_offset;
+            if (ind < largest_input_ind) {
+            c = is_in_set(m, ind+output_offset) ? '1' : '.';
+            putchar(c);
+            some_output = TRUE;
+            }
+            if ((j+1)%4 == 0)
+            putchar(' ');
+            if ((j+1)%8 == 0)
+            printf("  ");
+        }
+        if (some_output)
+            putchar('\n');
+        if ((k+1)%4 == 0) {
+            if (k != 15 && mapindex[k+1][0] >= largest_input_ind)
+            break;
+            putchar('\n');
+        }
+        if ((k+1)%8 == 0)
+            putchar('\n');
+        }
+    }
+    }
+    set_free(m);
+}
-- 
cgit v1.2.3