From 07b7563e0748b1aff6f4d28b0172095b2fdcdfcc Mon Sep 17 00:00:00 2001
From: Alex AUVOLAT <alex.auvolat@ens.fr>
Date: Tue, 5 Nov 2013 13:47:12 +0100
Subject: Added netlist simplification passes (not yet quite complete !)

---
 README | 16 ++++++++++++++++
 1 file changed, 16 insertions(+)

(limited to 'README')

diff --git a/README b/README
index ff55a2c..40734fa 100644
--- a/README
+++ b/README
@@ -6,6 +6,7 @@ Alex AUVOLAT (Info 2013)
 
 
 Contents of the repository :
+----------------------------
 
 sched/
 	A scheduler for netlists.
@@ -36,3 +37,18 @@ minijazz/
 	Documentation about the project.
 
 
+
+CONVENTION FOR BINARY VALUES
+----------------------------
+
+/!\ This convention is contrary to the one used in the example file nadder.mj
+	(Therefore I have modified that file...)
+
+The bit array [a_0 a_1 a_2 ... a_n-1] represents the decimal number :
+	a_0 + 2*a_1 + 4*a_2 + ... + 2^(n-1)*a_n-1
+
+When represented in binary, we write the bits in the order :
+	a_0 a_1 a_2 ... a_n-1
+
+/!\ BINARY NUMBERS ARE WRITTEN REVERSE !
+
-- 
cgit v1.2.3