Lava
From MaRDI portal
Software:40357
swMATH28643MaRDI QIDQ40357FDOQ40357
Author name not available (Why is that?)
Cited In (11)
- Coquet: a Coq library for verifying hardware
- Semantics of value recursion for Monadic Input/Output
- A novel formalization of symbolic trajectory evaluation semantics in Isabelle/HOL
- A hardware independent parallel programming model
- Combining deep and shallow embedding of domain-specific languages
- \(\Pi\)-Ware: hardware description and verification in Agda
- Verification of FPGA layout generators in higher-order logic
- A formal equational theory for call-by-push-value
- Traced Premonoidal Categories
- A language for hierarchical data parallel design-space exploration on GPUs
- Proof producing synthesis of arithmetic and cryptographic hardware
This page was built for software: Lava
