Counterexamples in digital system verification, channel coding, and electro-neural interface design
Abstract/Contents
- Abstract
- This thesis contains chapters on several different topics. Chapter 2 explores hardware Trojan detection, by considering attacks that can be implemented when fabrication of the integrated circuits (ICs) is not trusted. Many other works focus on Trojan detection during IC testing or pre-silicon verification, but these cannot detect all attacks. We present a system architecture using randomized error-detection codes, which can detect any hardware Trojan on any digital IC, in real-time, during both testing and system operation in the field. It cannot produce false positives. In addition, it prevents a large variety of reverse-engineering attacks during chip design and fabrication. Chapter 3 explores channel coding a bit further. While channel capacity captures fundamental limits on communication under a transmit energy constraint, it fails to account for processing energy. Using VLSI complexity models from computer science, we analyze total power for regular-LDPC codes and iterative message-passing decoders. This specific code family is selected for analysis, based on its use in many real (wired and wireless) communication standards. We establish many counterexample scenarios, where it is actually more energy-efficient to use uncoded transmission than coding. Some post-layout circuit simulations of decoders help corroborate the theoretical results, at short communication distances on the order of 1m. Chapter 4 presents a proof-of-concept design of an invasive, electro-neural interface for neural recording and information telemetry in some sensory applications. The communication distance required is on the order of 1cm. Yet, even though the power constraints are solely transmit power constraints (unlike the counterexample scenarios of Chapter 3), it is not currently feasible to use capacity-approaching codes due to thermal and area constraints associated with implantation of the sensors in-body. We design a wireless, distributed, modular, and miniaturized opto-electronic system, that easily meets thermal and ocular safety limits. Chapter 5 provides conclusions for each chapter, future work, and a discussion of some follow-up works in the recent literature
Description
Type of resource | text |
---|---|
Form | electronic resource; remote; computer; online resource |
Extent | 1 online resource |
Place | California |
Place | [Stanford, California] |
Publisher | [Stanford University] |
Copyright date | 2020; ©2020 |
Publication date | 2020; 2020 |
Issuance | monographic |
Language | English |
Creators/Contributors
Author | Ganesan, Karthik Krishna |
---|---|
Degree supervisor | Prabhakar, Balaji, 1967- |
Thesis advisor | Prabhakar, Balaji, 1967- |
Thesis advisor | Le, Binh Q. (Binh Quang) |
Thesis advisor | Van Roy, Benjamin |
Degree committee member | Le, Binh Q. (Binh Quang) |
Degree committee member | Van Roy, Benjamin |
Associated with | Stanford University, Department of Electrical Engineering. |
Subjects
Genre | Theses |
---|---|
Genre | Text |
Bibliographic information
Statement of responsibility | Karthik K. Ganesan |
---|---|
Note | Submitted to the Department of Electrical Engineering |
Thesis | Thesis Ph.D. Stanford University 2020 |
Location | electronic resource |
Access conditions
- Copyright
- © 2020 by Karthik Krishna Ganesan
- License
- This work is licensed under a Creative Commons Attribution Non Commercial 3.0 Unported license (CC BY-NC).
Also listed in
Loading usage metrics...