src/truesim/truesimZero.c

Go to the documentation of this file.

#include "truesimInt.h"

/*---------------------------------------------------------------------------*/
/* Constant declarations                                                     */
/*---------------------------------------------------------------------------*/


/*---------------------------------------------------------------------------*/
/* Type declarations                                                         */
/*---------------------------------------------------------------------------*/


/*---------------------------------------------------------------------------*/
/* Structure declarations                                                    */
/*---------------------------------------------------------------------------*/


/*---------------------------------------------------------------------------*/
/* Variable declarations                                                     */
/*---------------------------------------------------------------------------*/

/* Global variables used in truesim package. */
extern int truesimVerbose;
extern int truesimRptHeader;

/*---------------------------------------------------------------------------*/
/* Static function prototypes                                                */
/*---------------------------------------------------------------------------*/

static void SetInputValues(array_t *inputArray, char *vector, st_table *nodeToSimTable);

/*---------------------------------------------------------------------------*/
/* Definition of exported functions                                          */
/*---------------------------------------------------------------------------*/
int
Truesim_ZeroDelayPatternSimulate(
  Ntk_Network_t *network,
  array_t *inputArray,
  array_t *patternArray)
{
  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 */

/*---------------------------------------------------------------------------*/
/* Definition of internal functions                                          */
/*---------------------------------------------------------------------------*/

void
TruesimWarmUpPatternSimulate(
  Ntk_Network_t *network,
  array_t *inputArray,
  char *vector)
{
  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 */

/*---------------------------------------------------------------------------*/
/* Definition of static functions                                            */
/*---------------------------------------------------------------------------*/
static void
SetInputValues(
  array_t *inputArray,
  char *vector,
  st_table *nodeToSimTable)
{
  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 */