Skip to content
STIMSMITH

Advanced Automation in Formal Verification of Processors

Paper
First seen 6/8/2026
Last seen 6/8/2026
Evidence 8 chunks

NEIGHBORHOOD

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

explore full graph →

RELATIONSHIPS

15 connections
Ulrich Kühne authored by → 100% 2e
Ulrich Kühne is listed as an author of the paper and his PhD thesis is the basis of the work.
FISACO introduces → 95% 2e
The paper introduces and demonstrates the FISACO tool.
Interval Property Checking uses → 95% 2e
The paper uses IPC as the core verification technique.
Automatic Property Generation uses → 95% 2e
The paper presents an approach to automatically generate a complete property suite.
Completeness Analysis uses → 90% 2e
The paper uses completeness analysis to ensure the generated property suite covers all behaviors.
simulation-based verification ← compares with 90% 2e
The paper contrasts its formal approach with simulation-based verification.
LISA mentions → 85% 2e
The paper mentions LISA as an existing ADL tool for processor design.
Peripheral Control Processor evaluates → 95% 2e
The paper evaluates the approach on the PCP industrial processor.
Sven Beyer authored by → 100% 1e
Sven Beyer is listed as a co-author of the paper.
Jörg Bormann authored by → 100% 1e
Jörg Bormann is listed as a co-author of the paper.
John Barstow authored by → 100% 1e
John Barstow is listed as a co-author of the paper.
University of Bremen published by → 75% 1e
The paper was jointly produced by University of Bremen and OneSpin Solutions GmbH.
Theorem Proving mentions → 85% 1e
The paper mentions theorem proving as an alternative approach for processor verification.
OneSpin Solutions GmbH published by → 75% 1e
The paper was jointly produced by OneSpin Solutions GmbH and University of Bremen.
Facile mentions → 80% 1e
The paper mentions Facile as a tool for automatic generation of simulators and compilers.