arrow
返回
F

Farhad Merchant

university of bremen

13H指数
94论文数
623被引数
收录论文 9
发表时间
veriSiM: Formal Verification of SPICE Netlists for MAGIC-Based Logic-in-MemoryveriSiM:基于MAGIC的存内逻辑SPICE网表的正式验证
err2026-02-01
err0
PREAI
errJha, Chandan Kumar; Singh, Simranjeet; Qayyum, Khushboo; Bende, Ankit; Hassan, Muhammad; Rana, Vikas; Merchant, Farhad; Drechsler, Rolf
err分享
err收藏
Neural in-memory checksums: an error detection and correction technique for safe in-memory inference
err2025-01-16
err0
PREAI
errParrini, Luca; Soliman, Taha; Hettwer, Benjamin; de la Parra, Cecilia; Borrmann, Jan Micha; Singh, Simranjeet; Bende, Ankit; Rana, Vikas; Merchant, Farhad; Wehn, Norbert
err分享
err收藏
A flexible and fast digital twin for RRAM systems applied for training resilient neural networks用于训练弹性神经网络的RRAM系统的灵活快速的数字孪生
err2024-10-10
err1
errOAAI
errFritscher, Markus; Singh, Simranjeet; Rizzi, Tommaso; Baroni, Andrea; Reiser, Daniel; Mallah, Maen; Hartmann, David; Bende, Ankit; Kempen, Tim; Uhlmann, Max; Kahmen, Gerhard; Fey, Dietmar; Rana, Vikas; Menzel, Stephan; Reichenbach, Marc; Krstic, Milos; Merchant, Farhad; Wenger, Christian
err分享
err收藏
veriSIMPLER: An Automated Formal Verification Methodology for SIMPLER MAGIC Design Style Based In-Memory Computing
err2024-09-01
err1
PREAI
errJha, Chandan Kumar; Qayyum, Khushboo; Coskun, Kemal Caglar; Singh, Simranjeet; Hassan, Muhammad; Leupers, Rainer; Merchant, Farhad; Drechsler, Rolf
err分享
err收藏
err分享
err收藏
Efficient Realization of Householder Transform Through Algorithm-Architecture Co-Design for Acceleration of QR Factorization
err2018-08-01
err6
errOAAI
errMerchant, Farhad; Vatwani, Tarun; Chattopadhyay, Anupam; Raha, Soumyendu; Nandy, S. K.; Narayan, Ranjani
err分享
err收藏
A framework for post-silicon realization of arbitrary instruction extensions on reconfigurable data-paths
err2014-08-01
err14
PREAI
errDas, Saptarsi; Madhu, Kavitha; Krishna, Madhav; Sivanandan, Nalesh; Merchant, Farhad; Natarajan, Santhi; Biswas, Ipsita; Pulli, Adithya; Nandy, S. K.; Narayan, Ranjani
err分享
err收藏