luke
/
abc
mirror of https://github.com/YosysHQ/abc.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Command "write_jsonc".

This commit is contained in:
Alan Mishchenko 2025-12-12 20:35:42 -08:00
parent 362661f00d
commit 94d0b0dbbb
2 changed files with 191 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

50
src/base/io/io.c
View File

@ -93,6 +93,7 @@ static int IoCommandWriteTruths ( Abc_Frame_t * pAbc, int argc, char **argv );
static int IoCommandWriteStatus ( Abc_Frame_t * pAbc, int argc, char **argv );
static int IoCommandWriteSmv ( Abc_Frame_t * pAbc, int argc, char **argv );
static int IoCommandWriteJson ( Abc_Frame_t * pAbc, int argc, char **argv );
static int IoCommandWriteJsonC ( Abc_Frame_t * pAbc, int argc, char **argv );
static int IoCommandWriteResub ( Abc_Frame_t * pAbc, int argc, char **argv );
static int IoCommandWriteMM ( Abc_Frame_t * pAbc, int argc, char **argv );
static int IoCommandWriteMMGia ( Abc_Frame_t * pAbc, int argc, char **argv );
@ -176,6 +177,7 @@ void Io_Init( Abc_Frame_t * pAbc )
Cmd_CommandAdd( pAbc, "I/O", "write_status", IoCommandWriteStatus, 0 );
Cmd_CommandAdd( pAbc, "I/O", "write_smv", IoCommandWriteSmv, 0 );
Cmd_CommandAdd( pAbc, "I/O", "write_json", IoCommandWriteJson, 0 );
Cmd_CommandAdd( pAbc, "I/O", "write_jsonc", IoCommandWriteJsonC, 0 );
Cmd_CommandAdd( pAbc, "I/O", "&write_resub", IoCommandWriteResub, 0 );
Cmd_CommandAdd( pAbc, "I/O", "write_mm", IoCommandWriteMM, 0 );
Cmd_CommandAdd( pAbc, "I/O", "&write_mm", IoCommandWriteMMGia, 0 );
@ -4395,6 +4397,54 @@ usage:
return 1;
}
/**Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
***********************************************************************/
int IoCommandWriteJsonC( Abc_Frame_t * pAbc, int argc, char **argv )
{
extern void Jsonc_WriteTest( Abc_Ntk_t * p, char * pFileName );
Abc_Ntk_t * pNtk = Abc_FrameReadNtk(pAbc);
char * pFileName;
int c;
Extra_UtilGetoptReset();
while ( ( c = Extra_UtilGetopt( argc, argv, "h" ) ) != EOF )
{
switch ( c )
{
case 'h':
goto usage;
default:
goto usage;
}
}
if ( pNtk == NULL || !Abc_NtkHasMapping(pNtk) )
{
fprintf( pAbc->Out, "No curent network or network is not mapped.\n" );
return 0;
}
if ( argc != globalUtilOptind + 1 )
goto usage;
pFileName = argv[globalUtilOptind];
Jsonc_WriteTest( pNtk, pFileName );
return 0;
usage:
fprintf( pAbc->Err, "usage: write_jsonc [-ch] <file>\n" );
fprintf( pAbc->Err, "\t write the network in JSONC format\n" );
fprintf( pAbc->Err, "\t-h : print the help message\n" );
fprintf( pAbc->Err, "\tfile : the name of the file to write (extension .jsonc)\n" );
return 1;
}
/**Function*************************************************************
Synopsis []

142
src/base/io/ioJsonc.c
View File

@ -23,8 +23,10 @@
#include <string.h>
#include <stdint.h>
#include <stdbool.h>
#include <assert.h>
#include "ioAbc.h"
#include "map/mio/mio.h"
ABC_NAMESPACE_IMPL_START
@ -605,9 +607,147 @@ int Jsonc_ReadTest( char * pFileName )
return 0;
}
static int Jsonc_ParseNameBit( const char * pName, char * pBase, int nBase )
{
const char * pOpen;
const char * pClose;
int nCopy;
if ( pBase && nBase > 0 )
pBase[0] = '\0';
if ( pName == NULL || pBase == NULL || nBase <= 1 )
return 0;
pOpen = strrchr( pName, '[' );
pClose = pOpen ? strchr( pOpen, ']' ) : NULL;
if ( pOpen && pClose && pClose > pOpen + 1 )
{
nCopy = (int)(pOpen - pName);
if ( nCopy > nBase - 1 )
nCopy = nBase - 1;
memcpy( pBase, pName, nCopy );
pBase[nCopy] = '\0';
return atoi( pOpen + 1 );
}
strncpy( pBase, pName, nBase - 1 );
pBase[nBase - 1] = '\0';
return 0;
}
static const char * Jsonc_GetPortName( Abc_Obj_t * pObj )
{
if ( Abc_ObjIsCi(pObj) && Abc_NtkIsNetlist(pObj->pNtk) && Abc_ObjFanoutNum(pObj) )
return Abc_ObjName( Abc_ObjFanout0(pObj) );
if ( Abc_ObjIsCo(pObj) && Abc_NtkIsNetlist(pObj->pNtk) && Abc_ObjFaninNum(pObj) )
return Abc_ObjName( Abc_ObjFanin0(pObj) );
return Abc_ObjName(pObj);
}
static const char * Jsonc_GetNodeOutName( Abc_Obj_t * pObj )
{
static char Buffer[1024];
if ( Abc_ObjFanoutNum(pObj) )
{
Abc_Obj_t * pFan0 = Abc_ObjFanout0(pObj);
if ( Abc_ObjIsNet(pFan0) || Abc_ObjIsCo(pFan0) )
return Abc_ObjName(pFan0);
}
if ( Abc_ObjName(pObj) )
return Abc_ObjName(pObj);
snprintf( Buffer, sizeof(Buffer), "n%d", Abc_ObjId(pObj) );
return Buffer;
}
/**Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
***********************************************************************/
void Jsonc_WriteTest( Abc_Ntk_t * p, char * pFileName )
{
Vec_Ptr_t * vNodes;
Vec_Int_t * vObj2Num;
Abc_Obj_t * pObj;
FILE * pFile;
int i, Counter, Total;
assert( Abc_NtkHasMapping(p) );
vNodes = Abc_NtkDfs2( p );
vObj2Num = Vec_IntStartFull( Abc_NtkObjNumMax(p) );
Total = Abc_NtkPiNum(p) + Vec_PtrSize(vNodes) + Abc_NtkPoNum(p);
pFile = fopen( pFileName, "wb" );
if ( pFile == NULL )
{
printf( "Jsonc_WriteTest(): Cannot open output file \"%s\" for writing.\n", pFileName );
Vec_IntFree( vObj2Num );
Vec_PtrFree( vNodes );
return;
}
fprintf( pFile, "{\n" );
fprintf( pFile, " \"name\": \"%s\",\n", Abc_NtkName(p) ? Abc_NtkName(p) : "" );
fprintf( pFile, " \"nodes\": [\n" );
Counter = 0;
Abc_NtkForEachPi( p, pObj, i )
{
char Name[1024];
int Bit = Jsonc_ParseNameBit( Jsonc_GetPortName(pObj), Name, sizeof(Name) );
Vec_IntWriteEntry( vObj2Num, Abc_ObjId(pObj), Counter );
fprintf( pFile, " {\n" );
fprintf( pFile, " \"type\": \"pi\",\n" );
fprintf( pFile, " \"name\": \"%s\",\n", Name );
fprintf( pFile, " \"bit\": %d\n", Bit );
fprintf( pFile, " }%s\n", ++Counter == Total ? "" : "," );
}
Vec_PtrForEachEntry( Abc_Obj_t *, vNodes, pObj, i )
{
Mio_Gate_t * pGate = (Mio_Gate_t *)pObj->pData;
Mio_Pin_t * pPin;
int k;
assert( pGate != NULL );
Vec_IntWriteEntry( vObj2Num, Abc_ObjId(pObj), Counter );
fprintf( pFile, " {\n" );
fprintf( pFile, " \"type\": \"%s\",\n", Mio_GateReadName(pGate) );
fprintf( pFile, " \"name\": \"%s\",\n", Jsonc_GetNodeOutName(pObj) );
fprintf( pFile, " \"fanins\": [\n" );
fprintf( pFile, " {\n" );
for ( pPin = Mio_GateReadPins(pGate), k = 0; pPin; pPin = Mio_PinReadNext(pPin), k++ )
{
Abc_Obj_t * pFanin = Abc_ObjFanin0Ntk( Abc_ObjFanin(pObj, k) );
int FanId = Vec_IntEntry( vObj2Num, Abc_ObjId(pFanin) );
assert( FanId >= 0 );
fprintf( pFile, " \"%s\": { \"node\": %d }%s\n", Mio_PinReadName(pPin), FanId, Mio_PinReadNext(pPin) ? "," : "" );
}
fprintf( pFile, " }\n" );
fprintf( pFile, " ]\n" );
fprintf( pFile, " }%s\n", ++Counter == Total ? "" : "," );
}
Abc_NtkForEachPo( p, pObj, i )
{
Abc_Obj_t * pDriver = Abc_ObjFanin0Ntk( Abc_ObjFanin0(pObj) );
char Name[1024];
int Bit = Jsonc_ParseNameBit( Jsonc_GetPortName(pObj), Name, sizeof(Name) );
int FanId = Vec_IntEntry( vObj2Num, Abc_ObjId(pDriver) );
assert( FanId >= 0 );
fprintf( pFile, " {\n" );
fprintf( pFile, " \"type\": \"PO\",\n" );
fprintf( pFile, " \"name\": \"%s\",\n", Name );
fprintf( pFile, " \"bit\": %d,\n", Bit );
fprintf( pFile, " \"fanin\": { \"node\": %d", FanId );
//if ( Abc_ObjIsNode(pDriver) && pDriver->pData != NULL )
// fprintf( pFile, ", \"pin\": \"%s\"", Mio_GateReadOutName((Mio_Gate_t *)pDriver->pData) );
fprintf( pFile, " }\n" );
fprintf( pFile, " }%s\n", ++Counter == Total ? "" : "," );
}
fprintf( pFile, " ]\n" );
fprintf( pFile, "}\n" );
fclose( pFile );
Vec_IntFree( vObj2Num );
Vec_PtrFree( vNodes );
}
////////////////////////////////////////////////////////////////////////
/// END OF FILE ///
////////////////////////////////////////////////////////////////////////
ABC_NAMESPACE_IMPL_END