vlogsl

swMATH12874MaRDI QIDQ24798FDOQ24798

Author name not available (Why is that?)

Official website: http://link.springer.com/chapter/10.1007/978-3-642-19583-9_14

Described by source

• \texttt{vlogsl}: a strategy language for simulation-based verification of hardware

Cited In (7)

• The rewriting logic semantics project: a progress report
• Twenty years of rewriting logic
• PVeStA
• Dist-Orc
• MOMENT2
• SystemVerilog
• Java+ITP

This page was built for software: vlogsl