Near-Memory and In-Storage FPGA Acceleration for Emerging Cognitive Computing WorkloadsAshutosh DharSitao Huanget al.2019ISVLSI 2019
Verisym: Verifying circuits by symbolic simulationWilliam AdamsWarren A. Hunt Jr.et al.2003Formal Methods in System Design