package rfsm

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

VCD Interface

package rfsm

rfsm
- Rfsm
  - Annot
  - Bits
  - Cmodel
    
    CMODEL
    
    Static
    
    Syntax
    
    Guest
    
    Types
    
    Typing
    
    Value
    
    Make
    
    Static
    
    Syntax
    
    Guest
    
    Types
    
    Typing
    
    Value
  - Compiler
    
    LEXER
    
    Make
    
    L
    
    Ctask
    
    G
    
    Syntax
    
    Types
    
    Dot
    
    Dynamic
    
    EvSeq
    
    Evset
    
    Event
    
    Syntax
    
    Types
    
    Value
    
    Eval
    
    Syntax
    
    Types
    
    Value
    
    Guest
    
    Ctask
    
    Error
    
    Eval
    
    Info
    
    Options
    
    Static
    
    Syntax
    
    Systemc
    
    Types
    
    Typing
    
    Value
    
    Vhdl
    
    Static
    
    Syntax
    
    Guest
    
    Types
    
    Typing
    
    Value
    
    Syntax
    
    Guest
    
    Types
    
    Systemc
    
    G
    
    Static
    
    Syntax
    
    Types
    
    Typing
    
    HostSyntax
    
    Guest
    
    Types
    
    Vcd
    
    Vhdl
    
    G
    
    Static
    
    Syntax
    
    Types
    
    Lexer
    
    Parser
    
    PARSER
    
    T
  - Ctask
    
    CTASK
    
    G
    
    Syntax
    
    Types
    
    Static
    
    Syntax
    
    Guest
    
    Types
    
    Typing
    
    Value
    
    Make
    
    G
    
    Syntax
    
    Types
    
    Guest
    
    Static
    
    Syntax
    
    Guest
    
    Types
    
    Typing
    
    Value
  - Depg
    
    G
    
    E
    
    Mark
    
    V
    
    M
    
    Make
    
    N
    
    NODE
    
    T
    
    TS
  - Dot
    
    DOT
    
    Static
    
    Syntax
    
    Guest
    
    Types
    
    Typing
    
    Value
    
    Make
    
    S
    
    Syntax
    
    Guest
    
    Types
    
    Typing
    
    Value
  - Dynamic
    
    DYNAMIC
    
    EvSeq
    
    Evset
    
    Event
    
    Syntax
    
    Types
    
    Value
    
    Eval
    
    Syntax
    
    Types
    
    Value
    
    Static
    
    Syntax
    
    Guest
    
    Types
    
    Typing
    
    Value
    
    Syntax
    
    Guest
    
    Types
    
    Make
    
    EvSeq
    
    Evset
    
    Event
    
    Syntax
    
    Types
    
    Value
    
    Eval
    
    Static
    
    Typing
    
    Value
    
    Syntax
    
    Guest
    
    Types
  - Env
  - Event
    
    Make
    
    GS
    
    Types
    
    GV
    
    T
    
    Syntax
    
    Types
    
    Value
  - Evseq
    
    EVSEQ
    
    Evset
    
    Event
    
    Syntax
    
    Types
    
    Value
    
    Make
    
    ES
    
    Event
    
    Syntax
    
    Types
    
    Value
  - Evset
    
    Make
    
    E
    
    Syntax
    
    Types
    
    Value
    
    T
    
    Event
    
    Syntax
    
    Types
    
    Value
  - Ext
    
    Base
    
    File
    
    Format
    
    List
    
    Option
  - Guest
    
    CTASK
    
    Syntax
    
    Types
    
    ERROR
    
    EVAL
    
    Syntax
    
    Types
    
    Value
    
    INFO
    
    OPTIONS
    
    STATIC
    
    SYNTAX
    
    Types
    
    SYSTEMC
    
    Static
    
    Syntax
    
    Types
    
    T
    
    Ctask
    
    Error
    
    Eval
    
    Info
    
    Options
    
    Static
    
    Syntax
    
    Systemc
    
    Types
    
    Typing
    
    Value
    
    Vhdl
    
    TYPES
    
    TYPING
    
    Syntax
    
    Types
    
    Types
    
    VALUE
    
    VHDL
    
    Static
    
    Syntax
    
    Types
  - Host
    
    Make
    
    Ctask
    
    G
    
    Syntax
    
    Types
    
    Dot
    
    Dynamic
    
    EvSeq
    
    Evset
    
    Event
    
    Syntax
    
    Types
    
    Value
    
    Eval
    
    Syntax
    
    Types
    
    Value
    
    G
    
    Ctask
    
    Error
    
    Eval
    
    Info
    
    Options
    
    Static
    
    Syntax
    
    Systemc
    
    Types
    
    Typing
    
    Value
    
    Vhdl
    
    Static
    
    Syntax
    
    Guest
    
    Types
    
    Typing
    
    Value
    
    Systemc
    
    G
    
    Static
    
    Syntax
    
    Types
    
    Typing
    
    HostSyntax
    
    Guest
    
    Types
    
    Vcd
    
    Vhdl
    
    G
    
    Static
    
    Syntax
    
    Types
    
    T
    
    Ctask
    
    G
    
    Syntax
    
    Types
    
    Dot
    
    Dynamic
    
    EvSeq
    
    Evset
    
    Event
    
    Syntax
    
    Types
    
    Value
    
    Eval
    
    Syntax
    
    Types
    
    Value
    
    Guest
    
    Ctask
    
    Error
    
    Eval
    
    Info
    
    Options
    
    Static
    
    Syntax
    
    Systemc
    
    Types
    
    Typing
    
    Value
    
    Vhdl
    
    Static
    
    Syntax
    
    Guest
    
    Types
    
    Typing
    
    Value
    
    Syntax
    
    Guest
    
    Types
    
    Systemc
    
    G
    
    Static
    
    Syntax
    
    Types
    
    Typing
    
    HostSyntax
    
    Guest
    
    Types
    
    Vcd
    
    Vhdl
    
    G
    
    Static
    
    Syntax
    
    Types
  - Ident
  - Location
  - Logfile
  - Misc
  - Options
  - Static
    
    Make
    
    GS
    
    GV
    
    HS
    
    Guest
    
    Types
    
    HT
    
    T
    
    Syntax
    
    Guest
    
    Types
    
    Typing
    
    Value
  - Subst
  - Syntax
    
    Make
    
    G
    
    Types
    
    SYNTAX
    
    Guest
    
    Types
  - Systemc
    
    Make
    
    G
    
    Static
    
    Syntax
    
    Types
    
    Guest
    
    Static
    
    Static
    
    Syntax
    
    Guest
    
    Types
    
    Typing
    
    Value
    
    SYSTEMC
    
    G
    
    Static
    
    Syntax
    
    Types
    
    Static
    
    Syntax
    
    Guest
    
    Types
    
    Typing
    
    Value
  - Typing
    
    Make
    
    GS
    
    GT
    
    Types
    
    HS
    
    Guest
    
    Types
    
    TYPING
    
    HostSyntax
    
    Guest
    
    Types
  - Vcd
    
    Make
    
    EvSeq
    
    Evset
    
    Event
    
    Syntax
    
    Types
    
    Value
    
    VCD
  - Vcd_types
  - Version
  - Vhdl
    
    Make
    
    G
    
    Static
    
    Syntax
    
    Types
    
    Guest
    
    Static
    
    Static
    
    Syntax
    
    Guest
    
    Types
    
    Typing
    
    Value
    
    VHDL
    
    G
    
    Static
    
    Syntax
    
    Types
    
    Static
    
    Syntax
    
    Guest
    
    Types
    
    Typing
    
    Value
  - Vhdl_types

Legend:
Library
Module
Module type
Parameter
Class
Class type

VCD Interface

type vcd_typ =

| TyInt of int option
(*
with optional size in bits
*)
| TyBool
| TyFloat
| TyEvent
| TyString
| TyChar

The possible types for VCD values

and vcd_value =

| Val_int of int
| Val_bool of bool
| Val_float of float
| Val_char of char
| 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 : Format.formatter -> vcd_signal -> unit

exception Unsupported

val register_signal : vcd_signal list -> (Ident.t * vcd_typ) -> vcd_signal list