HVG
Hardware Verification Group
Toggle navigation
Home
Research
Current Research
Past Research
Publications
Books
Journals
Conference Papers
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
Past Projects:
Formal Probabilistic Analysis
Projects
Formal Dynamic Dependability Analysis using HOL Theorem Proving
Formalization of Normal Random Variables in HOL
CTMC and Queuing Theory
Formal Analysis of Information Flow Using Min-Entropy and Belief Min-Entropy
Formal Probabilistic Analysis of Wireless Sensor Networks
Probabilistic Analysis in the HOL Theorem Prover
Formalization of Discrete-time Markov Chains in HOL
Probabilistic Analysis in the HOL Theorem Prover
Analog and Mixed Signal Analysis
Projects
Variation-Aware Analog Circuits Sizing
Generation of Reduced Analog Circuit Models using Transient Simulation Traces
A Semi-Formal Approach for Analog Circuits Behavioral Properties Verification
Enabling DC Solutions Characterization using a Fuzzy Approach
Modeling and Verification of AMS Designs in Presence of Nonidealities
A Tool for Modeling and Analysis of Analog Circuits
Behavioral Veriļ¬cation of Analog Circuits using Model Order Reduction
A Framework for Noise Analysis and Verification of Analog Circuits
Formal Verification of Optical Systems
Projects
Formalization of Geometrical Optics in HOL
Formal Analysis of Electromagnetic Optics Models in HOL
Formal Analysis of Quantum Optics
Formal Verification of Quantum Circuits
Formal Verification of Cloud Systems
Projects
Formal Verification of Hadoop Schedulers
ATLAS: An Adaptive Failure-Aware Scheduler for Hadoop
Formal Verification of Signal Processing Systems
Projects
Towards Formal Analysis of Photonic Signal Processing Systems
Formal Anlysis of Discrete-Time Linear Systems
FPGA Implementation of a Frequency Domain Equalizer
Verification of DSP Design in HOL
Formal Verification of System-on-Chip
Projects
SystemC TLM Verification
Security Systems Analysis
Projects
Group Key Management Protocols
IP Watermarking Security Techniques