Browsing Engineering (Faculty of) by Subject "fpga"

Now showing items 1-4 of 4

Design of SRAM Based Dosimetry Used for Neutron and Proton Detection

Jiang, Kai (University of Waterloo, 2020-04-27)

Radiation causes soft errors in memory devices, and a variety of research has been focused on techniques to reduce these soft errors. In this thesis, instead of mitigating soft errors, we present an SRAM based dosimeter ...
FPGA Based Ultrasonic Non-Destructive Testing

Madhavan, Pramoth Varsan (University of Waterloo, 2022-05-05)

In this research, a prototype of an ultrasonic testing device was developed based on a field-programmable gate array for ultrasonic testing. Ultrasound is a mechanical wave that is generated by a vibrating object and ...
HopliteBuf FPGA Network-on-Chip: Architecture and Analysis

Garg, Tushar (University of Waterloo, 2019-04-22)

We can prove occupancy bounds of stall-free FIFOs used in deflection-free, low-cost, and high-speed FPGA overlay Network-on-chips (NoCs). In our work, we build on top of the HopliteRT livelock-free overlay NoC with an ...
Verification of Pipelined Ciphers

Lam, Chiu Hong (University of Waterloo, 2009-01-29)

The purpose of this thesis is to explore the formal verification technique of completion functions and equivalence checking by verifying two pipelined cryptographic circuits, KASUMI and WG ciphers. Most of current methods ...