src/io/ioWriteBlifMv.c

Go to the documentation of this file.

#include "ioInt.h"

static char rcsid[] UNUSED = "$Id: ioWriteBlifMv.c,v 1.8 1998/09/24 00:07:34 hsv Exp $";

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


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


/*---------------------------------------------------------------------------*/
/* Stucture declarations                                                     */
/*---------------------------------------------------------------------------*/


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


/*---------------------------------------------------------------------------*/
/* Macro declarations                                                        */
/*---------------------------------------------------------------------------*/


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


/*---------------------------------------------------------------------------*/
/* Definition of exported functions                                          */
/*---------------------------------------------------------------------------*/


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


void
IoBlifMvWrite(
  FILE *fp,
  Hrc_Manager_t *hmgr)
{ 
  char *rootModelName;
  Hrc_Model_t *model, *rootModel;
  Hrc_Node_t *currentNode;
  array_t *models;
  int i;
  boolean isRootModel;
  char *rootInstanceName, *instanceName;
  
  currentNode = Hrc_ManagerReadCurrentNode(hmgr);
  models = Hrc_ManagerObtainComponentModels(hmgr);

  rootModelName = Hrc_NodeReadModelName(currentNode);
  rootModel = Hrc_ManagerFindModelByName(hmgr,rootModelName);
  rootInstanceName = Hrc_NodeReadInstanceName(currentNode);
  assert(rootModel != NIL(Hrc_Model_t));
  
  for (i=0; i < array_n(models); i++){
    model = array_fetch(Hrc_Model_t *,models,i);
    isRootModel = (model == rootModel) ? TRUE : FALSE;
    instanceName = (isRootModel == TRUE) ? rootInstanceName : NIL(char);
    Hrc_ModelWriteBlifMv(fp,model,isRootModel,instanceName);
  }  

  array_free(models);
}

void
IoMvPrint(
  FILE *fp,
  Var_Variable_t *var)
{
  int is_enum, range, i;

  is_enum = Var_VariableTestIsEnumerative(var);
  range = Var_VariableReadNumValues(var);
    
  if (is_enum == 1){
    if (range == 2){
      /* Boolean enumerative variables need no .mv declaration. */
      return;
    }
    else {
      (void)fprintf(fp,".mv %s %d\n",Var_VariableReadName(var),range);
    }
  }
  else {
  /* variable var is symbolic */
    (void)fprintf(fp,".mv %s %d ",Var_VariableReadName(var),range);
    for (i=0; i < range; i++){
      (void)fprintf(fp,"%s ",Var_VariableReadSymbolicValueFromIndex(var,i));
    }
    (void)fprintf(fp,"\n");
  }
}

void
IoMvPrintSpecial(
  FILE *fp,
  Var_Variable_t *var)
{
  int is_enum, range, i;

  is_enum = Var_VariableTestIsEnumerative(var);
  range = Var_VariableReadNumValues(var);
    
  if (is_enum == 1){
    if (range == 2){
      /* Boolean enumerative variables need no .mv declaration. */
      return;
    }
    else {
      (void)fprintf(fp,".mv %s_bufin %d\n",Var_VariableReadName(var),range);
    }
  }
  else {
  /* variable var is symbolic */
    (void)fprintf(fp,".mv %s_bufin %d ",Var_VariableReadName(var),range);
    for (i=0; i < range; i++){
      (void)fprintf(fp,"%s ",Var_VariableReadSymbolicValueFromIndex(var,i));
    }
    (void)fprintf(fp,"\n");
  }
}