LISA

Tool

LISA is referenced in the available evidence as an architecture-description-language-related approach in instruction set simulator generation. The cited comparison notes that approaches such as LISA still require processor semantics to be reimplemented in the ADL, so functional equivalence between the simulator and the processor design remains to be established separately.

First seen 5/26/2026

Last seen 6/8/2026

Evidence 4 chunks

Wiki v2

WIKI

Overview

LISA is discussed in the available evidence as an approach associated with an architecture description language (ADL) in the context of generating instruction set simulators (ISSs). In the cited comparison, approaches such as LISA still require the processor semantics to be reimplemented in the ADL. As a result, the functional equivalence of the generated or derived ISS and the processor design remains something that must be shown separately.

Technical context

READ FULL ARTICLE →

NEIGHBORHOOD

No graph connections found for this entity yet. It may appear in future ingestion runs.

explore full graph →

RELATIONSHIPS

2 connections

Architecture Description Language implements → 95% 4e

LISA is an ADL tool for automatic generation of simulators and compilers for processors.

Advanced Automation in Formal Verification of Processors ← mentions 85% 2e

The paper mentions LISA as an existing ADL tool for processor design.

LINKED ENTITIES

1 links

Architecture Description Language IMPLEMENTS Extracted graph relationship

CITATIONS

3 sources

3 citations — click to collapse

[1] LISA is discussed as an ADL-related approach in ISS generation, and such approaches require reimplementation of processor semantics in the ADL, leaving ISS/design functional equivalence to be shown separately. Generating an Efficient Instruction Set Simulator from a Complete Property Suite

[2] The compared property-suite-based workflow uses an existing formal property suite to generate an ISS, can generate the ISS once the ISA is formally captured, and can regenerate an adapted ISS after later design or specification changes. Generating an Efficient Instruction Set Simulator from a Complete Property Suite

[3] The evidence identifies interpretive simulation, compiled simulation, and just-in-time compiled simulation as the three main ISS paradigms and describes their flexibility/performance trade-offs. Generating an Efficient Instruction Set Simulator from a Complete Property Suite