Systemverilog for Verification

DOI10.1007/B138536zbMath1100.68069OpenAlexW177076119MaRDI QIDQ5488487

Chris Spear

Publication date: 22 September 2006

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

zbMATH Keywords

interfacesarray types

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Specification and verification (program logics, model checking, etc.) (68Q60)

This page was built for publication: Systemverilog for Verification