package rfsm

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

Module Rfsm.Vcd_typesSource

VCD Interface

Sourcetype 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

Sourceand 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

Sourcetype vcd_signal = Ident.t * (char * vcd_typ)
Sourceval pp_vcd_signal : Format.formatter -> vcd_signal -> unit
Sourceexception Unsupported
Sourceval register_signal : vcd_signal list -> (Ident.t * vcd_typ) -> vcd_signal list