package rfsm

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

SystemC backend

type 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;
}
val cfg : sc_config
module type SYSTEMC = sig ... end
module Make (Static : Static.T) (Guest : Guest.SYSTEMC with module Syntax = Static.Syntax.Guest and type value = Static.Value.t) : SYSTEMC with module Static = Static
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct