ABC: A System for Sequential Synthesis and Verification
 
Loading...
Searching...
No Matches
ioResub.h File Reference
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes

struct  Abc_RData_t_
 

Typedefs

typedef typedefABC_NAMESPACE_HEADER_START struct Abc_RData_t_ Abc_RData_t
 INCLUDES ///.
 

Functions

void Extra_BitMatrixTransposeP (Vec_Wrd_t *vSimsIn, int nWordsIn, Vec_Wrd_t *vSimsOut, int nWordsOut)
 FUNCTION DECLARATIONS ///.
 

Typedef Documentation

◆ Abc_RData_t

typedef typedefABC_NAMESPACE_HEADER_START struct Abc_RData_t_ Abc_RData_t

INCLUDES ///.

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

FileName [ioResub.h]

SystemName [ABC: Logic synthesis and verification system.]

PackageName [Command processing package.]

Synopsis [External declarations.]

Author [Alan Mishchenko]

Affiliation [UC Berkeley]

Date [Ver. 1.0. Started - June 20, 2005.]

Revision [

Id
ioResub.h,v 1.00 2005/06/20 00:00:00 alanmi Exp

] PARAMETERS /// BASIC TYPES ///

Definition at line 40 of file ioResub.h.

Function Documentation

◆ Extra_BitMatrixTransposeP()

void Extra_BitMatrixTransposeP ( Vec_Wrd_t * vSimsIn,
int nWordsIn,
Vec_Wrd_t * vSimsOut,
int nWordsOut )
extern

FUNCTION DECLARATIONS ///.

FUNCTION DECLARATIONS ///.

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

FileName [giaDecs.c]

SystemName [ABC: Logic synthesis and verification system.]

PackageName [Scalable AIG package.]

Synopsis [Calling various decomposition engines.]

Author [Alan Mishchenko]

Affiliation [UC Berkeley]

Date [Ver. 1.0. Started - June 20, 2005.]

Revision [

Id
giaDecs.c,v 1.00 2005/06/20 00:00:00 alanmi Exp

]

Definition at line 2652 of file extraUtilMisc.c.

2653{
2654 word * pM[64]; int i, y, x;
2655 assert( Vec_WrdSize(vSimsIn) == Vec_WrdSize(vSimsOut) );
2656 assert( Vec_WrdSize(vSimsIn) == 64 * nWordsIn * nWordsOut );
2657 for ( x = 0; x < nWordsOut; x++ )
2658 for ( y = 0; y < nWordsIn; y++ )
2659 {
2660 for ( i = 0; i < 64; i++ )
2661 {
2662 pM[i] = Vec_WrdEntryP( vSimsOut, (64*y+63-i)*nWordsOut + x );
2663 pM[i][0] = Vec_WrdEntry ( vSimsIn, (64*x+63-i)*nWordsIn + y );
2664 }
2665 Extra_Transpose64p( pM );
2666 }
2667}
void Extra_Transpose64p(word *A[64])
unsigned __int64 word
DECLARATIONS ///.
Definition kitPerm.c:36
#define assert(ex)
Definition util_old.h:213
Here is the caller graph for this function: