دسترسی همگانی(OPAC) نام کتابخانه در اوپک

Hardware Design Verification (2005) / Lam ، William K، نویسنده

نوع مدرک:	برنامه‌ها و فایلهای کامپیوتری
سرشناسه	Lam ، William K، نویسنده
عنوان :	Hardware Design Verification : Simulation and Formal Method-Based Approaches
تکرار نام مولف :	Sun Microsystems
ناشر:	بیجا : Prentice Hall PTR
سال نشر :	2005
صفحه شمار:	624
مندرجات	1. An Invitation to Design Verification 2. Coding for Verification 3. Simulator Architectures and Operations 4. Test Bench Organization and Design 5. Test Scenarios, Assertions, and Coverage 6. Debugging Process and Verification Cycle 7. Formal Verification Preliminaries 8. Decision Diagrams, Equivalence Checking, and Symbolic Simulation 9. Model Checking and Symbolic Computation
لینک ثابت رکورد:	../opac/index.php?lvl=record_display&id=1539
زبان مدرک :	English

شماره ثبت	شماره بازیابی	نام عام مواد	محل نگهداری	بخش	وضعیت ثبت	وضعیت امانت
فاقد شماره ثبت