عنوان
پدید آورنده
موضوع
رده
TK7885.7
TK7885
.
7
کتابخانه
محل استقرار
شابک
شابک
9781461473244 (electronic bk.)
شماره کتابشناسی ملی
کد کشور
IR
شماره
313018
زبان اثر
زبان متن نوشتاري يا گفتاري و مانند آن
انگلیسی
کشور محل نشر یا تولید
کشور محل نشر
IR
عنوان و نام پديدآور
عنوان اصلي
SystemVerilog assertions and functional coverage :guide to language, methodology and applications
نام عام مواد
[Electronic]
نام نخستين پديدآور
/ Ashok B. Mehta
مشخصات ظاهری
نام خاص و کميت اثر
1 online resource (xxxiii, 356 pages)
ساير جزييات
: illustrations
یادداشتهای مربوط به کتابنامه ، واژه نامه و نمایه های داخل اثر
متن يادداشت
Includes index
یادداشتهای مربوط به مندرجات
متن يادداشت
Introduction -- System Verilog Assertions -- Immediate Assertions -- Concurrent Assertions Basics (sequence, property, assert).- Sampled Value Functions $rose, $fell -- Operators -- System Functions and Tasks -- Multiple clocks -- Local Variables -- Recursive property -- Detecting and using endpoint of a sequence -- expect -- assume and formal (static functional) verification -- Other important topics -- Asynchronous Assertions !!! -- IEEE-1800 2009 Features -- SystemVerilog Assertions LABs -- System Verilog Assertions LAB Answers -- Functional Coverage -- Performance Implications of coverage methodology -- Coverage Options (Reference material)
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Verilog (Computer hardware description language)
موضوع مستند نشده
Electronic digital computers -- Design and construction
موضوع مستند نشده
Integrated circuits -- Verification
موضوع مستند نشده
Engineering
موضوع مستند نشده
Circuits and Systems
موضوع مستند نشده
Electronics and Microelectronics, Instrumentation
موضوع مستند نشده
Processor Architectures
رده بندی ديویی
شماره
621
.
39/2
رده بندی کنگره
شماره رده
TK7885
.
7
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام اشخاص تاييد نشده
Mehta, Ashok B., author
مبدا اصلی
کشور
ایران
سازمان
Central Library of the University of Kurdistan
شماره دستیابی
شماره بازیابی
621.39/2
دسترسی و محل الکترونیکی
تاريخ و ساعت مذاکره و دسترسي
F552C2CF-E990-4189-B7EB-F29DC26D123D.pdf
وضعیت فهرست نویسی
وضعیت فهرست نویسی
old catalog
وضعیت انتشار
فرمت انتشار
e
اطلاعات رکورد کتابشناسی
نوع ماده
BL
پیشوند ISBD اعمال شده است
1
اطلاعات دسترسی رکورد
سطح دسترسي
a
تكميل شده
Y
