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
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