# pmundkur/Bluespec_BSV_Formal_Semantics

> Formal semantics of BSV (Bluespec SystemVerilog), given as a Haskell Program and accompanying document

- **Canonical URL**: https://githubrepo.cloud/repo/pmundkur/Bluespec_BSV_Formal_Semantics
- **GitHub Repository**: https://github.com/pmundkur/Bluespec_BSV_Formal_Semantics
- **Maintainer / Creator**: https://github.com/pmundkur
- **Discovered On**: Oct 20, 2026

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