package hardcaml-yosys

  1. Overview
  2. Docs
type dyn = Yojson.Safe.json
type direction = Yosys_atd_t.direction
type bits = Yosys_atd_t.bits
type port = Yosys_atd_t.port = {
  1. direction : direction;
  2. bits : bits;
}
type param_value = Yosys_atd_t.param_value
type attributes = Yosys_atd_t.attributes = {
  1. src : string;
  2. full_case : int;
  3. parallel_case : int;
  4. init : dyn option;
  5. unused_bits : string option;
}
type netname = Yosys_atd_t.netname = {
  1. hide_name : int;
  2. bits : bits;
  3. attributes : attributes;
}
type cell = Yosys_atd_t.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 = Yosys_atd_t.modl = {
  1. ports : (string * port) list;
  2. cells : (string * cell) list;
  3. netnames : (string * netname) list;
}
type t = Yosys_atd_t.t = {
  1. creator : string;
  2. modl : (string * modl) list;
}
val write_dyn : Bi_outbuf.t -> dyn -> unit
val string_of_dyn : ?len:int -> dyn -> string
val read_dyn : Yojson.Safe.lexer_state -> Stdlib.Lexing.lexbuf -> dyn
val dyn_of_string : string -> dyn
val write_direction : Bi_outbuf.t -> direction -> unit
val string_of_direction : ?len:int -> direction -> string
val read_direction : Yojson.Safe.lexer_state -> Stdlib.Lexing.lexbuf -> direction
val direction_of_string : string -> direction
val write_bits : Bi_outbuf.t -> bits -> unit
val string_of_bits : ?len:int -> bits -> string
val read_bits : Yojson.Safe.lexer_state -> Stdlib.Lexing.lexbuf -> bits
val bits_of_string : string -> bits
val write_port : Bi_outbuf.t -> port -> unit
val string_of_port : ?len:int -> port -> string
val read_port : Yojson.Safe.lexer_state -> Stdlib.Lexing.lexbuf -> port
val port_of_string : string -> port
val write_param_value : Bi_outbuf.t -> param_value -> unit
val string_of_param_value : ?len:int -> param_value -> string
val read_param_value : Yojson.Safe.lexer_state -> Stdlib.Lexing.lexbuf -> param_value
val param_value_of_string : string -> param_value
val write_attributes : Bi_outbuf.t -> attributes -> unit
val string_of_attributes : ?len:int -> attributes -> string
val read_attributes : Yojson.Safe.lexer_state -> Stdlib.Lexing.lexbuf -> attributes
val attributes_of_string : string -> attributes
val write_netname : Bi_outbuf.t -> netname -> unit
val string_of_netname : ?len:int -> netname -> string
val read_netname : Yojson.Safe.lexer_state -> Stdlib.Lexing.lexbuf -> netname
val netname_of_string : string -> netname
val write_cell : Bi_outbuf.t -> cell -> unit
val string_of_cell : ?len:int -> cell -> string
val read_cell : Yojson.Safe.lexer_state -> Stdlib.Lexing.lexbuf -> cell
val cell_of_string : string -> cell
val write_modl : Bi_outbuf.t -> modl -> unit
val string_of_modl : ?len:int -> modl -> string
val read_modl : Yojson.Safe.lexer_state -> Stdlib.Lexing.lexbuf -> modl
val modl_of_string : string -> modl
val write_t : Bi_outbuf.t -> t -> unit
val string_of_t : ?len:int -> t -> string
val read_t : Yojson.Safe.lexer_state -> Stdlib.Lexing.lexbuf -> t
val t_of_string : string -> t
OCaml

Innovation. Community. Security.