vlogsl: A Strategy Language for Simulation-Based Verification of Hardware

DOI10.1007/978-3-642-19583-9_14zbMath1325.68150OpenAlexW1506635772MaRDI QIDQ5391526

José Meseguer, Michael Katelman

Publication date: 6 April 2011

Published in: Hardware and Software: Verification and Testing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-19583-9_14

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (4)

The rewriting logic semantics project: a progress report ⋮ Twenty years of rewriting logic ⋮ The Rewriting Logic Semantics Project: A Progress Report ⋮ vlogsl

Uses Software

• Haskell
• DART
• SystemVerilog

This page was built for publication: vlogsl: A Strategy Language for Simulation-Based Verification of Hardware