ABC: A System for Sequential Synthesis and Verification
 
Loading...
Searching...
No Matches
bacReadBlif.c File Reference
#include "bac.h"
#include "bacPrs.h"
Include dependency graph for bacReadBlif.c:

Go to the source code of this file.

Enumerations

enum  Bac_BlifType_t {
  PRS_BLIF_NONE = 0 , PRS_BLIF_MODEL , PRS_BLIF_INOUTS , PRS_BLIF_INPUTS ,
  PRS_BLIF_OUTPUTS , PRS_BLIF_NAMES , PRS_BLIF_SUBCKT , PRS_BLIF_GATE ,
  PRS_BLIF_LATCH , PRS_BLIF_SHORT , PRS_BLIF_END , PRS_BLIF_UNKNOWN
}
 DECLARATIONS ///. More...
 

Functions

Vec_Ptr_tPsr_ManReadBlif (char *pFileName)
 
void Psr_ManReadBlifTest ()
 

Enumeration Type Documentation

◆ Bac_BlifType_t

DECLARATIONS ///.

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

FileName [bacReadBlif.c]

SystemName [ABC: Logic synthesis and verification system.]

PackageName [Hierarchical word-level netlist.]

Synopsis [BLIF parser.]

Author [Alan Mishchenko]

Affiliation [UC Berkeley]

Date [Ver. 1.0. Started - November 29, 2014.]

Revision [

Id
bacReadBlif.c,v 1.00 2014/11/29 00:00:00 alanmi Exp

]

Enumerator
PRS_BLIF_NONE 
PRS_BLIF_MODEL 
PRS_BLIF_INOUTS 
PRS_BLIF_INPUTS 
PRS_BLIF_OUTPUTS 
PRS_BLIF_NAMES 
PRS_BLIF_SUBCKT 
PRS_BLIF_GATE 
PRS_BLIF_LATCH 
PRS_BLIF_SHORT 
PRS_BLIF_END 
PRS_BLIF_UNKNOWN 

Definition at line 31 of file bacReadBlif.c.

31 {
32 PRS_BLIF_NONE = 0, // 0: unused
33 PRS_BLIF_MODEL, // 1: .model
34 PRS_BLIF_INOUTS, // 2: .inouts
35 PRS_BLIF_INPUTS, // 3: .inputs
36 PRS_BLIF_OUTPUTS, // 4: .outputs
37 PRS_BLIF_NAMES, // 5: .names
38 PRS_BLIF_SUBCKT, // 6: .subckt
39 PRS_BLIF_GATE, // 7: .gate
40 PRS_BLIF_LATCH, // 8: .latch
41 PRS_BLIF_SHORT, // 9: .short
42 PRS_BLIF_END, // 10: .end
43 PRS_BLIF_UNKNOWN // 11: unknown
Bac_BlifType_t
DECLARATIONS ///.
Definition bacReadBlif.c:31
@ PRS_BLIF_UNKNOWN
Definition bacReadBlif.c:43
@ PRS_BLIF_INPUTS
Definition bacReadBlif.c:35
@ PRS_BLIF_LATCH
Definition bacReadBlif.c:40
@ PRS_BLIF_MODEL
Definition bacReadBlif.c:33
@ PRS_BLIF_GATE
Definition bacReadBlif.c:39
@ PRS_BLIF_SUBCKT
Definition bacReadBlif.c:38
@ PRS_BLIF_OUTPUTS
Definition bacReadBlif.c:36
@ PRS_BLIF_NONE
Definition bacReadBlif.c:32
@ PRS_BLIF_END
Definition bacReadBlif.c:42
@ PRS_BLIF_SHORT
Definition bacReadBlif.c:41
@ PRS_BLIF_NAMES
Definition bacReadBlif.c:37
@ PRS_BLIF_INOUTS
Definition bacReadBlif.c:34

Function Documentation

◆ Psr_ManReadBlif()

Vec_Ptr_t * Psr_ManReadBlif ( char * pFileName)

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

Synopsis []

Description []

SideEffects []

SeeAlso []

Definition at line 406 of file bacReadBlif.c.

407{
408 Vec_Ptr_t * vPrs = NULL;
409 Psr_Man_t * p = Psr_ManAlloc( pFileName );
410 if ( p == NULL )
411 return NULL;
412 Psr_NtkAddBlifDirectives( p );
413 Psr_ManReadLines( p );
414 if ( Psr_ManErrorPrint(p) )
415 ABC_SWAP( Vec_Ptr_t *, vPrs, p->vNtks );
416 Psr_ManFree( p );
417 return vPrs;
418}
#define ABC_SWAP(Type, a, b)
Definition abc_global.h:253
struct Psr_Man_t_ Psr_Man_t
Definition bacPrs.h:83
Cube * p
Definition exorList.c:222
typedefABC_NAMESPACE_HEADER_START struct Vec_Ptr_t_ Vec_Ptr_t
INCLUDES ///.
Definition vecPtr.h:42
Here is the caller graph for this function:

◆ Psr_ManReadBlifTest()

void Psr_ManReadBlifTest ( )

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

Synopsis []

Description []

SideEffects []

SeeAlso []

Definition at line 431 of file bacReadBlif.c.

432{
433 abctime clk = Abc_Clock();
434 extern void Psr_ManWriteBlif( char * pFileName, Vec_Ptr_t * vPrs );
435// Vec_Ptr_t * vPrs = Psr_ManReadBlif( "aga/ray/ray_hie_oper.blif" );
436 Vec_Ptr_t * vPrs = Psr_ManReadBlif( "c/hie/dump/1/netlist_1_out8.blif" );
437 if ( !vPrs ) return;
438 printf( "Finished reading %d networks. ", Vec_PtrSize(vPrs) );
439 printf( "NameIDs = %d. ", Abc_NamObjNumMax(Psr_ManNameMan(vPrs)) );
440 printf( "Memory = %.2f MB. ", 1.0*Psr_ManMemory(vPrs)/(1<<20) );
441 Abc_PrintTime( 1, "Time", Abc_Clock() - clk );
442// Abc_NamPrint( p->pStrs );
443 Psr_ManWriteBlif( "c/hie/dump/1/netlist_1_out8_out.blif", vPrs );
444 Psr_ManVecFree( vPrs );
445}
ABC_INT64_T abctime
Definition abc_global.h:332
Vec_Ptr_t * Psr_ManReadBlif(char *pFileName)
void Psr_ManWriteBlif(char *pFileName, Vec_Ptr_t *p)
int Abc_NamObjNumMax(Abc_Nam_t *p)
Definition utilNam.c:231
Here is the call graph for this function: