ECE 598
SV
Formal Hardware/SoC Verification
Project Proposals
Ulya Karpuzcu, Xuehai Qian
Verifying performance of a Viterbi Decoder implementation
Jayanand Asok Kumar
Practice
formal verification techniques on real design
Lu Wan
Thread scheduling and synchronization algorithms
Siva Kumar Sastry Hari, Byn Choi
Formal Modeling and Verification of Etherware
Kyoung-Dae Kim
Discovering
System Vulnerabilities Using Model Checking
Long Wang, Gabriela Jacques da Silva
Verifying the absence of race conditions in imperative code
Christopher Rodrigues
Model
Checking a Lightweight, High-Speed, Serial Communications Stack for FPGAs
Matthew Hicks
Verifying fault tolerant Web-Services
Francesco Sorrentino
Automatic Derivation of Hardware
Assertions
Pradeep Ramachandran