#include <math.h>
#include "base/main/main.h"
#include "map/mio/mio.h"
#include "ioAbc.h"

Include dependency graph for ioWriteBook.c:

Macros
#define	NODES 0

#define	PL 1

#define	coreHeight 1

#define	termWidth 1

#define	termHeight 1

Functions
void	Io_WriteBookLogic (Abc_Ntk_t pNtk, char FileName)
	FUNCTION DEFINITIONS ///.

void	Io_WriteBook (Abc_Ntk_t pNtk, char FileName)

Macro Definition Documentation

◆ coreHeight

#define coreHeight 1

Definition at line 31 of file ioWriteBook.c.

◆ NODES

#define NODES 0

CFile****************************************************************

FileName [ioWriteBook.c]

SystemName [ABC: Logic synthesis and verification system.]

PackageName [Command processing package.]

Synopsis [Procedures to write Bookshelf files.]

Author [Myungchul Kim]

Affiliation [U of Michigan]

Date [Ver. 1.0. Started - October 25, 2008.]

Revision [

Id: ioWriteBook.c,v 1.00 2005/11/10 00:00:00 mckima Exp

]

Definition at line 29 of file ioWriteBook.c.

◆ PL

#define PL 1

Definition at line 30 of file ioWriteBook.c.

◆ termHeight

#define termHeight 1

Definition at line 33 of file ioWriteBook.c.

◆ termWidth

#define termWidth 1

Definition at line 32 of file ioWriteBook.c.

Function Documentation

◆ Io_WriteBook()

void Io_WriteBook	(	Abc_Ntk_t *	pNtk,
		char *	FileName )

Function*************************************************************

Synopsis [Write the network into a BOOK file with the given name.]

Description []

SideEffects []

SeeAlso []

Definition at line 100 of file ioWriteBook.c.

{
 
    FILE * pFileNodes, * pFileNets, * pFileAux;
    FILE * pFileScl, * pFilePl, * pFileWts;
    char * FileExt = ABC_CALLOC( char, strlen(FileName)+7 );
    unsigned coreCellArea=0;
    Abc_Ntk_t * pExdc, * pNtkTemp;
    int i;
 
    assert( Abc_NtkIsNetlist(pNtk) );
    // start writing the files
    strcpy(FileExt, FileName);
    pFileNodes = fopen( strcat(FileExt,".nodes"), "w" );
    strcpy(FileExt, FileName);
    pFileNets  = fopen( strcat(FileExt,".nets"), "w" );
    strcpy(FileExt, FileName);
    pFileAux   = fopen( strcat(FileExt,".aux"), "w" );
 
        // write the aux file
    if ( (pFileNodes == NULL) || (pFileNets == NULL) || (pFileAux == NULL) )
    {
        fclose( pFileAux );
        fprintf( stdout, "Io_WriteBook(): Cannot open the output files.\n" );
        return;
    }
    fprintf( pFileAux, "RowBasedPlacement : %s.nodes %s.nets %s.scl %s.pl %s.wts", 
         FileName, FileName, FileName, FileName, FileName );
    fclose( pFileAux );
 
    // write the master network
    coreCellArea+=Io_NtkWriteNodes( pFileNodes, pNtk );
    Io_NtkWriteNets( pFileNets, pNtk );
 
    // write EXDC network if it exists
    pExdc = Abc_NtkExdc( pNtk );
    if ( pExdc )
    {
    coreCellArea+=Io_NtkWriteNodes( pFileNodes, pNtk );
        Io_NtkWriteNets( pFileNets, pNtk );
    }
 
    // make sure there is no logic hierarchy
    assert( Abc_NtkWhiteboxNum(pNtk) == 0 );
 
    // write the hierarchy if present
    if ( Abc_NtkBlackboxNum(pNtk) > 0 )
    {
        Vec_PtrForEachEntry( Abc_Ntk_t *, pNtk->pDesign->vModules, pNtkTemp, i )
        {
            if ( pNtkTemp == pNtk )
                continue;
            coreCellArea+=Io_NtkWriteNodes( pFileNodes, pNtkTemp );
            Io_NtkWriteNets( pFileNets, pNtkTemp );
        }
    }
    fclose( pFileNodes );
    fclose( pFileNets );
 
    strcpy(FileExt, FileName);
    pFileScl = fopen( strcat(FileExt,".scl"), "w" );
    strcpy(FileExt, FileName);
    pFilePl  = fopen( strcat(FileExt,".pl"), "w" );
    strcpy(FileExt, FileName);
    pFileWts   = fopen( strcat(FileExt,".wts"), "w" );
    ABC_FREE(FileExt);
 
    Io_NtkBuildLayout( pFileScl, pFilePl, pNtk, 1.0, 10, coreCellArea );
    fclose( pFileScl );
    fclose( pFilePl );
    fclose( pFileWts );
}

Here is the call graph for this function:

Here is the caller graph for this function:

◆ Io_WriteBookLogic()

void Io_WriteBookLogic	(	Abc_Ntk_t *	pNtk,
		char *	FileName )

FUNCTION DEFINITIONS ///.