HVG
Hardware Verification Group
Toggle navigation
Home
Research
Current Research
Past Research
Applications
Software Tools
Publications
Books
Journals
Conferences
Technical Reports
Theses
People
Professors
Postdoctoral Fellows
PhD Students
Master's Students
Internship Students
Alumni
Adjunct and Visiting Profs
Postdoc Researchers
PhD Students
Master's Students
Internship Students
Laboratories
Events
Invited Talks
Thesis Defences
Social
Applications:
Smart Grids
Reliability Analysis of Smart Grids using Theorem Proving
Optical Devices
Formal Analysis of Geometrical Optics using Theorem Proving
PCI-X Bus
Design for Verification of the PCI-X Standard Bus using AsmL/SystemC
IEEE 802.11a OFDM
Verification of the IEEE 802.11a OFDM Standard
IEEE 754 Floating-Point
Formal Verification of IEEE 754 Floating-Point Arithmetic
LA-1 Look Aside Interface
Formal Verification of the LA-1 Look Aside Interface
Enclaves Security
Formal Verification of Enclaves Security Protocols
PIC 16C71 Microcontroller
Formal Verification of the PIC 16C71 Microcontroller
ATM Switches
Formal Verification of ATM Switches
RCMP Switch Egress
Formal Verification of the RCMP Switch Egress
SCI-PHY Protocol
Formal Verification of the SCI-PHY Protocol
SONET Protocol
Formal Verification of the SONET Protocol