ABC: A System for Sequential Synthesis and Verification
 
Loading...
Searching...
No Matches
minilut.h File Reference
#include <stdio.h>
#include <stdlib.h>
#include <string.h>
#include <assert.h>
Include dependency graph for minilut.h:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes

struct  Mini_Lut_t_
 

Macros

#define MINI_LUT_NULL   (0x7FFFFFFF)
 INCLUDES ///.
 
#define MINI_LUT_NULL2   (0x7FFFFFFE)
 
#define MINI_LUT_START_SIZE   (0x000000FF)
 
#define MINI_LUT_ALLOC(type, num)
 MACRO DEFINITIONS ///.
 
#define MINI_LUT_CALLOC(type, num)
 
#define MINI_LUT_FALLOC(type, num)
 
#define MINI_LUT_FREE(obj)
 
#define MINI_LUT_REALLOC(type, obj, num)
 
#define Mini_LutForEachPi(p, i)
 
#define Mini_LutForEachPo(p, i)
 
#define Mini_LutForEachNode(p, i)
 
#define Mini_LutForEachFanin(p, i, Fan, k)
 

Typedefs

typedef struct Mini_Lut_t_ Mini_Lut_t
 BASIC TYPES ///.
 

Macro Definition Documentation

◆ MINI_LUT_ALLOC

#define MINI_LUT_ALLOC ( type,
num )
Value:
((type *) malloc(sizeof(type) * (num)))
type
CUBE COVER and CUBE typedefs ///.
Definition exor.h:90
char * malloc()

MACRO DEFINITIONS ///.

Definition at line 63 of file minilut.h.

◆ MINI_LUT_CALLOC

#define MINI_LUT_CALLOC ( type,
num )
Value:
((type *) calloc((num), sizeof(type)))
char * calloc()

Definition at line 64 of file minilut.h.

◆ MINI_LUT_FALLOC

#define MINI_LUT_FALLOC ( type,
num )
Value:
((type *) memset(malloc(sizeof(type) * (num)), 0xff, sizeof(type) * (num)))
char * memset()

Definition at line 65 of file minilut.h.

◆ MINI_LUT_FREE

#define MINI_LUT_FREE ( obj)
Value:
((obj) ? (free((char *) (obj)), (obj) = 0) : 0)
VOID_HACK free()

Definition at line 66 of file minilut.h.

◆ MINI_LUT_NULL

#define MINI_LUT_NULL   (0x7FFFFFFF)

INCLUDES ///.

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

FileName [minilut.h]

SystemName [ABC: Logic synthesis and verification system.]

PackageName [Minimalistic representation of LUT mapped network.]

Synopsis [External declarations.]

Author [Alan Mishchenko]

Affiliation [UC Berkeley]

Date [Ver. 1.0. Started - September 29, 2012.]

Revision [

Id
minilut.h,v 1.00 2012/09/29 00:00:00 alanmi Exp

] PARAMETERS ///

Definition at line 39 of file minilut.h.

◆ MINI_LUT_NULL2

#define MINI_LUT_NULL2   (0x7FFFFFFE)

Definition at line 40 of file minilut.h.

◆ MINI_LUT_REALLOC

#define MINI_LUT_REALLOC ( type,
obj,
num )
Value:
((obj) ? ((type *) realloc((char *)(obj), sizeof(type) * (num))) : \
((type *) malloc(sizeof(type) * (num))))
char * realloc()

Definition at line 67 of file minilut.h.

67#define MINI_LUT_REALLOC(type, obj, num) \
68 ((obj) ? ((type *) realloc((char *)(obj), sizeof(type) * (num))) : \
69 ((type *) malloc(sizeof(type) * (num))))

◆ MINI_LUT_START_SIZE

#define MINI_LUT_START_SIZE   (0x000000FF)

Definition at line 41 of file minilut.h.

◆ Mini_LutForEachFanin

#define Mini_LutForEachFanin ( p,
i,
Fan,
k )
Value:
for (k = 0; (k < p->LutSize) && (Fan = Mini_LutNodeFanin(p, i, k)) < MINI_LUT_NULL2; k++)
Cube * p
Definition exorList.c:222
#define MINI_LUT_NULL2
Definition minilut.h:40

Definition at line 144 of file minilut.h.

◆ Mini_LutForEachNode

#define Mini_LutForEachNode ( p,
i )
Value:
for (i = 2; i < Mini_LutNodeNum(p); i++) if ( !Mini_LutNodeIsNode(p, i) ) {} else

Definition at line 141 of file minilut.h.

◆ Mini_LutForEachPi

#define Mini_LutForEachPi ( p,
i )
Value:
for (i = 2; i < Mini_LutNodeNum(p); i++) if ( !Mini_LutNodeIsPi(p, i) ) {} else

Definition at line 139 of file minilut.h.

◆ Mini_LutForEachPo

#define Mini_LutForEachPo ( p,
i )
Value:
for (i = 2; i < Mini_LutNodeNum(p); i++) if ( !Mini_LutNodeIsPo(p, i) ) {} else

Definition at line 140 of file minilut.h.

Typedef Documentation

◆ Mini_Lut_t

typedef struct Mini_Lut_t_ Mini_Lut_t

BASIC TYPES ///.

Definition at line 47 of file minilut.h.