package hardcaml-yosys

  1. Overview
  2. Docs
type dyn = Yojson.Safe.json
type direction = [
  1. | `Input
  2. | `Output
]
type bits = dyn list
type port = {
  1. direction : direction;
  2. bits : bits;
}
type param_value = dyn
type attributes = {
  1. src : string;
  2. full_case : int;
  3. parallel_case : int;
  4. init : dyn option;
  5. unused_bits : string option;
}
type netname = {
  1. hide_name : int;
  2. bits : bits;
  3. attributes : attributes;
}
type cell = {
  1. hide_name : int;
  2. typ : string;
  3. parameters : (string * param_value) list;
  4. attributes : attributes;
  5. port_directions : (string * direction) list;
  6. connections : (string * bits) list;
}
type modl = {
  1. ports : (string * port) list;
  2. cells : (string * cell) list;
  3. netnames : (string * netname) list;
}
type t = {
  1. creator : string;
  2. modl : (string * modl) list;
}