9 citations · 11 across the 3 of their papers we have counts for
3 papers
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.CR2018★ 2 cited
Validation of Hardware Security and Trust: A Survey
Payman Behnam
With ever advancing in digital system, security has been emerged as a major concern. Many researchers all around the world come up with solutions to address various challenges that…
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…