النتائج 1 إلى 2 من 2

الموضوع: Hardware Design Verification : Simulation and Formal Method-Based Approaches (Prentic

  1. #1
    عضو فى رابطة مهندسى الكهرباء العرب
    تاريخ التسجيل
    May 2007
    الدولة
    b.ghazy
    المشاركات
    286

    Post Hardware Design Verification : Simulation and Formal Method-Based Approaches (Prentic

    السلام عليكم ورحمة الله وبركاته

    اللهم أجزِ عنا محمداً ما هو اهلُة

    Hardware Design Verification : Simulation and Formal Method-Based Approaches (Prentice Hall Modern Semiconductor Design Series)
    Author: William K. Lam
    Publisher: Prentice Hall PTR
    Publication Date: 2005-03-03
    Number Of Pages: 624




    Summary:
    From the Back Cover

    The Practical, Start-to-Finish Guide to Modern Digital Design Verification

    As digital logic designs grow larger and more complex, functional verification has become the number one bottleneck in the design process. Reducing verification time is crucial to project success, yet many practicing engineers have had little formal training in verification, and little exposure to the newest solutions. Hardware Design Verification systematically presents today's most valuable simulation-based and formal verification techniques, helping test and design engineers choose the best approach for each project, quickly gain confidence in their designs, and move into fabrication far more rapidly. College students will find that coverage of verification principles and common industry practices will help them prepare for jobs as future verification engineers.

    Author William K. Lam, one of the world's leading experts in design verification, is a recent winner of the Chairman's Award for Innovation, Sun Microsystems' most prestigious technical achievement award. Drawing on his wide-ranging experience, he introduces the foundational principles of verification, presents traditional techniques that have survived the test of time, and introduces emerging techniques for today's most challenging designs. Throughout, Lam emphasizes practical examples rather than mathematical proofs; wherever advanced math is essential, he explains it clearly and accessibly.


    http://rapidshare.com/files/9686896/...0131433474.rar

    http://mihd.net/xhedri

    http://file2upload.com/file/2916/har...33474.rar.html



    لكي تحملوا من http://mihd.net/
    اولا انقر على Request download link
    ثانيا انقر على download file



  2. #2
    V.I.P Member الصورة الرمزية عصمت عدلان
    تاريخ التسجيل
    Jan 2007
    الدولة
    saudi arabia
    المشاركات
    590

    رد: Hardware Design Verification : Simulation and Formal Method-Based Approaches (Pre

    الكتاب غير موجود على المواقع الثلاثة المذكورة نأمل إعادة الرفع ويا حبذا على المنتدى مع الشكر

معلومات الموضوع

الأعضاء الذين يشاهدون هذا الموضوع

الذين يشاهدون الموضوع الآن: 1 (0 من الأعضاء و 1 زائر)

المواضيع المتشابهه

  1. Economic Dispatch by Biogeography Based Optimization Method
    بواسطة زكريا محمد جعفر في المنتدى قسم محطات التوليد و أنظمة التشغيل و التحكم Power Plants
    مشاركات: 2
    آخر مشاركة: 16-06-15, 08:39 AM
  2. POWER SYSTEM RELIABILITY USING MONTE CARLO SIMULATION METHOD
    بواسطة م / محمد سرتى في المنتدى مكتبة الأبحاث العلمية Technical paper
    مشاركات: 5
    آخر مشاركة: 04-08-13, 12:03 AM
  3. كتاب embedded controller hardware design
    بواسطة Zaher Bassam في المنتدى مكتبة قسم الألكترونيات و الأتصالات
    مشاركات: 3
    آخر مشاركة: 30-05-10, 09:31 AM
  4. HARDWARE ELECTRONIC DESIGN
    بواسطة saleh abu hussein في المنتدى قسم تصميم أنظمة التيار الخفيف light current systems
    مشاركات: 0
    آخر مشاركة: 16-06-09, 08:55 PM
  5. Simulation-based Algorithms for Markov Decision Processes
    بواسطة محمد فوزى أحمد في المنتدى قسم الألكترونيات الصناعية و التحكم فى الآلآت الكهربية
    مشاركات: 1
    آخر مشاركة: 02-10-07, 12:04 AM

الكلمات الدلالية لهذا الموضوع

المفضلات

المفضلات

ضوابط المشاركة

  • لا تستطيع إضافة مواضيع جديدة
  • لا تستطيع الرد على المواضيع
  • لا تستطيع إرفاق ملفات
  • لا تستطيع تعديل مشاركاتك
  •  
 

 

 

Flag Counter