112 citations · 165 across the 5 of their papers we have counts for
5 papers
Effective Pre-Silicon Verification of Processor Cores by Breaking the Bounds of Symbolic Quick Error Detection
Karthik Ganesan, Florian Lonsing, Srinivasa Shashank Nuthakki +6
We present a novel approach to pre-silicon verification of processor designs. The purpose of pre-silicon verification is to find logic bugs in a design at an early stage and thus a…
Symbolic QED Pre-silicon Verification for Automotive Microcontroller Cores: Industrial Case Study
Eshan Singh, Keerthikumara Devarajegowda, Sebastian Simon +8
We present an industrial case study that demonstrates the practicality and effectiveness of Symbolic Quick Error Detection (Symbolic QED) in detecting logic design flaws (logic bug…
TPAD: Hardware Trojan Prevention and Detection for Trusted Integrated Circuits
Tony F. Wu, Karthik Ganesan, Yunqing Alexander Hu +3
There are increasing concerns about possible malicious modifications of integrated circuits (ICs) used in critical applications. Such attacks are often referred to as hardware Troj…
On the Total-Power Capacity of Regular-LDPC Codes with Iterative Message-Passing Decoders
Karthik Ganesan, Pulkit Grover, Jan Rabaey +1
Motivated by recently derived fundamental limits on total (transmit + decoding) power for coded communication with VLSI decoders, this paper investigates the scaling behavior of th…
Scale-Invariant Random Spatial Networks
David J. Aldous
Real-world road networks have an approximate scale-invariance property; can one devise mathematical models of random networks whose distributions are {\em exactly} invariant under…