Semiformal Verification of Software-controlled Connections

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

IEEE Com­pu­ter So­cie­ty An­nual Sym­po­si­um on VLSI, 2017