NSF Future Core Awarded

Grateful to @NSF and @NSF_CISE for ouir new project "FET: Neuro-Symbolic Reasoning for Verified Hardware-Software Co-Design" — building on our ISCA paper æSIP. Joint work with co-PIs Siqian Shen & Yatin Manerkar.