package rfsm

  1. Overview
  2. Docs
On This Page
  1. VCD Interface
package rfsm
Legend:
Library
Module
Module type
Parameter
Class
Class type

VCD Interface

type vcd_typ =
  1. | TyInt of int option
    (*

    with optional size in bits

    *)
  2. | TyBool
  3. | TyFloat
  4. | TyEvent
  5. | TyString
  6. | TyChar

The possible types for VCD values

and vcd_value =
  1. | Val_int of int
  2. | Val_bool of bool
  3. | Val_float of float
  4. | Val_char of char
  5. | Val_string of string

The possible VCD values

val pp_vcd_typ : Ppx_deriving_runtime.Format.formatter -> vcd_typ -> Ppx_deriving_runtime.unit
val show_vcd_typ : vcd_typ -> Ppx_deriving_runtime.string
val pp_vcd_value : Ppx_deriving_runtime.Format.formatter -> vcd_value -> Ppx_deriving_runtime.unit
val show_vcd_value : vcd_value -> Ppx_deriving_runtime.string
type vcd_signal = Ident.t * (char * vcd_typ)
val pp_vcd_signal : Stdlib.Format.formatter -> vcd_signal -> unit
exception Unsupported
val register_signal : vcd_signal list -> (Ident.t * vcd_typ) -> vcd_signal list