Special issue: Microprocessor verification

MaRDI QIDQ1606090zbMATH OpenFDO

Authors

Publication date 30 July 2002

Published in Formal Methods in System Design (Search for Journal in Brave)

zbMATH Keywords

Microprocessor verificationSpecial issue

Mathematics Subject Classification ID

Collections of articles of miscellaneous specific interest (00B15) Proceedings, conferences, collections, etc. pertaining to computer science (68-06)

Review text

The articles of this volume will be reviewed individually.

Cited in

(4)

• Special volume: VLSI
• scientific article; zbMATH DE number 53982 (Why is no real title available?)
• scientific article; zbMATH DE number 1973994 (Why is no real title available?)
• Correct Hardware Design and Verification Methods

This page was built for publication: Special issue: Microprocessor verification

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1606090)