Mapping Functions

Technique

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.

3 connections

FISACO ← uses 95% 2e

FISACO relies on user-defined mapping functions to connect architecture to RTL.

Automatic property generation relies on mapping functions to connect architecture to RTL.

Mapping functions relate the architecture description to the RTL implementation.