Model checking: a hardware design perspective

DOI10.1007/S100090050036zbMath1065.68585OpenAlexW2003823575MaRDI QIDQ1856178

Vigyan Singhal, Carl P. Pixley

Publication date: 1999

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/s100090050036

zbMATH Keywords

integrated circuitsformal verificationmodel checkingbinary decision diagramshardware verificationautomated mathematical methods

Mathematics Subject Classification ID

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

This page was built for publication: Model checking: a hardware design perspective