package rfsm

  1. Overview
  2. Docs
On This Page
  1. SystemC backend
package rfsm
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

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