plopesresearch: also #33c3 fpga peeps don't forget to go see Clifford's "Formal Verification of Verilog" talk, (ch… https://t.co/cKTZsL5fL3)

plopesresearch: also #33c3 fpga peeps don't forget to go see Clifford's "Formal Verification of Verilog" talk, (ch… https://t.co/cKTZsL5fL3)

— tiago morais morgado (@tiagommorgado88) December 27, 2016

from Twitter https://twitter.com/tiagommorgado88

December 27, 2016 at 12:36AM
via IFTTT