/vhdlformal

This repository stores the source code of a domain-specific language: a formalized version of VHDL embedded in Isabelle/HOL.

Primary LanguageIsabelleBSD 2-Clause "Simplified" LicenseBSD-2-Clause

Watchers