/Hierarchy-ILA-Proof

Hierachical ILA Verification: refinement checking between the high-level ILA and the ILA composition

Primary LanguageVerilogMIT LicenseMIT

Hierarchy_ILA_Proof

Hierachical ILA Verification: refinement checking between the high-level ILA and the ILA composition