VLSI and Circuits, Embedded and Hardware Systems Commons^™

Analysis And Verification Of Arithmetic Circuits Using Computer Algebra Approach, Tiankai Su

Doctoral Dissertations

Despite a considerable progress in verification of random and control logic, advances in formal verification of arithmetic designs have been lagging. This can be attributed mostly to the difficulty of efficient modeling of arithmetic circuits and data paths without resorting to computationally expensive Boolean methods, such as Binary Decision Diagrams (BDDs) and Boolean Satisfiability (SAT) that require ``bit blasting'', i.e., flattening the design to a bit-level netlist. Similarly, approaches that rely on computer algebra and Satisfiability Modulo Theories (SMT) methods are either too abstract to handle the bit-level complexity of arithmetic designs or require solving computationally expensive decision or satisfiability …

Trustworthy Systems And Protocols For The Internet Of Things, Arman Pouraghily

Doctoral Dissertations

Processor-based embedded systems are integrated into many aspects of everyday life such as industrial control, automotive systems, healthcare, the Internet of Things, etc. As Moore’s law progresses, these embedded systems have moved from simple microcontrollers to full-scale embedded computing systems with multiple processor cores and operating systems support. At the same time, the security of these devices has also become a key concern. Our main focus in this work is the security and privacy of the embedded systems used in IoT systems. In the first part of this work, we take a look at the security of embedded systems from …

Design Of Hardware With Quantifiable Security Against Reverse Engineering, Shahrzad Keshavarz

Doctoral Dissertations

Semiconductors are a 412 billion dollar industry and integrated circuits take on important roles in human life, from everyday use in smart-devices to critical applications like healthcare and aviation. Saving today's hardware systems from attackers can be a huge concern considering the budget spent on designing these chips and the sensitive information they may contain. In particular, after fabrication, the chip can be subject to a malicious reverse engineer that tries to invasively figure out the function of the chip or other sensitive data. Subsequent to an attack, a system can be subject to cloning, counterfeiting, or IP theft. This …

Efficient Hardware Primitives For Securing Lightweight Systems, Siva Nishok Dhanuskodi

Doctoral Dissertations

In the era of IoT and ubiquitous computing, the collection and communication of sensitive data is increasingly being handled by lightweight Integrated Circuits. Efficient hardware implementations of crytographic primitives for resource constrained applications have become critical, especially block ciphers which perform fundamental operations such as encryption, decryption, and even hashing. We study the efficiency of block ciphers under different implementation styles. For low latency applications that use unrolled block cipher implementations, we design a glitch filter to reduce energy consumption. For lightweight applications, we design a novel architecture for the widely used AES cipher. The design eliminates inefficiencies in data …

Kettlebell Ultra, Elissa Peters, Kathryn Wegman, Daniel Basch, Mason Pastorius

Williams Honors College, Honors Research Projects

This project will consist of an attachment to an average kettlebell that will track the number of repetitions that the user has performed. The device will send this data over Bluetooth to a smart phone application so the user can track their workout accurately.

E-Z Door: Hands-Free Front Door Unlocking And Opening Mechanism, Caleb Dyck

Williams Honors College, Honors Research Projects

The E-Z Door Senior Design project is a project with the aim of designing a hands-free system to unlock and open the front door of a home using two-factor security authentication.

The main goal of this project is to help people who may have physical limitations to be able to take advantage of recent technology, making it significantly easier to enter their homes.

Sensor Fusion And Non-Linear Mpc Controller Development Studies For Intelligent Autonomous Vehicular Systems, Ahammad Basha Dudekula

Dissertations, Master's Theses and Master's Reports

The demand for safety and fuel efficiency on ground vehicles and advancement in embedded systems created the opportunity to develop Autonomous controller. The present thesis work is three fold and it encompasses all elements that are required to prototype the autonomous intelligent system including simulation, state handling and real time implementation. The Autonomous vehicle operation is mainly dependent upon accurate state estimation and thus a major concern of implementing the autonomous navigation is obtaining robust and accurate data from sensors. This is especially true, in case of Inertial Measurement Unit (IMU) sensor data. The IMU consists of a 3-axis gyro, …

Zips Racing Electric Can Communications, Andrew Jordan, Adam Long, Susanah Kowalewski, Rami Nehme

Williams Honors College, Honors Research Projects

