| 1 | /*------------------------------------------------------------\ |
|---|
| 2 | | | |
|---|
| 3 | | Tool : systemcass | |
|---|
| 4 | | | |
|---|
| 5 | | File : internal_ext.h | |
|---|
| 6 | | | |
|---|
| 7 | | Author : Buchmann Richard | |
|---|
| 8 | | | |
|---|
| 9 | | Date : 09_07_2004 | |
|---|
| 10 | | | |
|---|
| 11 | \------------------------------------------------------------*/ |
|---|
| 12 | |
|---|
| 13 | /* |
|---|
| 14 | * This file is part of the Disydent Project |
|---|
| 15 | * Copyright (C) Laboratoire LIP6 - Département ASIM |
|---|
| 16 | * Universite Pierre et Marie Curie |
|---|
| 17 | * |
|---|
| 18 | * Home page : http://www-asim.lip6.fr/disydent |
|---|
| 19 | * E-mail : mailto:richard.buchmann@lip6.fr |
|---|
| 20 | * |
|---|
| 21 | * This library is free software; you can redistribute it and/or modify it |
|---|
| 22 | * under the terms of the GNU Library General Public License as published |
|---|
| 23 | * by the Free Software Foundation; either version 2 of the License, or (at |
|---|
| 24 | * your option) any later version. |
|---|
| 25 | * |
|---|
| 26 | * Disydent is distributed in the hope that it will be |
|---|
| 27 | * useful, but WITHOUT ANY WARRANTY; without even the implied warranty of |
|---|
| 28 | * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General |
|---|
| 29 | * Public License for more details. |
|---|
| 30 | * |
|---|
| 31 | * You should have received a copy of the GNU General Public License along |
|---|
| 32 | * with the GNU C Library; see the file COPYING. If not, write to the Free |
|---|
| 33 | * Software Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA. |
|---|
| 34 | */ |
|---|
| 35 | |
|---|
| 36 | #ifndef __INTERNAL_EXT_H__ |
|---|
| 37 | #define __INTERNAL_EXT_H__ |
|---|
| 38 | |
|---|
| 39 | #include <list> |
|---|
| 40 | |
|---|
| 41 | #include "sc_fwd.h" |
|---|
| 42 | #include "sc_nbdefs.h" |
|---|
| 43 | |
|---|
| 44 | /* |
|---|
| 45 | * not a boolean for a C-ANSI dynamic link (not C++ !) |
|---|
| 46 | * not in casc namespace because dynamic link support C linkage only |
|---|
| 47 | * */ |
|---|
| 48 | extern "C" char unstable; |
|---|
| 49 | |
|---|
| 50 | // options |
|---|
| 51 | //#define KEEP_GENERATED_CODE |
|---|
| 52 | //#define NO_STATIC_SCHEDULE |
|---|
| 53 | namespace sc_core { |
|---|
| 54 | |
|---|
| 55 | // Method Type |
|---|
| 56 | typedef int (*evaluation_fct_t) (); |
|---|
| 57 | |
|---|
| 58 | extern evaluation_fct_t func_combinationals; |
|---|
| 59 | extern evaluation_fct_t func_simulate_1_cycle; |
|---|
| 60 | |
|---|
| 61 | // Sensitivity List |
|---|
| 62 | typedef std::list<sc_event> sensitivity_list_t; |
|---|
| 63 | |
|---|
| 64 | // Flags for sc_initialize, sc_start, sc_stop |
|---|
| 65 | extern bool have_to_stop; |
|---|
| 66 | extern bool already_initialized; |
|---|
| 67 | |
|---|
| 68 | // Granularity of the posted write stack |
|---|
| 69 | #ifdef UINT64 |
|---|
| 70 | typedef uint64 tab_t; |
|---|
| 71 | #else |
|---|
| 72 | typedef uint32 tab_t; |
|---|
| 73 | // typedef smallest_uint tab_t; // signals of 64 bits are wrong in trace file |
|---|
| 74 | #endif |
|---|
| 75 | typedef tab_t * equi_table_t; |
|---|
| 76 | extern equi_table_t equi_table; |
|---|
| 77 | |
|---|
| 78 | // Flags |
|---|
| 79 | extern bool dump_stage; |
|---|
| 80 | extern bool print_schedule; |
|---|
| 81 | extern bool edit_schedule; |
|---|
| 82 | |
|---|
| 83 | } |
|---|
| 84 | |
|---|
| 85 | #endif |
|---|
| 86 | |
|---|
