ABC: A System for Sequential Synthesis and Verification
 
Loading...
Searching...
No Matches
utilFloat.h File Reference
Include dependency graph for utilFloat.h:

Go to the source code of this file.

Classes

struct  xFloat_t_
 

Typedefs

typedef typedefABC_NAMESPACE_HEADER_START struct xFloat_t_ xFloat_t
 STRUCTURE DEFINITIONS ///.
 

Typedef Documentation

◆ xFloat_t

typedef typedefABC_NAMESPACE_HEADER_START struct xFloat_t_ xFloat_t

STRUCTURE DEFINITIONS ///.

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

FileName [utilFloat.h]

SystemName [ABC: Logic synthesis and verification system.]

PackageName []

Synopsis [Floating point number implementation.]

Author [Alan Mishchenko, Bruno Schmitt]

Affiliation [UC Berkeley / UFRGS]

Date [Ver. 1.0. Started - January 28, 2017.]

Revision []

Definition at line 48 of file utilFloat.h.