دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
ویرایش: 1
نویسندگان: Peet James (auth.)
سری:
ISBN (شابک) : 9781461350941, 9781461504733
ناشر: Springer US
سال نشر: 2004
تعداد صفحات: 240
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 17 مگابایت
کلمات کلیدی مربوط به کتاب برنامه های تأیید: استراتژی تأیید پنج روزه برای زبان های تأیید سخت افزار مدرن: مدارها و سیستم ها، سخت افزار کامپیوتر، مهندسی برق، مهندسی به کمک کامپیوتر (CAD، CAE) و طراحی
در صورت تبدیل فایل کتاب Verification Plans: The Five-Day Verification Strategy for Modern Hardware Verification Languages به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب برنامه های تأیید: استراتژی تأیید پنج روزه برای زبان های تأیید سخت افزار مدرن نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
تأیید یک شغل در فرآیند طراحی مودم امروزی است. آمارها به ما می گویند که فرآیند تأیید اکثریت کار کلی را به خود اختصاص می دهد. تراشههایی که پس از ورود مرده برمیگردند فریاد میزنند که تأیید اشتباه در پیدا نکردن اشتباهات است. چگونه موفقیت را تضمین کنیم؟ بعد از یک موفقیت، آیا تا به حال شده است که کسی از شما بپرسد، "آیا شما خوب هستید یا فقط خوش شانس هستید؟"؟ بسیاری از پروژه های طراحی به شانس کور بستگی دارند به این امید که تراشه کار کند. دیگران، فقط قاطعانه بر توانایی های خود تکیه می کنند تا تراشه را به موفقیت برسانند. در هر صورت، چگونه می توانیم بین خوب یا خوش شانس بودن تفاوت قائل شویم؟ باید راه بهتری برای شکست نخوردن وجود داشته باشد. شکست. هیچ کس دوست ندارد شکست بخورد. دیتریش دومر در کتاب خود، "منطق شکست"، استدلال می کند که شکست فقط اتفاق نمی افتد. یک سری گام های سرگردان به فاجعه می انجامد. اغلب این گامهای بیطرف واقعاً گامهای منطقی و تعیینکننده نیستند، بلکه بیشتر شبیه حذفهای پیشفرض هستند. اگر بخواهید، ضد برنامه ریزی، یک رویکرد موقت برای انجام کاری. پس برنامه ریزی نکردن، شکست خوردن است.
Verification isjob one in today's modem design process. Statistics tell us that the verification process takes up a majority of the overall work. Chips that come back dead on arrival scream that verification is at fault for not finding the mistakes. How do we ensure success? After an accomplishment, have you ever had someone ask you, "Are you good or are you just lucky?"? Many design projects depend on blind luck in hopes that the chip will work. Other's, just adamantly rely on their own abilities to bring the chip to success. ill either case, how can we tell the difference between being good or lucky? There must be a better way not to fail. Failure. No one likes to fail. ill his book, "The Logic of Failure", Dietrich Domer argues that failure does not just happen. A series of wayward steps leads to disaster. Often these wayward steps are not really logical, decisive steps, but more like default omissions. Anti-planning if you will, an ad-hoc approach to doing something. To not plan then, is to fail.
Front Matter....Pages i-xxii
Plan, Plan, Plan....Pages 1-10
Shotgun Verification....Pages 11-35
Getting Started....Pages 37-54
Day in The Life....Pages 55-72
Layers and Phases....Pages 73-86
Format....Pages 87-100
Information Extraction....Pages 101-112
Breakout Documents....Pages 113-137
Wrap Up....Pages 139-145
Back Matter....Pages 147-230