The CAN protocol has been a standard of electronic communication networks of automotive vehicles since the early 2000s due to its robust reliability in harsh environments. For the 2020 competition year, the Zips Racing Electric design team will be building an entirely new, fully-electric vehicle with CAN communication implemented rather than communicating via pure analog signals. Hardware and software can be utilized to read analog electrical signals from a source, such as accelerator and brake sensors, and encode them into a digital message that meets the CAN 2.0B communication protocol standard. Likewise, software can be used to extract data from …

Smart Collar, Gretchen T. Woodling, Sean Moran, Justen Bischoff, Jacob Sindelar

Williams Honors College, Honors Research Projects

The Smart Collar is a universal pet tracker, designed to be small and exceedingly comfortable for any pet to wear. GPS technology is used to locate the device, allowing the user to track their pet, via a smart phone application. This application can be used to program the device, view maps of their pet’s location and history of travel. Operating primarily on Long Range Wide Area Network (LoRaWAN) for data transfer, the device consumes very little power, allowing for several days of run-time per charge of the battery. Boasting no monthly service fees, The Smart Collar provides pet owner’s an …

Digital, Automated Reactive Target System, Nicholas Haas, Saipranay Vellala, Trandon Ware, Thomas Martin

Williams Honors College, Honors Research Projects

In this era, technology is woven into almost every facet of our leisure activities. Although technology has innovated hobbies ranging from chess to soccer, the art of shooting has been neglected. Unnecessary insufficiency such as bullet ricochets off of mechanical steel targets, ineffective progress tracking, and general inaccessibility to outdoor training facilities are all improvable areas of this sport. The Dynamic Automated Reactive Target (D.A.R.T) System aims to fill some of these gaps and help modernize recreational marksmanship. Modeling the system after a dueling tree will optimize the use of the system and allow for different training models to challenge …

Resource Efficient Design Of Quantum Circuits For Cryptanalysis And Scientific Computing Applications, Edgard Munoz-Coreas

Theses and Dissertations--Electrical and Computer Engineering

Quantum computers offer the potential to extend our abilities to tackle computational problems in fields such as number theory, encryption, search and scientific computation. Up to a superpolynomial speedup has been reported for quantum algorithms in these areas. Motivated by the promise of faster computations, the development of quantum machines has caught the attention of both academics and industry researchers. Quantum machines are now at sizes where implementations of quantum algorithms or their components are now becoming possible. In order to implement quantum algorithms on quantum machines, resource efficient circuits and functional blocks must be designed. In this work, we …

Systematic Model-Based Design Assurance And Property-Based Fault Injection For Safety Critical Digital Systems, Athira Varma Jayakumar

Theses and Dissertations

With advances in sensing, wireless communications, computing, control, and automation technologies, we are witnessing the rapid uptake of Cyber-Physical Systems across many applications including connected vehicles, healthcare, energy, manufacturing, smart homes etc. Many of these applications are safety-critical in nature and they depend on the correct and safe execution of software and hardware that are intrinsically subject to faults. These faults can be design faults (Software Faults, Specification faults, etc.) or physically occurring faults (hardware failures, Single-event-upsets, etc.). Both types of faults must be addressed during the design and development of these critical systems. Several safety-critical industries have widely adopted …

Bibliometric Review Of Noc Router Optimization, Priti Shahane, Jayshree Pande

Library Philosophy and Practice (e-journal)

Network on chip (NoC) has been proposed as an emerging solution for scalability and performance demands of next generation System on Chip (SoC). NoC provides a solution for the bus based interconnection issue of SoC, where large numbers of Intellectual Property modules (IP) are integrated on a single chip for better performance. The NoC has several advantages such as scalability, low latency and low power consumption, high bandwidth over dedicated wires and buses. Interconnections between multiple chip cores have a significant impact on the communication and performance of the chip design in terms of region, latency, throughput and power. In …

High-Performance Spectral Methods For Computer-Aided Design Of Integrated Circuits, Zhiqiang Zhao

Dissertations, Master's Theses and Master's Reports

Recent research shows that by leveraging the key spectral properties of eigenvalues and eigenvectors of graph Laplacians, more efficient algorithms can be developed for tackling many graph-related computing tasks. In this dissertation, spectral methods are utilized for achieving faster algorithms in the applications of very-large-scale integration (VLSI) computer-aided design (CAD)

