Module Synthesis.Make_comb_primitives

Parameters

Signature

type t = Synth.t
val sexp_of_t : t -> Sexplib0.Sexp.t
include Base.Equal.S with type t := t
val equal : t Base__Equal.equal
val empty : t

the empty signal

val is_empty : t -> Base.bool
val width : t -> Base.int

returns the width of a signal

val of_constant : Hardcaml.Constant.t -> t

creates a constant

val to_constant : t -> Hardcaml.Constant.t
val concat_msb : t Base.list -> t

concatenates a list of signals

val select : t -> Base.int -> Base.int -> t

select a range of bits

val (--) : t -> Base.string -> t

names a signal

val (&:) : t -> t -> t

bitwise and

val (|:) : t -> t -> t

bitwise or

val (^:) : t -> t -> t

bitwise xor

val (~:) : t -> t

bitwise not

val to_string : t -> Base.string

create string from signal

val mux : t -> t Base.list -> t

multiplexer

val (+:) : t -> t -> t

addition

val (-:) : t -> t -> t

subtraction

val (*:) : t -> t -> t

unsigned multiplication

val (*+) : t -> t -> t

signed multiplication

val (==:) : t -> t -> t

equality

val (<:) : t -> t -> t

less than