package rfsm

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

VHDL backend

type dump_format =
  1. | Vcd
  2. | Ghw
type vhdl_config = {
  1. mutable vhdl_lib_name : string;
  2. mutable vhdl_lib_dir : string;
  3. mutable vhdl_inpmod_prefix : string;
  4. mutable vhdl_tb_prefix : string;
  5. mutable vhdl_globals_name : string;
  6. mutable vhdl_state_var : string;
  7. mutable vhdl_stop_time : int;
  8. mutable vhdl_time_unit : string;
  9. mutable vhdl_reset_sig : string;
  10. mutable vhdl_reset_duration : int;
  11. mutable vhdl_ev_duration : int;
  12. mutable vhdl_bool_as_bool : bool;
  13. mutable vhdl_support_package : string;
  14. mutable vhdl_trace : bool;
  15. mutable vhdl_dump_format : dump_format;
  16. mutable vhdl_trace_state_var : string;
  17. mutable vhdl_act_semantics : Misc.act_semantics;
}
val cfg : vhdl_config
module type VHDL = sig ... end
module Make (Static : Static.T) (Guest : Guest.VHDL with module Syntax = Static.Syntax.Guest and type value = Static.Value.t) : VHDL with module Static = Static