Expand description
Source-independent testbench bytecode contracts.
Frontends translate source-language operators into this vocabulary before execution. No Veryl AST, parser ID, simulator backend, or runtime handle is part of the bytecode representation.
Structs§
- Bind
Error - Compiled
Expr - A compiled expression: flat bytecode evaluated on a stack VM.
- Component
Binding - Component
Connection - Component
Connection Binding - Component
Library - Display
Format Arg - Executable
Argument - Executable
Testbench - Expr
Bytecode - Semantic
Argument - Semantic
Signal - Source
Location - State
Location - Testbench
Component - Testbench
Program - Testbench
Selection - Testbench
Target
Enums§
- Assert
Message - Clock
Count - Component
Parameter Value - Expr
Opcode - Loop
Bound - Testbench
Operator - Testbench
Statement - Source-independent testbench control program.
- Testbench
Value - Stack value: either a native u64 or a heap-allocated BigUint.