Verilog benchmark generation code.

1 files changed, 84 insertions, 0 deletions

diff --git a/src/base/wlc/wlc.c b/src/base/wlc/wlc.c
index 65cdaf88..8e853181 100644
--- a/src/base/wlc/wlc.c
+++ b/src/base/wlc/wlc.c
@@ -30,6 +30,7 @@ ABC_NAMESPACE_IMPL_START
 ///                     FUNCTION DEFINITIONS                         ///
 ////////////////////////////////////////////////////////////////////////
 
+
 /**Function*************************************************************
 
   Synopsis    []
@@ -41,6 +42,89 @@ ABC_NAMESPACE_IMPL_START
   SeeAlso     []
 
 ***********************************************************************/
+void Wlc_GenerateCodeMax4( int nBits )
+{
+    int nWidth, nSteps, i;
+    FILE * pFile = fopen( "max4.v", "wb" );
+    if ( pFile == NULL )
+        return;
+
+    for ( nSteps = 0, nWidth = 1; nWidth < nBits; nWidth *= 3, nSteps++ );
+
+    fprintf( pFile, "module max4 ( a, b, c, d, res, addr );\n\n" );
+    fprintf( pFile, "  input [%d:0] a, b, c, d;\n", nBits-1 );
+    fprintf( pFile, "  output [%d:0] res;\n", nBits-1 );
+    fprintf( pFile, "  output [1:0] addr;\n\n" );
+
+    fprintf( pFile, "  wire [%d:0] A = a;\n", nWidth-1 );
+    fprintf( pFile, "  wire [%d:0] B = b;\n", nWidth-1 );
+    fprintf( pFile, "  wire [%d:0] C = c;\n", nWidth-1 );
+    fprintf( pFile, "  wire [%d:0] D = d;\n\n", nWidth-1 );
+
+    fprintf( pFile, "  wire AB, AC, AD, BC, BD, CD;\n\n" );
+
+    fprintf( pFile, "  comp( A, B, AB );\n" );
+    fprintf( pFile, "  comp( A, C, AC );\n" );
+    fprintf( pFile, "  comp( A, D, AD );\n" );
+    fprintf( pFile, "  comp( B, C, BC );\n" );
+    fprintf( pFile, "  comp( B, D, BD );\n" );
+    fprintf( pFile, "  comp( C, D, CD );\n\n" );
+
+    fprintf( pFile, "  assign addr = AB ?  (CD ? (AC ? 2\'b00 : 2\'b10) : (AD ? 2\'b00 : 2\'b11))  :  (CD ? (BC ? 2\'b01 : 2\'b10) : (BD ? 2\'b01 : 2\'b11));\n\n" );
+    fprintf( pFile, "  assign res = addr[1] ? (addr[1] ? d : c) : (addr[0] ? b : a);\n\n" );
+    fprintf( pFile, "endmodule\n\n\n" );
+
+
+    fprintf( pFile, "module comp ( a, b, res );\n\n" );
+    fprintf( pFile, "  input [%d:0] a, b;\n", nWidth-1 );
+    fprintf( pFile, "  output res;\n" );
+    fprintf( pFile, "  wire res2;\n\n" );
+
+    fprintf( pFile, "  wire [%d:0] A =  a & ~b;\n", nWidth-1 );
+    fprintf( pFile, "  wire [%d:0] B = ~a &  b;\n\n", nWidth-1 );
+
+    fprintf( pFile, "  comp0( A, B, res, res2 );\n\n" );
+
+    fprintf( pFile, "endmodule\n\n\n" );
+
+
+    for ( i = 0; i < nSteps; i++ )
+    {
+        fprintf( pFile, "module comp%d ( a, b, yes, no );\n\n", i );
+        fprintf( pFile, "  input [%d:0] a, b;\n", nWidth-1 );
+        fprintf( pFile, "  output yes, no;\n\n", nWidth/3-1 );
+
+        fprintf( pFile, "  wire [2:0] y, n;\n\n" );
+
+        if ( i == nSteps - 1 )
+        {
+            fprintf( pFile, "  assign y = a;\n" );
+            fprintf( pFile, "  assign n = b;\n\n" );
+        }
+        else
+        {
+            fprintf( pFile, "  wire [%d:0] A0 = a[%d:%d];\n", nWidth/3-1, nWidth/3-1, 0 );
+            fprintf( pFile, "  wire [%d:0] A1 = a[%d:%d];\n", nWidth/3-1, 2*nWidth/3-1, nWidth/3 );
+            fprintf( pFile, "  wire [%d:0] A2 = a[%d:%d];\n\n", nWidth/3-1, nWidth-1, 2*nWidth/3 );
+
+            fprintf( pFile, "  wire [%d:0] B0 = b[%d:%d];\n", nWidth/3-1, nWidth/3-1, 0 );
+            fprintf( pFile, "  wire [%d:0] B1 = b[%d:%d];\n", nWidth/3-1, 2*nWidth/3-1, nWidth/3 );
+            fprintf( pFile, "  wire [%d:0] B2 = b[%d:%d];\n\n", nWidth/3-1, nWidth-1, 2*nWidth/3 );
+
+            fprintf( pFile, "  comp%d( A0, B0, y[0], n[0] );\n", i+1 );
+            fprintf( pFile, "  comp%d( A1, B1, y[1], n[1] );\n", i+1 );
+            fprintf( pFile, "  comp%d( A2, B2, y[2], n[2] );\n\n", i+1 );
+        }
+
+        fprintf( pFile, "  assign yes = y[0] | (~y[0] & ~n[0] & y[1]) | (~y[0] & ~n[0] & ~y[1] & ~n[1] & y[2]);\n" );
+        fprintf( pFile, "  assign no  = n[0] | (~y[0] & ~n[0] & n[1]) | (~y[0] & ~n[0] & ~y[1] & ~n[1] & n[2]);\n\n" );
+
+        fprintf( pFile, "endmodule\n\n\n" );
+
+        nWidth /= 3;
+    }
+    fclose( pFile );
+}
 
 
 ////////////////////////////////////////////////////////////////////////