#include "truesimInt.h"
Include dependency graph for truesimZero.c:
Go to the source code of this file.
Functions | |
| static void | SetInputValues (array_t *inputArray, char *vector, st_table *nodeToSimTable) |
| int | Truesim_ZeroDelayPatternSimulate (Ntk_Network_t *network, array_t *inputArray, array_t *patternArray) |
| void | TruesimWarmUpPatternSimulate (Ntk_Network_t *network, array_t *inputArray, char *vector) |
Variables | |
| int | truesimVerbose |
| int | truesimRptHeader |
Function Documentation
| static void SetInputValues | ( | array_t * | inputArray, |
| char * | vector, | ||
| st_table * | nodeToSimTable | ||
| ) | [static] |
AutomaticStart
Function********************************************************************
Synopsis [Initialize the vector pattern for PI.]
Description [Initialize the vector pattern for PI.]
SideEffects [None]
SeeAlso []
Definition at line 237 of file truesimZero.c.
{
Ntk_Node_t *node;
TrueSim_t *sim;
int i;
char prev;
arrayForEachItem(Ntk_Node_t *,inputArray,i,node) {
st_lookup(nodeToSimTable,(char *)node,&sim);
prev = sim->value;
if (prev != vector[i])
(sim->switching)++;
sim->value = vector[i];
if (vector[i] == '1')
(sim->prob)++;
}
} /* End of SetInputValues */
Here is the caller graph for this function:
| int Truesim_ZeroDelayPatternSimulate | ( | Ntk_Network_t * | network, |
| array_t * | inputArray, | ||
| array_t * | patternArray | ||
| ) |
AutomaticEnd Function********************************************************************
Synopsis [This function performs BDD based zero-delay vector simulation.]
Description [This function performs BDD based zero-delay vector simulation. The nodes in the network are simulated according to their topological depth. ]
SideEffects [None]
SeeAlso []
Definition at line 70 of file truesimZero.c.
{
graph_t *partition;
TrueSim_t *sim;
st_table *nodeToSimTable;
Ntk_Node_t *node;
array_t *depthArray;
bdd_manager *ddManager = Ntk_NetworkReadMddManager(network);
lsGen gen;
char prev,next;
long numVectors = array_n(patternArray);
int maxDepth;
int i,j,k;
nodeToSimTable = TruesimNetworkReadSimTable(network);
if (nodeToSimTable == NIL(st_table)) {
(void) fprintf(vis_stderr,
"** truesim error: Simulation structures not initialized\n");
(void) fprintf(vis_stderr,
"** truesim error: Call Truesim_InitializeSimulation before ");
(void) fprintf(vis_stderr,"calling this function.\n");
return -1;
}
depthArray = TruesimNetworkReadDepthArray(network);
maxDepth = array_n(depthArray);
partition = Part_NetworkReadPartition(network);
/* Initialize the prob and switching fields of the simulation structure for
each node in the network. */
TruesimInitializeActivityFields(network,nodeToSimTable);
/* Warm up simulation */
TruesimWarmUpPatternSimulate(network,inputArray,
array_fetch(char *,patternArray,0));
for (i = 1; i < numVectors; i++) {
char *vector;
vector = array_fetch(char *,patternArray,i);
/* Set the input nodes to the input pattern vector. Do not update
the switching field of the sim structure if it is the first
vector */
SetInputValues(inputArray,vector,nodeToSimTable);
for (j = 1; j < maxDepth; j++) {
array_t *nodeList;
nodeList = array_fetch(array_t *,depthArray,j);
arrayForEachItem(Ntk_Node_t *,nodeList,k,node) {
TrueSim_t *sim;
st_lookup(nodeToSimTable,(char *)node,&sim);
next = TruesimEvaluateNode(node,partition,ddManager,
nodeToSimTable);
if (i != 0) {
prev = sim->value;
if (prev != next)
(sim->switching)++;
}
sim->value = next;
if (next == '1')
(sim->prob)++;
}
}
if (truesimVerbose) {
if (truesimRptHeader != -1) {
if (i % truesimRptHeader == 0)
TruesimPrintNameHeader(network);
}
TruesimPrintNetworkNodeLogicState(network);
}
}
/* Update the statistics for each node */
Ntk_NetworkForEachNode(network,gen,node) {
if (!st_lookup(nodeToSimTable,(char *)node,&sim)) {
(void) fprintf(vis_stderr,
"** truesim fatal: In Truesim_ZeroDelayPatternSimulate\n");
assert(0);
}
sim->switching /= ((float) array_n(patternArray));
sim->prob /= ((float) array_n(patternArray));
}
return 1;
} /* End of Truesim_ZeroDelayPatternSimulate */
Here is the call graph for this function:
Here is the caller graph for this function:
| void TruesimWarmUpPatternSimulate | ( | Ntk_Network_t * | network, |
| array_t * | inputArray, | ||
| char * | vector | ||
| ) |
Function********************************************************************
Synopsis [Simulates a single pattern to initialize initial state of network nodes.]
SideEffects [None]
SeeAlso []
Definition at line 176 of file truesimZero.c.
{
graph_t *partition;
st_table *nodeToSimTable;
array_t *depthArray;
Ntk_Node_t *node;
bdd_manager *ddManager = Ntk_NetworkReadMddManager(network);
long maxDepth;
int j,k;
nodeToSimTable = TruesimNetworkReadSimTable(network);
depthArray = TruesimNetworkReadDepthArray(network);
maxDepth = array_n(depthArray);
partition = Part_NetworkReadPartition(network);
/* Set the input nodes to the input pattern vector. Do not update
the switching field of the sim structure if it is the first
vector */
SetInputValues(inputArray,vector,nodeToSimTable);
for (j = 1; j < maxDepth; j++) {
array_t *nodeList;
nodeList = array_fetch(array_t *,depthArray,j);
arrayForEachItem(Ntk_Node_t *,nodeList,k,node) {
TrueSim_t *sim;
st_lookup(nodeToSimTable,(char *)node,&sim);
sim->value = TruesimEvaluateNode(node,partition,ddManager,
nodeToSimTable);
}
}
/* Print network status */
if (truesimVerbose) {
TruesimPrintNameHeader(network);
TruesimPrintNetworkNodeLogicState(network);
}
return ;
} /* End of TruesimWarmUpPatternSimulate */
Here is the call graph for this function:
Here is the caller graph for this function:
Variable Documentation
| int truesimRptHeader |
CFile***********************************************************************
FileName [truesimSim.c]
PackageName [truesim]
Synopsis [Top-level routine to perform simulation.]
Author [Balakrishna Kumthekar]
Copyright [This file was created at the University of Colorado at Boulder. The University of Colorado at Boulder makes no warranty about the suitability of this software for any purpose. It is presented on an AS IS basis.]
Definition at line 67 of file truesimCmd.c.
| int truesimVerbose |
CFile***********************************************************************
FileName [truesimZero.c]
PackageName [truesim]
Synopsis [Routines to perform zero-delay vector simulation.]
Author [Balakrishna KumthekarK] <kumtheka@colorado.edu>]
Copyright [This file was created at the University of Colorado at Boulder. The University of Colorado at Boulder makes no warranty about the suitability of this software for any purpose. It is presented on an AS IS basis.]
Definition at line 68 of file truesimCmd.c.
