2 citations · 2 across the 3 of their papers we have counts for
3 papers
A Semi Black-Box Adversarial Bit-Flip Attack with Limited DNN Model Information
Behnam Ghavami, Mani Sadati, Mohammad Shahidzadeh +2
Despite the rising prevalence of deep neural networks (DNNs) in cyber-physical systems, their vulnerability to adversarial bit-flip attacks (BFAs) is a noteworthy concern. This pap…
Automatic High-quality Verilog Assertion Generation through Subtask-Focused Fine-Tuned LLMs and Iterative Prompting
Mohammad Shahidzadeh, Behnam Ghavami, Steve Wilton +1
Formal Property Verification (FPV), using SystemVerilog Assertions (SVA), is crucial for ensuring the completeness of design with respect to the specification. However, writing SVA…
ZOBNN: Zero-Overhead Dependable Design of Binary Neural Networks with Deliberately Quantized Parameters
Behnam Ghavami, Mohammad Shahidzadeh, Lesley Shannon +1
Low-precision weights and activations in deep neural networks (DNNs) outperform their full-precision counterparts in terms of hardware efficiency. When implemented with low-precisi…