Project

Glitch Hunting

Principal Investigator

Mark Greenstreet

The University of British Columbia, Canada

Summary

Explore Formal Methods for circuit design problems.