Ttopt Namespace Reference

Classes
class	TruthTable
class	TruthTableCare
class	TruthTableLevelTSM
class	TruthTableReo
class	TruthTableRewrite

Detailed Description

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

FileName [giaTtopt.c]

SystemName [ABC: Logic synthesis and verification system.]

PackageName [Scalable AIG package.]

Synopsis [Truth-table-based logic synthesis.]

Author [Yukio Miyasaka]

Affiliation [UC Berkeley]

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

Revision [

Id

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

]