FMCAD 2015 Paper and Code Online

A pre-publication draft of our FMCAD paper, "Template-based Synthesis of Instruction-Level Abstractions for SoC Verification" is now online.

We have been working with Intel's Security Center of Excellence (SeCoE) with the goal of addressing hardware and firmware security vulnerabilities. One of the issues that SeCoE

Comments !