73 citations · 123 across the 4 of their papers we have counts for
Showing 2018Show all
2 papers · 1 filter
cs.CR2018★ 73 cited
Functional Analysis Attacks on Logic Locking
Deepak Sirone, Pramod Subramanyan
Logic locking refers to a set of techniques that can protect integrated circuits (ICs) from counterfeiting, piracy and malicious functionality changes by an untrusted foundry. It a…
cs.AR2018★ 48 cited
Instruction-Level Abstraction (ILA): A Uniform Specification for System-on-Chip (SoC) Verification
Bo-Yuan Huang, Hongce Zhang, Pramod Subramanyan +3
Modern Systems-on-Chip (SoC) designs are increasingly heterogeneous and contain specialized semi-programmable accelerators in addition to programmable processors. In contrast to th…