3 papers
cs.CR2024
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…
cs.AR2024
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…
cs.AI2024
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…