package hardcaml-yosys

  1. Overview
  2. Docs
type bits = int list
type t = {
  1. typ : string;
  2. label : string;
  3. parameters : (string * Yosys_atd_t.param_value) list;
  4. inputs : (string * bits) list;
  5. outputs : (string * bits) list;
}
exception No_cell_direction_specified of string * string
exception Invalid_net_tristate
exception Invalid_net_bit_specifier of string
exception Unsupported_parameter_type of string * string
val net_of_bit : Yosys_atd_t.dyn -> int
val mk_params : string -> (string * Yosys_atd_t.param_value) list -> (string * HardCaml.Signal.Types.parameter) list
val partition_ios : Yosys_atd_t.cell -> (string * Yosys_atd_t.bits) list * (string * Yosys_atd_t.bits) list
val mk_cell : Yosys_atd_t.cell -> t