A light-weight framework for hardware verification

DOI10.1007/S100090100043zbMath0991.68048OpenAlexW376991050WikidataQ126578418 ScholiaQ126578418MaRDI QIDQ5953449

Mark R. Greenstreet, Tarik Ono-Tesfaye, Christoph Kern

Publication date: 23 January 2002

Published in: International Journal on Software Tools for Technology Transfer. STTT (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s100090100043

zbMATH Keywords

verificationswitch-level models

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Computer system organization (68M99)

Uses Software

• PVS
• HOL
• Unnamed Item

This page was built for publication: A light-weight framework for hardware verification