Skip to content
STIMSMITH

formal-iss code generation tool

CodeArtifact
First seen 6/9/2026
Last seen 6/9/2026
Evidence 6 chunks

NEIGHBORHOOD

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

explore full graph →

RELATIONSHIPS

7 connections
ISS Code Generation implements → 100% 2e
The tool implements the ISS code generation technique
LIBRISCV uses → 100% 2e
The code generation tool depends on LIBRISCV for the formal RISC-V model
language-c uses → 100% 2e
The code generation tool uses language-c for C/C++ unparsing
Minimally Invasive Generation of RISC-V Instruction Set Simulators from Formal ISA Models ← introduces 100% 2e
The paper introduces the formal-iss code generation tool as its artifact
Simulator-Agnostic Code Generation implements → 100% 2e
The tool is designed to be simulator-agnostic
Interface Model uses → 100% 2e
The code generation tool leverages the interface model to remain simulator-agnostic
Abstract Syntax Tree uses → 100% 1e
The code generation tool generates a C/C++ AST as an intermediate representation