package hardcaml

  1. Overview
  2. Docs
package hardcaml
Legend:
Library
Module
Module type
Parameter
Class
Class type
type signal_op =
  1. | Signal_add
  2. | Signal_sub
  3. | Signal_mulu
  4. | Signal_muls
  5. | Signal_and
  6. | Signal_or
  7. | Signal_xor
  8. | Signal_eq
  9. | Signal_not
  10. | Signal_lt
  11. | Signal_cat
  12. | Signal_mux
type uid = int64
module UidMap : sig ... end
module UidSet : sig ... end
type signal_id = {
  1. s_id : uid;
  2. mutable s_names : string list;
  3. s_width : int;
  4. mutable s_deps : signal list;
}
and signal =
  1. | Signal_empty
  2. | Signal_const of signal_id * string
  3. | Signal_op of signal_id * signal_op
  4. | Signal_wire of signal_id * signal Pervasives.ref
  5. | Signal_select of signal_id * int * int
  6. | Signal_reg of signal_id * register
  7. | Signal_mem of signal_id * uid * register * memory
  8. | Signal_inst of signal_id * uid * instantiation
and register = {
  1. reg_clock : signal;
  2. reg_clock_level : signal;
  3. reg_reset : signal;
  4. reg_reset_level : signal;
  5. reg_reset_value : signal;
  6. reg_clear : signal;
  7. reg_clear_level : signal;
  8. reg_clear_value : signal;
  9. reg_enable : signal;
}
and memory = {
  1. mem_size : int;
  2. mem_read_address : signal;
  3. mem_write_address : signal;
}
and instantiation = {
  1. inst_name : string;
  2. inst_generics : (string * parameter) list;
  3. inst_inputs : (string * signal) list;
  4. inst_outputs : (string * (int * int)) list;
  5. inst_lib : string;
  6. inst_arch : string;
}
and parameter =
  1. | ParamString of string
  2. | ParamInt of int
  3. | ParamFloat of float
  4. | ParamBool of bool
val uid : signal -> uid
val depo : signal -> < data : signal list ; op1 : signal ; op2 : signal * signal ; sel : signal >
val deps : signal -> signal list
val names : signal -> string list
val width : signal -> int
val is_reg : signal -> bool
val is_mem : signal -> bool
val is_inst : signal -> bool
val is_const : signal -> bool
val is_select : signal -> bool
val is_wire : signal -> bool
val is_op : signal_op -> signal -> bool
val const_value : signal -> string
val new_id : unit -> uid
val reset_id : unit -> unit
val make_id : int -> signal list -> signal_id
val string_of_op : signal_op -> string
val to_string : signal -> string
val structural_compare : ?check_names:bool -> ?check_deps:bool -> signal -> signal -> bool
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