VAMP
ToolVAMP, the Verified Architecture MicroProcessor, is described in the evidence as a pipelined reduced-instruction-set processor with out-of-order execution. In the Verisoft context it is modeled in Isabelle/HOL at the ISA and assembly levels, with VAMPasm providing a 56-instruction assembly-level abstraction used for model-based conformance testing.
WIKI
Overview
VAMP stands for Verified Architecture MicroProcessor. The provided case-study evidence characterizes VAMP as a pipelined reduced instruction set (RISC) processor based on the out-of-order execution principle. Its assembly-level instruction set is referred to as VAMPasm. [VAMP processor identity and architecture]
Within the Verisoft architecture, the cited work focuses on the hardware layer, specifically the assembly-level model of VAMP. The testing setup generates tests from a formal model of the instruction set and checks conformance of the gate level against the assembly level. [VAMP testing layer]
NEIGHBORHOOD
No graph connections found for this entity yet. It may appear in future ingestion runs.
explore full graph →