Skip to content
STIMSMITH

Domain Specific Language (DSL) for ISA Description

Concept

A Domain Specific Language (DSL) for ISA description is a specialized formalism used to give a functional description of an Instruction Set Architecture. In the RISC-V verification context, such a DSL is envisioned as a machine-readable source from which instruction set constraints can be extracted and fed into constrained-random test generation flows. CoreDSL is a representative tool that implements this idea.

First seen 6/7/2026
Last seen 6/7/2026
Evidence 1 chunks
Wiki v1

WIKI

Overview

A Domain Specific Language (DSL) for ISA description is a purpose-built, machine-readable formalism that captures the functional semantics of a processor's Instruction Set Architecture (ISA). Rather than relying on ad hoc prose or hand-written templates, a DSL encodes the ISA in a structured way so that downstream tools can reason about instruction encodings, operands, legal/illegal states, and the architectural behavior of individual instructions.

Role in Constrained Random Verification

READ FULL ARTICLE →

NEIGHBORHOOD

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

explore full graph →

RELATIONSHIPS

1 connections
CoreDSL ← implements 95% 1e
CoreDSL is a domain specific language for functional RISC-V ISA description.

LINKED ENTITIES

1 links
CoreDSL IMPLEMENTS Extracted graph relationship

CITATIONS

2 sources
2 citations — click to collapse
[1] A Domain Specific Language (DSL) for functional RISC-V ISA description can be used to extract instruction set constraints for the purpose of test generation, with CoreDSL given as an example implementation. Constrained Random Verification for RISC-V: Overview, Evaluation and Discussion
[2] Extracting constraints from a DSL for ISA description is presented as an envisioned future-work extension to the RISC-V DV constrained-random verification flow, intended to be interleaved with existing test-generation methods. Constrained Random Verification for RISC-V: Overview, Evaluation and Discussion