Publications

2 results for Damir Jamsek

Near-Memory and In-Storage FPGA Acceleration for Emerging Cognitive Computing Workloads
- - Ashutosh Dhar
  - Sitao Huang
  - et al.
- 2019
- ISVLSI 2019
Verisym: Verifying circuits by symbolic simulation
- - William Adams
  - Warren A. Hunt Jr.
  - et al.
- 2003
- Formal Methods in System Design