package rfsm

  1. Overview
  2. Docs
On This Page
  1. SystemC backend
A toolset for describing and simulating StateChart-like state diagrams

Install 

dune-project
 Dependency

github.com Readme Changelog Edit opam file Versions (8)

Authors

  1. J
    Jocelyn Sérot <jocelyn.serot@uca.fr>

Maintainers

  1. J
    Jocelyn Sérot <jocelyn.serot@uca.fr>

Sources

2.2.tar.gz
md5=ea1b496f0aa758933ae23921ee55a531
sha512=4fa72747bb2e32f91d64e4b8c24f60d6f0bdad297cc40f36d5c687ed1de900ab8441fa8a12aecf2523928833cddd5391fa87c11a1af2162ac8001467e8f485a5

doc/rfsm/Rfsm/Systemc/index.html

Module Rfsm.SystemcSource

SystemC backend

Sourcetype sc_config = {
  1. mutable sc_lib_name : string;
  2. mutable sc_lib_dir : string;
  3. mutable sc_inpmod_prefix : string;
  4. mutable sc_tb_name : string;
  5. mutable sc_globals_name : string;
  6. mutable sc_state_var : string;
  7. mutable sc_proc_name : string;
  8. mutable sc_inp_proc_name : string;
  9. mutable sc_clk_step_proc_name : string;
  10. mutable sc_time_unit : string;
  11. mutable sc_stop_time : int;
  12. mutable sc_trace : bool;
  13. mutable sc_trace_state_var : string;
  14. mutable sc_double_float : bool;
  15. mutable sc_act_semantics : Misc.act_semantics;
  16. mutable show_models : bool;
}
Sourceval cfg : sc_config
Sourcemodule type SYSTEMC = sig ... end