From 08b69297cc9e7a7fdce8fccb215956d977953a55 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Sun, 1 Feb 2015 21:51:06 -0800 Subject: Improvements and tuning of CBA. --- src/base/cba/cbaPtr.c | 7 ++++--- src/base/cba/cbaPtrAbc.c | 1 + 2 files changed, 5 insertions(+), 3 deletions(-) (limited to 'src/base/cba') diff --git a/src/base/cba/cbaPtr.c b/src/base/cba/cbaPtr.c index f655a759..aedaee95 100644 --- a/src/base/cba/cbaPtr.c +++ b/src/base/cba/cbaPtr.c @@ -43,9 +43,11 @@ box = array containing model name, instance name, followed by pairs of formal - all formal names present in the module description should be listed - if an input pin is not driven or an output pin has no fanout, the actual pin name is NULL - word-level formal name "a" is written as bit-level names (a[0]. a[1], etc) ordered LSB to MSB - - primitive names should be given as char*-strings in description of nodes and boxes + - the boxes can appear in any order (topological order is not expected) + - in description of nodes and boxes, primitive names should be given as char*-strings ("AndT", "OrT", etc) + - constant 0/1 nets should be driven by constant nodes having primitive names "Const0T" and "Const1T" - primitive modules should not be written, but the list of primitives and formal names should be provided - - constant 0/1 nets can be specified as char*-strings "NetConst0" and "NetConst1". + - currently only "boxes" are supported (the array of "nodes" should contain no entries) - arrays of input-arrival/output-required times in the module description are optional */ @@ -382,7 +384,6 @@ Vec_Ptr_t * Cba_PtrTransformTest( Vec_Ptr_t * vDes ) SeeAlso [] ***********************************************************************/ - void Cba_PtrTransformTestTest() { char * pFileName = "c/hie/dump/1/netlist_1.v"; diff --git a/src/base/cba/cbaPtrAbc.c b/src/base/cba/cbaPtrAbc.c index 30ab8728..a5e8304a 100644 --- a/src/base/cba/cbaPtrAbc.c +++ b/src/base/cba/cbaPtrAbc.c @@ -462,6 +462,7 @@ Vec_Ptr_t * Cba_PtrDeriveFromCba( Cba_Man_t * p ) Cba_Ntk_t * pTemp; int i; if ( p == NULL ) return NULL; + Cba_ManAssignInternNames( p ); vDes = Vec_PtrAllocExact( 1 + Cba_ManNtkNum(p) ); Vec_PtrPush( vDes, p->pName ); Cba_ManForEachNtk( p, pTemp, i ) -- cgit v1.2.3