diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2015-01-20 21:20:31 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2015-01-20 21:20:31 -0800 |
| commit | 14425c111ef5dba0ab3d96a3f115c3320ee95e23 (patch) | |
| tree | f6d9dd624779f2dc97bbfb9a4a2b2bf321a54555 /src/base/cba/cbaSimple.c | |
| parent | dc8926a9286ba7ecc1e461081d2108c7a3e67333 (diff) | |
| download | abc-14425c111ef5dba0ab3d96a3f115c3320ee95e23.tar.gz abc-14425c111ef5dba0ab3d96a3f115c3320ee95e23.tar.bz2 abc-14425c111ef5dba0ab3d96a3f115c3320ee95e23.zip | |
Organizing commands for barbuf-aware flow.
Diffstat (limited to 'src/base/cba/cbaSimple.c')
| -rw-r--r-- | src/base/cba/cbaSimple.c | 17 |
1 files changed, 15 insertions, 2 deletions
diff --git a/src/base/cba/cbaSimple.c b/src/base/cba/cbaSimple.c index 1370a0be..bebb9464 100644 --- a/src/base/cba/cbaSimple.c +++ b/src/base/cba/cbaSimple.c @@ -30,10 +30,23 @@ ABC_NAMESPACE_IMPL_START /* design = array containing design name (as the first entry in the array) followed by pointers to modules -module = array containing module name (as the first entry in the array) followed by pointers to four arrays: - {array of input names; array of output names; array of nodes; array of boxes} +module = array containing module name (as the first entry in the array) followed by pointers to 6 arrays: + {array of input names; array of output names; array of nodes; array of boxes, + array of floating-point input-arrival times; array of floating-point output-required times} node = array containing output name, followed by node type, followed by input names box = array containing model name, instance name, followed by pairs of formal/actual names for each port + + Comments: + - in describing boxes + - input formal/actual name pairs should be listed before output name pairs + - the order of formal names should be the same as the order of inputs/outputs in the module description + - 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 + - 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". + - arrays of input-arrival/output-required times in the module description are optional */ //////////////////////////////////////////////////////////////////////// |