package hardcaml_step_testbench

  1. Overview
  2. Docs
package hardcaml_step_testbench
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module With_interface.LogicSource

Sourcetype t = Logic.t
Sourceval sexp_of_t : t -> Sexplib0.Sexp.t
Sourceval equal : t -> t -> bool
Sourceval empty : t
Sourceval is_empty : t -> Base.bool
Sourceval (--) : t -> Base.string -> t
Sourceval width : t -> Base.int
Sourceval address_bits_for : Base.int -> Base.int
Sourceval num_bits_to_represent : Base.int -> Base.int
Sourceval of_constant : Hardcaml.Constant.t -> t
Sourceval to_constant : t -> Hardcaml.Constant.t
Sourceval of_bit_string : Base.string -> t
Sourceval of_int : width:Base.int -> Base.int -> t
Sourceval of_int32 : width:Base.int -> Base.int32 -> t
Sourceval of_int64 : width:Base.int -> Base.int64 -> t
Sourceval of_hex : ?signedness:Hardcaml.Signedness.t -> width:Base.int -> Base.string -> t
Sourceval of_octal : ?signedness:Hardcaml.Signedness.t -> width:Base.int -> Base.string -> t
Sourceval of_z : width:Base.int -> Hardcaml__.Zarith.Z.t -> t
Sourceval of_string : Base.string -> t
Sourceval of_bit_list : Base.int Base.list -> t
Sourceval of_decimal_string : width:Base.int -> Base.string -> t
Sourceval of_char : Base.char -> t
Sourceval of_bool : Base.bool -> t
Sourceval to_z : t -> signedness:Hardcaml.Signedness.t -> Hardcaml__.Zarith.Z.t
Sourceval concat_msb : t Base.list -> t
Sourceval concat_lsb : t Base.list -> t
Sourceval concat_msb_e : t Base.list -> t
Sourceval concat_lsb_e : t Base.list -> t
Sourceval (@:) : t -> t -> t
Sourceval vdd : t
Sourceval is_vdd : t -> Base.bool
Sourceval gnd : t
Sourceval is_gnd : t -> Base.bool
Sourceval zero : Base.int -> t
Sourceval ones : Base.int -> t
Sourceval one : Base.int -> t
Sourceval select : t -> Base.int -> Base.int -> t
Sourceval select_e : t -> Base.int -> Base.int -> t
Sourceval bit : t -> Base.int -> t
Sourceval msb : t -> t
Sourceval lsbs : t -> t
Sourceval lsb : t -> t
Sourceval msbs : t -> t
Sourceval drop_bottom : t -> Base.int -> t
Sourceval drop_top : t -> Base.int -> t
Sourceval sel_bottom : t -> Base.int -> t
Sourceval sel_top : t -> Base.int -> t
Sourceval (.:[]) : t -> (Base.int * Base.int) -> t
Sourceval (.:+[]) : t -> (Base.int * Base.int Base.option) -> t
Sourceval (.:-[]) : t -> (Base.int Base.option * Base.int) -> t
Sourceval (.:()) : t -> Base.int -> t
Sourceval insert : into:t -> t -> at_offset:Base.int -> t
Sourceval mux : t -> t Base.list -> t
Sourceval mux2 : t -> t -> t -> t
Sourceval mux_init : t -> Base.int -> f:(Base.int -> t) -> t
Sourceval (&:) : t -> t -> t
Sourceval (&:.) : t -> Base.int -> t
Sourceval (&&:) : t -> t -> t
Sourceval (|:) : t -> t -> t
Sourceval (|:.) : t -> Base.int -> t
Sourceval (||:) : t -> t -> t
Sourceval (^:) : t -> t -> t
Sourceval (^:.) : t -> Base.int -> t
Sourceval (~:) : t -> t
Sourceval (+:) : t -> t -> t
Sourceval (+:.) : t -> Base.int -> t
Sourceval (-:) : t -> t -> t
Sourceval (-:.) : t -> Base.int -> t
Sourceval negate : t -> t
Sourceval (*:) : t -> t -> t
Sourceval (*+) : t -> t -> t
Sourceval (==:) : t -> t -> t
Sourceval (==:.) : t -> Base.int -> t
Sourceval (<>:) : t -> t -> t
Sourceval (<>:.) : t -> Base.int -> t
Sourceval (<:) : t -> t -> t
Sourceval (<:.) : t -> Base.int -> t
Sourceval lt : t -> t -> t
Sourceval (>:) : t -> t -> t
Sourceval (>:.) : t -> Base.int -> t
Sourceval (<=:) : t -> t -> t
Sourceval (<=:.) : t -> Base.int -> t
Sourceval (>=:) : t -> t -> t
Sourceval (>=:.) : t -> Base.int -> t
Sourceval (<+) : t -> t -> t
Sourceval (<+.) : t -> Base.int -> t
Sourceval (>+) : t -> t -> t
Sourceval (>+.) : t -> Base.int -> t
Sourceval (<=+) : t -> t -> t
Sourceval (<=+.) : t -> Base.int -> t
Sourceval (>=+) : t -> t -> t
Sourceval (>=+.) : t -> Base.int -> t
Sourceval (-->:) : t -> t -> t
Sourceval to_string : t -> Base.string
Sourceval to_int : t -> Base.int
Sourceval to_sint : t -> Base.int
Sourceval to_int32 : t -> Base.int32
Sourceval to_sint32 : t -> Base.int32
Sourceval to_int64 : t -> Base.int64
Sourceval to_sint64 : t -> Base.int64
Sourceval to_bool : t -> Base.bool
Sourceval to_char : t -> Base.char
Sourceval to_bstr : t -> Base.string
Sourceval bits_msb : t -> t Base.list
Sourceval bits_lsb : t -> t Base.list
Sourceval to_array : t -> t Base.array
Sourceval of_array : t Base.array -> t
Sourceval repeat : t -> Base.int -> t
Sourceval split_in_half_msb : ?msbs:Base.int -> t -> t * t
Sourceval split_in_half_lsb : ?lsbs:Base.int -> t -> t * t
Sourceval split_lsb : ?exact:Base.bool -> part_width:Base.int -> t -> t Base.list
Sourceval split_msb : ?exact:Base.bool -> part_width:Base.int -> t -> t Base.list
Sourceval bswap : t -> t
Sourceval sll : t -> Base.int -> t
Sourceval srl : t -> Base.int -> t
Sourceval sra : t -> Base.int -> t
Sourceval rotl : t -> Base.int -> t
Sourceval rotr : t -> Base.int -> t
Sourceval log_shift : (t -> Base.int -> t) -> t -> t -> t
Sourceval uresize : t -> Base.int -> t
Sourceval sresize : t -> Base.int -> t
Sourceval ue : t -> t
Sourceval se : t -> t
Sourceval resize_list : resize:(t -> Base.int -> t) -> t Base.list -> t Base.list
Sourceval resize_op2 : resize:(t -> Base.int -> t) -> (t -> t -> t) -> t -> t -> t
Sourceval reduce : f:('a -> 'a -> 'a) -> 'a Base.list -> 'a
Sourceval reverse : t -> t
Sourceval mod_counter : max:Base.int -> t -> t
Sourceval compute_arity : steps:Base.int -> Base.int -> Base.int
Sourceval compute_tree_branches : steps:Base.int -> Base.int -> Base.int Base.list
Sourceval tree : arity:Base.int -> f:('a Base.list -> 'a) -> 'a Base.list -> 'a
Sourceval priority_select : ?branching_factor:Base.int -> (t, t) Hardcaml__Comb_intf.with_valid2 Base.list -> (t, t) Hardcaml__Comb_intf.with_valid2
Sourceval priority_select_with_default : ?branching_factor:Base.int -> (t, t) Hardcaml__Comb_intf.with_valid2 Base.list -> default:t -> t
Sourceval onehot_select : ?branching_factor:Base.int -> (t, t) Hardcaml__Comb_intf.with_valid2 Base.list -> t
Sourceval popcount : ?branching_factor:Base.int -> t -> t
Sourceval is_pow2 : ?branching_factor:Base.int -> t -> t
Sourceval leading_ones : ?branching_factor:Base.int -> t -> t
Sourceval trailing_ones : ?branching_factor:Base.int -> t -> t
Sourceval leading_zeros : ?branching_factor:Base.int -> t -> t
Sourceval trailing_zeros : ?branching_factor:Base.int -> t -> t
Sourceval floor_log2 : ?branching_factor:Base.int -> t -> (t, t) Hardcaml__Comb_intf.with_valid2
Sourceval ceil_log2 : ?branching_factor:Base.int -> t -> (t, t) Hardcaml__Comb_intf.with_valid2
Sourceval binary_to_onehot : t -> t
Sourceval onehot_to_binary : t -> t
Sourceval binary_to_gray : t -> t
Sourceval gray_to_binary : t -> t
Sourceval random : width:Base.int -> t
Sourcemodule type Typed_math = sig ... end
Sourcemodule Unsigned : sig ... end
Sourcemodule Signed : sig ... end
Sourcemodule Uop : sig ... end
Sourcemodule Sop : sig ... end
Sourceval to_bits_exn : t -> Hardcaml.Bits.t
Sourceval of_bits : Hardcaml.Bits.t -> t
Sourceval compare : t -> t -> int
Sourceval create_signal : ?initial_value:t -> ?resolution:[ `Resolved | `Unresolved ] -> int -> t Event_driven_sim.Simulator.Signal.t