summaryrefslogtreecommitdiffstats
path: root/src/map/super/super.c
diff options
context:
space:
mode:
Diffstat (limited to 'src/map/super/super.c')
-rw-r--r--src/map/super/super.c319
1 files changed, 0 insertions, 319 deletions
diff --git a/src/map/super/super.c b/src/map/super/super.c
deleted file mode 100644
index 97420c5c..00000000
--- a/src/map/super/super.c
+++ /dev/null
@@ -1,319 +0,0 @@
-/**CFile****************************************************************
-
- FileName [super.c]
-
- PackageName [MVSIS 1.3: Multi-valued logic synthesis system.]
-
- Synopsis [Pre-computation of supergates.]
-
- Author [MVSIS Group]
-
- Affiliation [UC Berkeley]
-
- Date [Ver. 1.0. Started - August 18, 2003.]
-
- Revision [$Id: super.c,v 1.6 2004/10/30 20:51:11 satrajit Exp $]
-
-***********************************************************************/
-
-#include "superInt.h"
-#include "mainInt.h"
-#include "mio.h"
-
-////////////////////////////////////////////////////////////////////////
-/// DECLARATIONS ///
-////////////////////////////////////////////////////////////////////////
-
-static int Super_CommandSupergates ( Abc_Frame_t * pAbc, int argc, char **argv );
-static int Super_CommandSupergatesAnd( Abc_Frame_t * pAbc, int argc, char **argv );
-
-////////////////////////////////////////////////////////////////////////
-/// FUNCTION DEFINITIONS ///
-////////////////////////////////////////////////////////////////////////
-
-/**Function*************************************************************
-
- Synopsis []
-
- Description []
-
- SideEffects []
-
- SeeAlso []
-
-***********************************************************************/
-void Super_Init( Abc_Frame_t * pAbc )
-{
- Cmd_CommandAdd( pAbc, "SC mapping", "super", Super_CommandSupergates, 0 );
- Cmd_CommandAdd( pAbc, "SC mapping", "super2", Super_CommandSupergatesAnd, 0 );
-}
-
-/**Function*************************************************************
-
- Synopsis []
-
- Description []
-
- SideEffects []
-
- SeeAlso []
-
-***********************************************************************/
-void Super_End()
-{
-}
-
-
-
-/**Function*************************************************************
-
- Synopsis []
-
- Description []
-
- SideEffects []
-
- SeeAlso []
-
-***********************************************************************/
-int Super_CommandSupergatesAnd( Abc_Frame_t * pAbc, int argc, char **argv )
-{
- FILE * pOut, * pErr;
- int nVarsMax, nLevels;
- int fVerbose;
- int c;
-
- pOut = Abc_FrameReadOut(pAbc);
- pErr = Abc_FrameReadErr(pAbc);
-
- // set the defaults
- nVarsMax = 4;
- nLevels = 3;
- fVerbose = 0;
- Extra_UtilGetoptReset();
- while ( (c = Extra_UtilGetopt(argc, argv, "ilvh")) != EOF )
- {
- switch (c)
- {
- case 'i':
- nVarsMax = atoi(argv[globalUtilOptind]);
- globalUtilOptind++;
- if ( nVarsMax < 0 )
- goto usage;
- break;
- case 'l':
- nLevels = atoi(argv[globalUtilOptind]);
- globalUtilOptind++;
- if ( nLevels < 0 )
- goto usage;
- break;
- case 'v':
- fVerbose ^= 1;
- break;
- case 'h':
- goto usage;
- break;
- default:
- goto usage;
- }
- }
-
- Super2_Precompute( nVarsMax, nLevels, fVerbose );
-
- return 0;
-
-usage:
- fprintf( pErr, "usage: super2 [-i num] [-l num] [-vh]\n");
- fprintf( pErr, "\t precomputes the supergates composed of AND2s and INVs\n" );
- fprintf( pErr, "\t-i num : the max number of inputs to the supergate [default = %d]\n", nVarsMax );
- fprintf( pErr, "\t-l num : the max number of logic levels of gates [default = %d]\n", nLevels );
- fprintf( pErr, "\t-v : enable verbose output\n");
- fprintf( pErr, "\t-h : print the help message\n");
- return 1; /* error exit */
-}
-
-
-/**Function*************************************************************
-
- Synopsis []
-
- Description []
-
- SideEffects []
-
- SeeAlso []
-
-***********************************************************************/
-int Super_CommandSupergates( Abc_Frame_t * pAbc, int argc, char **argv )
-{
- FILE * pFile;
- FILE * pOut, * pErr;
- Mio_Library_t * pLib;
- char * FileName, * ExcludeFile;
- float DelayLimit;
- float AreaLimit;
- bool fSkipInvs;
- bool fWriteOldFormat;
- int nVarsMax, nLevels, TimeLimit;
- int fVerbose;
- int c;
-
- pOut = Abc_FrameReadOut(pAbc);
- pErr = Abc_FrameReadErr(pAbc);
-
- // set the defaults
- nVarsMax = 5;
- nLevels = 3;
- DelayLimit = 3.5;
- AreaLimit = 9;
- TimeLimit = 10;
- fSkipInvs = 1;
- fVerbose = 0;
- fWriteOldFormat = 0;
- ExcludeFile = 0;
-
- Extra_UtilGetoptReset();
- while ( (c = Extra_UtilGetopt(argc, argv, "eiltdasovh")) != EOF )
- {
- switch (c)
- {
- case 'e':
- ExcludeFile = argv[globalUtilOptind];
- if ( ExcludeFile == 0 )
- goto usage;
- globalUtilOptind++;
- break;
- case 'i':
- nVarsMax = atoi(argv[globalUtilOptind]);
- globalUtilOptind++;
- if ( nVarsMax < 0 )
- goto usage;
- break;
- case 'l':
- nLevels = atoi(argv[globalUtilOptind]);
- globalUtilOptind++;
- if ( nLevels < 0 )
- goto usage;
- break;
- case 't':
- TimeLimit = atoi(argv[globalUtilOptind]);
- globalUtilOptind++;
- if ( TimeLimit < 0 )
- goto usage;
- break;
- case 'd':
- DelayLimit = (float)atof(argv[globalUtilOptind]);
- globalUtilOptind++;
- if ( DelayLimit <= 0.0 )
- goto usage;
- break;
- case 'a':
- AreaLimit = (float)atof(argv[globalUtilOptind]);
- globalUtilOptind++;
- if ( AreaLimit <= 0.0 )
- goto usage;
- break;
- case 's':
- fSkipInvs ^= 1;
- break;
- case 'o':
- fWriteOldFormat ^= 1;
- break;
- case 'v':
- fVerbose ^= 1;
- break;
- case 'h':
- goto usage;
- break;
- default:
- goto usage;
- }
- }
-
-
- if ( argc != globalUtilOptind + 1 )
- {
- fprintf( pErr, "The GENLIB library file should be given on the command line.\n" );
- goto usage;
- }
-
- if ( nVarsMax < 2 || nVarsMax > 6 )
- {
- fprintf( pErr, "The max number of variables (%d) should be more than 1 and less than 7.\n", nVarsMax );
- goto usage;
- }
-
- // get the input file name
- FileName = argv[globalUtilOptind];
- if ( (pFile = Io_FileOpen( FileName, "open_path", "r", 0 )) == NULL )
-// if ( (pFile = fopen( FileName, "r" )) == NULL )
- {
- fprintf( pErr, "Cannot open input file \"%s\". ", FileName );
- if (( FileName = Extra_FileGetSimilarName( FileName, ".genlib", ".lib", ".gen", ".g", NULL ) ))
- fprintf( pErr, "Did you mean \"%s\"?", FileName );
- fprintf( pErr, "\n" );
- return 1;
- }
- fclose( pFile );
-
- // set the new network
- pLib = Mio_LibraryRead( pAbc, FileName, ExcludeFile, fVerbose );
- if ( pLib == NULL )
- {
- fprintf( pErr, "Reading library has failed.\n" );
- goto usage;
- }
-
- // compute the gates
- Super_Precompute( pLib, nVarsMax, nLevels, DelayLimit, AreaLimit, TimeLimit, fSkipInvs, fWriteOldFormat, fVerbose );
-
- // delete the library
- Mio_LibraryDelete( pLib );
- return 0;
-
-usage:
- fprintf( pErr, "usage: super [-i num] [-l num] [-d float] [-a float] [-t num] [-sovh] <genlib_file>\n");
- fprintf( pErr, "\t precomputes the supergates for the given GENLIB library\n" );
- fprintf( pErr, "\t-i num : the max number of supergate inputs [default = %d]\n", nVarsMax );
- fprintf( pErr, "\t-l num : the max number of levels of gates [default = %d]\n", nLevels );
- fprintf( pErr, "\t-d float : the max delay of the supergates [default = %.2f]\n", DelayLimit );
- fprintf( pErr, "\t-a float : the max area of the supergates [default = %.2f]\n", AreaLimit );
- fprintf( pErr, "\t-t num : the approximate runtime limit in seconds [default = %d]\n", TimeLimit );
- fprintf( pErr, "\t-s : toggle the use of inverters at the inputs [default = %s]\n", (fSkipInvs? "no": "yes") );
- fprintf( pErr, "\t-o : toggle dumping the supergate library in old format [default = %s]\n", (fWriteOldFormat? "yes": "no") );
- fprintf( pErr, "\t-e file : file contains list of genlib gates to exclude\n" );
- fprintf( pErr, "\t-v : enable verbose output [default = %s]\n", (fVerbose? "yes" : "no") );
- fprintf( pErr, "\t-h : print the help message\n");
- fprintf( pErr, "\n");
- fprintf( pErr, "\tHere is a piece of advice on precomputing supergate libraries:\n");
- fprintf( pErr, "\t\n");
- fprintf( pErr, "\tStart with the number of inputs equal to 5 (-i 5), the number of \n");
- fprintf( pErr, "\tlevels equal to 3 (-l 3), the delay equal to 2-3 delays of inverter, \n");
- fprintf( pErr, "\tthe area equal to 3-4 areas of two input NAND, and runtime limit equal \n");
- fprintf( pErr, "\tto 10 seconds (-t 10). Run precomputation and learn from the result.\n");
- fprintf( pErr, "\tDetermine what parameter is most constraining and try to increase \n");
- fprintf( pErr, "\tthe value of that parameter. The goal is to have a well-balanced\n");
- fprintf( pErr, "\tset of constraints and the resulting supergate library containing\n");
- fprintf( pErr, "\tapproximately 100K-200K supergates. Typically, it is better to increase\n");
- fprintf( pErr, "\tdelay limit rather than area limit, because having large-area supergates\n");
- fprintf( pErr, "\tmay result in a considerable increase in area.\n");
- fprintf( pErr, "\t\n");
- fprintf( pErr, "\tNote that a good supergate library for experiments typically can be \n");
- fprintf( pErr, "\tprecomputed in 30 sec. Increasing the runtime limit makes sense when\n");
- fprintf( pErr, "\tother parameters are well-balanced and it is needed to enumerate more\n");
- fprintf( pErr, "\tchoices to have a good result. In the end, to compute the final library\n");
- fprintf( pErr, "\tthe runtime can be set to 300 sec to ensure the ultimate quality.\n");
- fprintf( pErr, "\tIn some cases, the runtime has to be reduced if the supergate library\n");
- fprintf( pErr, "\tcontains too many supergates (> 500K).\n");
- fprintf( pErr, "\t\n");
- fprintf( pErr, "\tWhen precomputing libraries of 6 inputs (-i 6), start with even more \n");
- fprintf( pErr, "\trestricted parameters and gradually increase them until the goal is met.\n");
- fprintf( pErr, "\t\n");
- return 1; /* error exit */
-}
-
-////////////////////////////////////////////////////////////////////////
-/// END OF FILE ///
-////////////////////////////////////////////////////////////////////////
-
-
generated by cgit v1.2.3 (git 2.25.1) at 2024-06-30 19:45:27 +0000