CSP/SMT Solver
ConceptA CSP/SMT solver is referenced in the evidence as a constraint-processing component that can be integrated into model-based test generators for processor-level stimulus generation, including Instruction Set Simulator verification workflows.
First seen 5/29/2026
Last seen 5/29/2026
Evidence 2 chunks
Wiki v1
WIKI
Overview
In the provided evidence, a CSP/SMT solver appears in the context of processor-level stimulus generation. The cited paper states that model-based test generators use an input-format specification to guide generation and can integrate constraints that are processed by a CSP/SMT solver.
Role in model-based test generation
NEIGHBORHOOD
No graph connections found for this entity yet. It may appear in future ingestion runs.
explore full graph →RELATIONSHIPS
2 connectionsThe paper mentions CSP/SMT solvers used in model-based test generation approaches.
Model-based test generators use CSP/SMT solvers for constraint processing.
CITATIONS
4 sources4 citations — click to collapse
[1] Model-based test generators can integrate constraints processed by a CSP/SMT solver. Verifying Instruction Set Simulators using Coverage-guided Fuzzing
[2] Model-based test generation is discussed as an approach for improving random generation of processor-level stimuli. Verifying Instruction Set Simulators using Coverage-guided Fuzzing
[3] Because an ISS is a software model, semi-formal methods based on dynamic program analysis and constraint solving are applicable and can automatically increase code coverage. Verifying Instruction Set Simulators using Coverage-guided Fuzzing
[4] Constraint-solving-based semi-formal methods may suffer from scalability issues or impose limitations related to modeling memory access and loops. Verifying Instruction Set Simulators using Coverage-guided Fuzzing