# vidavakil/Sphinx_Hierarchical_Formal_Verification

> SPHINX is a design verification tool for asynchronous circuits and systems which has the capability of verifying speed independence and conformance of asynchronous circuits to their specifications. The original source code of this project is reposited as-is on Github. For more information about this project please visit: http://async.usc.edu/index.php/research/8-research/8-sphinx

- **Canonical URL**: https://githubrepo.cloud/repo/vidavakil/Sphinx_Hierarchical_Formal_Verification
- **GitHub Repository**: https://github.com/vidavakil/Sphinx_Hierarchical_Formal_Verification
- **Maintainer / Creator**: https://github.com/vidavakil
- **Discovered On**: Oct 6, 2026

---
*Indexed by GitHubRepo (https://githubrepo.cloud). Real-time open-source discovery & telemetry.*