A Deep Dynamic Formal Verification-based Approach for Complex Systems-on-Chip

Tomás Grimm, Djones Lettnin, Michael Hübner

CDNLive EMEA 2018

Tags: