100644 blob 2ff5771b8c8a05a5a84f7f1c0689ca452391c1ea	edn_assert_if.sv
100644 blob 3c04a355c3aa8bfa1c7ea1c762d55ec0b614c917	edn_bind.sv
100644 blob 55de512259d937f0e31cc1b35df50567997560ea	edn_sva.core