Cover Image

Abstraction refinement for large scale model checking /

Bibliographic Details
Main Author: Wang, Chao
Corporate Author: SpringerLink (Online service)
Other Authors: Hachtel, Gary D., Somenzi, Fabio
Format: eBook
Language:English
Published: New York : Springer, [2006]
Series:Series on integrated circuits and systems.
Subjects:
Computer systems > Verification > Mathematical models.
Electronic systems > Verification > Mathematical models.
Integrated circuits > Verification > Mathematical models.
Integrated circuits > Very large scale integration > Design > Data processing.
Electronic books.
Online Access:Connect to the full text of this electronic book
Description
Item Description:Electronic resource.
Physical Description:xiv, 179 pages : illustrations ; 25 cm.
Bibliography:Includes bibliographical references and index.
ISBN:0387346007
9780387346007
DOI:10.1007/0-387-34600-7