Some users are experiencing upload errors at the moment. If you receive a "UWSpace is down for maintenance" error, please email as soon as possible. We are very sorry for the inconvenience.

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 ...


      University of Waterloo Library
      200 University Avenue West
      Waterloo, Ontario, Canada N2L 3G1
      519 888 4883

      All items in UWSpace are protected by copyright, with all rights reserved.

      DSpace software

      Service outages