Model checking: a hardware design perspective
type: Item
instance of: scholarly article
title: Model checking: a hardware design perspective
zbMATH Open document ID: 1065.68585
author: Vigyan Singhal
author: Carl P. Pixley
published in: International Journal on Software Tools for Technology Transfer. STTT
publication date: 1999-01-01T00:00:00Z
review text: Current practices in the verification of commercial hardware designs (digital, synchronous, and sequential semiconductors) are described. Recent advances in verification by the mathematical technique called model checking are described, and requirements for the successful application of model checking in commercial design are discussed.
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 68M99
zbMATH DE Number: 1862286
zbMATH Keywords: hardware verification
zbMATH Keywords: model checking
zbMATH Keywords: integrated circuits
zbMATH Keywords: automated mathematical methods
zbMATH Keywords: binary decision diagrams
zbMATH Keywords: formal verification
MaRDI profile type: Publication
full work available at URL: s100090050036
OpenAlex ID: W2003823575
DOI: 10.1007/S100090050036
Recommended article: Programming Languages and Systems
Recommended article: A methodology for hardware verification using compositional model checking
Recommended article: Progress in certifying hardware model checking results
Recommended article: Q2766537
Recommended article: Q3528929
Recommended article: Q4472430
Recommended article: Efficient model checking of hardware using conditioned slicing
description: scientific article; zbMATH DE number 1862286