Now showing items 1-6 of 6

    • Design of a Real-Time Embedded Control System for Quantum Computing Experiments 

      Rademacher, Richard (University of Waterloo, 2020-01-27)
      This thesis describes the design of a real-time control system for trapped ion quantum computer experiments. It is framed in the context of the QuantumIon project, a project at the University of Waterloo’s ...
    • 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 ...
    • On Design and Testing of a Spectrometer Based on An FPGA Development Board for use with Optimal Control Theory and High-Q Resonators 

      Casagrande, Steven (University of Waterloo, 2014-02-24)
      Recent developments in quantum information processing have presented new and interesting ways to perform advanced algorithms and improve signal to noise ratios. Examples of these include optimal control theory pulse ...
    • 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 ...

      UWSpace

      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