summaryrefslogtreecommitdiff
path: root/manual/APPNOTE_010_Verilog_to_BLIF.tex
diff options
context:
space:
mode:
authorClifford Wolf <clifford@clifford.at>2013-12-05 18:15:14 +0100
committerClifford Wolf <clifford@clifford.at>2013-12-05 18:15:14 +0100
commit8311492475090451c7c69ef076809bb5e9852f9b (patch)
tree188ca8c1a671c135e54cec8d784b62c1c8e26c3f /manual/APPNOTE_010_Verilog_to_BLIF.tex
parent891e4b5b0d16a537e6d1ca0ecbc1ac3bafccecef (diff)
Fixed bug in example prog in appnote 011
Diffstat (limited to 'manual/APPNOTE_010_Verilog_to_BLIF.tex')
-rw-r--r--manual/APPNOTE_010_Verilog_to_BLIF.tex4
1 files changed, 2 insertions, 2 deletions
diff --git a/manual/APPNOTE_010_Verilog_to_BLIF.tex b/manual/APPNOTE_010_Verilog_to_BLIF.tex
index bba17c90..9ee87bc4 100644
--- a/manual/APPNOTE_010_Verilog_to_BLIF.tex
+++ b/manual/APPNOTE_010_Verilog_to_BLIF.tex
@@ -358,7 +358,7 @@ process this cell.
#define BITMAP_SIZE 64
#define OUTPORT 0x10000000
-static uint16_t bitmap[BITMAP_SIZE/32];
+static uint32_t bitmap[BITMAP_SIZE/32];
static void bitmap_set(uint32_t idx) { bitmap[idx/32] |= 1 << (idx % 32); }
static bool bitmap_get(uint32_t idx) { return (bitmap[idx/32] & (1 << (idx % 32))) != 0; }
@@ -403,7 +403,7 @@ file into ABC's internal format as well.
The only thing left to write about the simulation itself is that it probably
was one of the most energy inefficient and time consuming ways of successfully
-calculating the first 50 primes the author has ever conducted.
+calculating the first 31 primes the author has ever conducted.
\section{Limitations}