Skip to main content

Module rtl_kg

logicaffeine_compile::codegen_sva

Module rtl_kg 

Source
Expand description

RTL KG + Spec-RTL Linking

Converts RtlModule → HwKnowledgeGraph and links spec KG to RTL KG.

Structs§

LinkResult
Link result reporting unmatched signals.

Functions§

link_kg
Link a spec KG to an RTL KG by signal name matching. Strategy: exact match → case-insensitive match.
rtl_to_kg
Convert an RtlModule to a HwKnowledgeGraph.