package p4spectec

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Module `Pipe.Make`

module Spec : Spec.S

val transform_stf_stmt : Stf.Ast.stmt -> Stf.Ast.stmt

val eval_extern_init : Value.t list -> Value.t

val eval_extern_func_lctk_call : Value.t list -> Value.t list

val eval_extern_func_call : Value.t list -> Value.t list

val eval_extern_method_call : Value.t list -> Value.t list

val init_arch_state : Value.t

val add_mirror_session : Value.t -> int -> int -> Value.t

val add_mirror_session_mc : Value.t -> int -> int -> Value.t

val mc_mgrp_create : Value.t -> int -> Value.t

val mc_node_create : Value.t -> int -> int list -> Value.t

val mc_node_associate : Value.t -> int -> int -> Value.t

val register_read : Value.t -> string -> int -> Value.t

val register_write : Value.t -> string -> int -> int -> Value.t

val register_reset : Value.t -> string -> Value.t

val init_pipe : string list -> string -> Value.t * Value.t

val drive_pipe : 
  Value.t ->
  Value.t ->
  Sim.Io.rx ->
  Value.t * Value.t * Sim.Io.tx list

val eval_extern_rel : string -> Value.t list -> Sim.Signature.rel_result

val eval_extern_func : 
  string ->
  Dynamic_runner.Signature.Typ.t list ->
  Value.t list ->
  Sim.Signature.func_result