2010 IEEE international high level design validation and test workshop : (HLDVT 2010) : Anaheim, California, USA : 10-12 June 2010. : tutorial on IEEE 1800-2009 systemverilog assertions : Jun 2010, Anaheim, CA.

2010 IEEE international high level design validation and test workshop : (HLDVT 2010) : Anaheim, California, USA : 10-12 June 2010. : tutorial on IEEE 1800-2009 systemverilog assertions : Jun 2010, Anaheim, CA.

Call No. (NDL): M17-11-1661
Bibliographic ID of National Diet Library: 000011133967

Material type: 図書

Author: IEEE International High-Level Design Validation and Test Workshop (15th : 2010 : Anaheim, Calif.)

Publisher: IEEE

Publication date: c2010.

Material Format: Paper

Capacity, size, etc.: 159 p. : ill. ; 27 cm.

NDC: -

View All

Notes on use

Note (General)：: An abstract and papers."Welcome to the 2010 IEEE International High Level Design Validation and Test Workshop, the 15th in a series of events (...) " ...

Search by Bookstore

Bibliographic Record

You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.

Paper

Material Type: 図書
ISBN: 9781424478057
ISSN: 1552-6674
Title: 2010 IEEE international high level design validation and test workshop : (HLDVT 2010) : Anaheim, California, USA : 10-12 June 2010. : tutorial on IEEE 1800-2009 systemverilog assertions : Jun 2010, Anaheim, CA.
Author Heading: IEEE International High-Level Design Validation and Test Workshop (15th : 2010 : Anaheim, Calif.)
Publication, Distribution, etc.: Piscataway : IEEE
Publication Date: c2010.
Publication Date (W3CDTF): 2010
Extent: 159 p. : ill. ; 27 cm.
Place of Publication (Country Code): US
Text Language Code: eng
Subject Heading: Computer software -- Verification -- Congresses.
Microprocessors -- Testing -- Congresses.
Electronic circuits -- Testing -- Congresses.
Electronic digital computers -- Evaluation -- Congresses.
LCC: QA76.76.V47
NDLC: M17
Note (General): An abstract and papers.
"Welcome to the 2010 IEEE International High Level Design Validation and Test Workshop, the 15th in a series of events (...) " -- chairs' welcome message.
Described as "The two-day technical program includes (...) " -- chairs' welcome message.
IEEE cat no CFP10HLD-PRT.
Note (Bibliography): Includes bibliographical references and author index.
Holding library: 国立国会図書館
Call No.: M17-11-1661
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 000011133967
http://id.ndl.go.jp/bib/000011133967
OCLC No.: 692246907
https://www.worldcat.org/oclc/692246907
Bibliographic Record Category (NDL): 215