عنوان
پدید آورنده
موضوع
رده
E-Book ,
E-Book
,
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
:9781402085857
NATIONAL BIBLIOGRAPHY NUMBER
Number
42385
LANGUAGE OF THE ITEM
.Language of Text, Soundtrack etc
انگلیسی
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Generating Hardware Assertion Checkers
General Material Designation
[Electronic book]
Other Title Information
: For Hardware Verification, Emulation, Post-Fabrication Debugging and On-Line Monitoring
First Statement of Responsibility
\ Marc Boulé, Zeljko Zilic
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
[New York?]
Name of Publisher, Distributor, etc.
: Springer
Date of Publication, Distribution, etc.
, 2008
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
xx, 279 p
INTERNAL BIBLIOGRAPHIES/INDEXES NOTE
Text of Note
Index
Text of Note
Bibliography
TOPICAL NAME USED AS SUBJECT
Integrated circuits -- Very large scale integration -- Computer-aided design.
Integrated circuits -- Verification.
مدارهای مجتمع -- مجتمعسازی در مقیاس بسیار بزرگ -- طراحی به کمک کامپیوتر
مدارهای مجتمع -- راستیآزمایی
LIBRARY OF CONGRESS CLASSIFICATION
E-Book
,
PERSONAL NAME - PRIMARY RESPONSIBILITY
Boulé, Marc, 1974-
PERSONAL NAME - ALTERNATIVE RESPONSIBILITY
Zilic, Zeljko.
ELECTRONIC LOCATION AND ACCESS
Date and Hour of Consultation and Access
9781402085857.pdf
BL
278840
1
