Skip to content
STIMSMITH

FISACO

Tool
First seen 6/8/2026
Last seen 6/8/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
Mapping Functions uses → 95% 2e
FISACO relies on user-defined mapping functions to connect architecture to RTL.
OneSpin 360 MV uses → 100% 2e
FISACO is implemented as a front-end for OneSpin 360 MV.
Advanced Automation in Formal Verification of Processors ← introduces 95% 2e
The paper introduces and demonstrates the FISACO tool.
Automatic Property Generation implements → 100% 2e
FISACO implements the automatic property generation approach described in the paper.
Consistency Assertions uses → 95% 2e
FISACO automatically generates consistency assertions as part of the property suite.
Peripheral Control Processor evaluates → 95% 2e
FISACO was applied and demonstrated on the PCP processor by Infineon Technologies.
Architecture Description uses → 95% 1e
FISACO takes an architecture description as input to generate properties.