source: sources/src/graph_signals.cc @ 28

/*------------------------------------------------------------\
|                                                             |
| Tool    :                  systemcass                       |
|                                                             |
| File    :                 graph_signals.cc                  |
|                                                             |
| Author  :                 Buchmann Richard                  |
|                                                             |
| Date    :                   22_09_2004                      |
|                                                             |
\------------------------------------------------------------*/

/* 
 * This file is part of the Disydent Project
 * Copyright (C) Laboratoire LIP6 - Département ASIM
 * Universite Pierre et Marie Curie
 * 
 * Home page          : http://www-asim.lip6.fr/disydent
 * E-mail             : mailto:richard.buchmann@lip6.fr
 * 
 * This library is free software; you  can redistribute it and/or modify it
 * under the terms  of the GNU Library General Public  License as published
 * by the Free Software Foundation; either version 2 of the License, or (at
 * your option) any later version.
 * 
 * Disydent is distributed  in the hope  that it  will be
 * useful, but WITHOUT  ANY WARRANTY; without even the  implied warranty of
 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General
 * Public License for more details.
 * 
 * You should have received a copy  of the GNU General Public License along
 * with the GNU C Library; see the  file COPYING. If not, write to the Free
 * Software Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA.
 */

/*
 * $Log: graph_signals.cc,v $
 * Revision 1.7  2006/06/12 14:02:04  buchmann
 * - Now sort transition and generation functions by fonction pointer
 *   (Thank to Nicolas Pouillon)
 * - Add Nicolas Pouillon as contributor into splash screen
 * - Rename files and classes from "dependancy" to "dependency".
 * - Add some references to bibliography file
 * - Add licence note to every files
 * - Rename "module graph" to "process graph"
 * - Now dump module graph when using --t option and CASS scheduling at the same
 *   time
 *
 * Bug fixes :
 * - check user time ( != 0) before computing simulation performance
 * - Remove reinterpret_cast (for pending write) because of unexpected results
 * - Add ASSERT in trace functions
 *
 * Revision 1.6  2005/10/12 10:01:00  buchmann
 * Bug fix :
 * - test to avoid malloc(0)
 *
 * Remove :
 * - unused variable
 *
 * Revision 1.5  2005/09/14 14:08:24  buchmann
 * Add Werror flag to compile the debug library.
 * Split sc_clock implementation from sc_port to sc_clock.
 * Add a helper message to write mealy functions avoiding combinational cycle.
 *
 * Bug fix :
 * - cvs rules is no longer circular
 * - bit2string
 * - port binding (sc_in to sc_out)
 * - error message from FSM rules checker
 * - sc_time copy operator
 *
 * Code cleaning :
 * - remove duplicated code (entity.cc and sc_port.cc)
 * - remove duplicated declarations (internal_ext.h and internal.h)
 *
 * Revision 1.4  2005/06/22 09:15:03  buchmann
 * Add some *_ext.h files to split internal implementation from API interface.
 *
 * Add -Wunused to detect unused functions.
 *
 * Include directory now contains API interface file only.
 *
 * Declar all the implementation/interface inside sc_core namespace as LRM 2.1
 * advices.
 *
 * Remove casc namespace.
 *
 * Clean up dead code segments.
 *
 * Add hexadecimal dumping support.
 *
 * Add empty implementation of functions for object hierarchy traversal. (LRM 2.1)
 *
 * Bug fixes :
 * - reference return of the following functions : operators =, |=, &= and so on.
 * - range functions now return an sc_int_subref instead of an int.
 *
 * Revision 1.3  2005/03/25 14:33:01  buchmann
 * Typo :
 * -  dependAncy -> dependEncy
 *
 * sc_initialize :
 * -  Use a hash table to speed up elaboration step. (x40 faster)
 *
 * Tracing :
 * -  check for modification BEFORE building bit string.
 * -  use sprintf instead std string concatenation.
 *
 * Revision 1.2  2005/01/20 09:15:12  buchmann
 * add following functions to sc_uint classes :
 * - operator []
 * - range (left,right)
 *
 * support to port dependancy declarations.
 * print used precompiled options in verbose mode.
 * use pedantic flag.
 * add some rules to generate documentations.
 *
 * Revision 1.1  2004/09/27 14:40:14  buchmann
 * bug fix :
 * - allow the use of user-defined structs in sc_signal/sc_in/sc_out/sc_inout
 * - use sc_dt namespace like official SystemC engine
 *
 * add :
 * - dump the signal/port/module dependancy graph in dot format
 *
 * Graph library is now splitted from the SystemCASS specific code.
 *
 */

#include <cstdio>
#include <map>

#include "graph_signals.h"
#include "signal_dependency.h"
#include "sc_sensitive.h"
#include "sc_module.h"
#include "sc_port.h"
#ifdef HAVE_CONFIG_H
#include "config.h"
#endif

using namespace std;

namespace sc_core {

#if 0
static
ostream& operator << (ostream&      o,
                      const Vertex &v)
{
        equi_t* m = (equi_t*)(v.data);
  if (v.arcs == NULL)
          o << get_name(*m) << "\n";
  Arc *a;
  for (a = v.arcs; a; a = a->next)
        {
          equi_t* m2 = (equi_t*)(a->tip->data);
          o << get_name(*m) << "->"
                  << get_name(*m2) << "\n";
        }
  return o;

}

static
ostream& 
operator << (ostream     &o,
             const Graph &g)
{
  Vertex *v;
  int     i = 1;
  for (v = g.vertices; v < g.vertices + g.n; ++v) {
    o << i++ << " : " << *v;
  }
  return o;
}
#endif

typedef std::map<const equi_t*, Vertex*> nodes_set_t;

void
create_arcs (const SignalDependencyGraph& sig_g, nodes_set_t& s)
{
  SignalDependencyGraph::const_iterator j;
  for (j = sig_g.begin(); j != sig_g.end(); ++j) { 
    new_arc (s[j->source],s[j->destination]);
  }
}

void
create_vertices_list (Graph *g, nodes_set_t& s)
{
        Vertex *v = g->vertices;
  if (v == NULL)
    return;
  nodes_set_t::iterator j;
  for (j = s.begin(); j != s.end(); ++j) 
  {
                v->data   = (void*) (j->first);
                j->second = v++;
        }       
}

nodes_set_t*
create_nodes_set (const SignalDependencyGraph& sig_g)
{
        /* Create a signal set */
        nodes_set_t &s = *(new nodes_set_t);

  SignalDependencyGraph::const_iterator j;
  for (j = sig_g.begin(); j != sig_g.end(); ++j) 
  {
                s[j->source] = NULL;
                s[j->destination] = NULL;
  }
        return &s;
}

/* Construit le graph de dépendance des signaux de Mealy */
/* g = Mealy signal dependancy graph */
Graph *makegraph(const SignalDependencyGraph& sig_g)
{
  int         n = 0; /* Number of vertices */
  Graph      *g;
  //Vertex     *v;
  
        /* Create node set */
        nodes_set_t *sig_s = create_nodes_set (sig_g);

  /* Compute the number of vertices in the graph */
  n = sig_s->size();
  
  /* Create the graph */
  g = gb_new_graph(n);

  /* Associate the netlist elements to the graph vertices, and vice-versa */
//  v = g->vertices;

        /* Create the node set */
  create_vertices_list (g,*sig_s);

  /* initialisation des vertices */
        create_arcs (sig_g,*sig_s);

        delete sig_s;
#if 0
        cerr << *g << "\n";
#endif
  return g;
}   

} // end of sc_core namespace