عنوان
پدید آورنده
موضوع
رده
TK 7874.58 .P69 2010
TK
7874
.
58
.
P69
2010
کتابخانه
محل استقرار
شناسگر استاندارد دیگر
شماره استاندارد
1968
عنوان و نام پديدآور
عنوان اصلي
The power of assertions in SystemVerilog
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
New York ;London
نام ناشر، پخش کننده و غيره
Springer
تاریخ نشرو بخش و غیره
2010
مشخصات ظاهری
نام خاص و کميت اثر
xvi, 544 p. , 24 cm.
يادداشت کلی
متن يادداشت
Includes bibliographical references and index.
یادداشتهای مربوط به مندرجات
متن يادداشت
Pt. 1. Opening -- pt. 2. Assertions -- pt. 3. Checkers and assertion libraries.
موضوع (اسم عام یاعبارت اسمی عام)
عنصر شناسه ای
، Verilog )Computer hardware description language(
عنصر شناسه ای
، Integrated circuits, Verification, Data processing
رده بندی ديویی
شماره
621
.
381548
رده بندی کنگره
شماره رده
TK
7874
.
58
.
P69
2010
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
کد نقش
TI
عنصر شناسه اي
Eduard Cerny ... ]et al.[
نام / عنوان به منزله شناسه افزوده
عنصر شناسه اي
AU .draudE ,ynreC
شماره دستیابی
نحوه قرار گرفتن مدرك روي قفسه
ل‌ا‌ه دیجیت‌ان‌ابخ‌کت