First, a scalable algorithmic framework is proposed for effective-resistance preserving spectral reduction of large undirected graphs. The proposed method allows computing much smaller graphs while preserving the key spectral (structural) properties of the original graph. Our framework is built upon the following three key components: a spectrum-preserving node aggregation and …

Evaluation And Analysis Of Null Convention Logic Circuits, John Davis Brady

Graduate Theses and Dissertations

Integrated circuit (IC) designers face many challenges in utilizing state-of-the-art technology nodes, such as the increased effects of process variation on timing analysis and heterogeneous multi-die architectures that span across multiple technologies while simultaneously increasing performance and decreasing power consumption. These challenges provide opportunity for utilization of asynchronous design paradigms due to their inherent flexibility and robustness.

While NULL Convention Logic (NCL) has been implemented in a variety of applications, current literature does not fully encompass the intricacies of NCL power performance across a variety of applications, technology nodes, circuit scale, and voltage scaling, thereby preventing further adoption and utilization …

Demand-Side Load Management Using Single-Phase Residential Static Var Compensators, Muhammad Kamran Latif

Boise State University Theses and Dissertations

Distribution systems are going through a structural transformation from being radially-operated simple systems to becoming more complex networks to operate in the presence of the distributed energy resources (DERs) with significant levels of penetration. It is predicted that the share of electricity generation from DERs will keep increasing as the world is moving away from the power generation involving carbon-emission and towards cleaner energy sources such as solar, wind, and biofuels. However, the unstable behavior of the renewables resources presents challenges to the already existing distribution systems. One such problem is when the distribution feeder experience variable power supply due …

Effect Of Annealing On The Contact Resistance Of Aluminum On A P-Type Substrate, Shrey Shah, George Patrick Watson

Protocols and Reports

Aluminum contacts are widely used to form both ohmic and rectifying contacts. The process to form these contacts involves annealing, thus it is important to study the effect of annealing on the electrical properties of the contacts. Here, we present a way to measure the contact resistance of aluminum contacts formed on a p-type silicon substrate. It was found the contact resistivity decreased by an average of 18%. It was thus found that annealing at 400°C in a forming gas environment improves the electrical properties of aluminum contacts.

Algorithms And Circuits For Analog-Digital Hybrid Multibeam Arrays, Paboda Viduneth A. Beruwawela Pathiranage

FIU Electronic Theses and Dissertations

Fifth generation (5G) and beyond wireless communication systems will rely heavily on larger antenna arrays combined with beamforming to mitigate the high free-space path-loss that prevails in millimeter-wave (mmW) and above frequencies. Sharp beams that can support wide bandwidths are desired both at the transmitter and the receiver to leverage the glut of bandwidth available at these frequency bands. Further, multiple simultaneous sharp beams are imperative for such systems to exploit mmW/sub-THz wireless channels using multiple reflected paths simultaneously. Therefore, multibeam antenna arrays that can support wider bandwidths are a key enabler for 5G and beyond systems.

In general, N- …

Continuous-Time Algorithms And Analog Integrated Circuits For Solving Partial Differential Equations, Nilan Udayanga Galabada Kankanamge

FIU Electronic Theses and Dissertations

Analog computing (AC) was the predominant form of computing up to the end of World War II. The invention of digital computers (DCs) followed by developments in transistors and thereafter integrated circuits (IC), has led to exponential growth in DCs over the last few decades, making ACs a largely forgotten concept. However, as described by the impending slow-down of Moore’s law, the performance of DCs is no longer improving exponentially, as DCs are approaching clock speed, power dissipation, and transistor density limits. This research explores the possibility of employing AC concepts, albeit using modern IC technologies at radio frequency (RF) …

Edge Iot Driven Framework For Experimental Investigation And Computational Modeling Of Integrated Food, Energy, And Water System, Yemeserach Taye Mekonnen

FIU Electronic Theses and Dissertations

As the global population soars from today’s 7.3 billion to an estimated 10 billion by 2050, the demand for Food, Energy, and Water (FEW) resources is expected to more than double. Such a sharp increase in demand for FEW resources will undoubtedly be one of the biggest global challenges. The management of food, energy, water for smart, sustainable cities involves a multi-scale problem. The interactions of these three dynamic infrastructures require a robust mathematical framework for analysis. Two critical solutions for this challenge are focused on technology innovation on systems that integrate food-energy-water and computational models that can quantify the …