Source file vhdl.ml

open! Import

module Range_direction = struct
  type t =
    | Up
    | Down
  [@@deriving compare, sexp_of]

  let equal = [%compare.equal: t]
end

module Expression = struct
  type t =
    | Char   of string
    | Float  of float
    | Hex    of string
    | Id     of string
    | Int    of int
    | Neg    of t
    | Op     of string * t * t
    | Others of string
    | String of string
    | X01    of string
  [@@deriving compare, sexp_of]
end

module Range = struct
  type t = Expression.t * Range_direction.t * Expression.t
  [@@deriving compare, sexp_of]
end

module Type = struct
  type t =
    | Bit
    | Bit_vector of Range.t option
    | Boolean
    | Integer
    | Real
    | Std_logic
    | Std_logic_vector of Range.t option
    | String
    | Time
  [@@deriving compare, sexp_of]
end

module Port_direction = struct
  type t = In | Inout | Out
  [@@deriving compare, enumerate, sexp_of]

  let equal = [%compare.equal: t]

  let to_string t = t |> [%sexp_of: t] |> Sexp.to_string
end

module Port = struct
  type t =
    { name    : string
    ; dir     : Port_direction.t
    ; type_   : Type.t
    ; default : Expression.t option }
  [@@deriving compare, sexp_of]
end


module Component = struct
  type t =
    { name     : string
    ; generics : Port.t list
    ; ports    : Port.t list }
  [@@deriving compare, sexp_of]
end