9 citations · 13 across the 5 of their papers we have counts for
Showing cs.ARShow all
2 papers · 1 filter
cs.AR2021★ 9 cited
FORMS: Fine-grained Polarized ReRAM-based In-situ Computation for Mixed-signal DNN Accelerator
Geng Yuan, Payman Behnam, Zhengang Li +8
Recent works demonstrated the promise of using resistive random access memory (ReRAM) as an emerging technology to perform inherently parallel analog domain in-situ matrix-vector m…
cs.AR2017
Automated Formal Equivalence Verification of Pipelined Nested Loops in Datapath Designs
Payman Behnam, Bijan Alizadeh, Sajjad Taheri
In this paper, we present an efficient formal approach to check the equivalence of synthesized RTL against the high-level specification in the presence of pipelining transformation…