• Correct low power design transformations for hardware systems 

    Viswanath, Vinod (2013-08)
    We present a generic proof methodology to automatically prove correctness of design transformations introduced at the Register-Transfer Level (RTL) to achieve lower power dissipation in hardware systems. We also introduce ...
  • On the modular verification and design of firewalls 

    Bhattacharya, Hrishikesh (2012-08)
    Firewalls, packet filters placed at the boundary of a network in order to screen incoming packets of traffic (and discard any undesirable packets), are a prominent component of network security. In this dissertation, we ...
  • Systems engineering processes for a student-based design laboratory 

    Garner, Michael Dax (2009-12)
    A student-based university environment for engineering design and development is much different from a product development environment within the aerospace industry. Therefore, a different approach to systems engineering ...
  • Verification of sequential and concurrent libraries 

    Deshmukh, Jyotirmoy Vinay (2010-08)
    The goal of this dissertation is to present new and improved techniques for fully automatic verification of sequential and concurrent software libraries. In most cases, automatic software verification is plagued by ...