Hardware Verification with C++ : A Practitioner’s Handbook
Part I makes the case for C++, and shows a standard verification system using object-oriented programming (OOP). Part II presents two open-source C++ libraries that enable efficient verification with C++ -- Teal, a C++ to Verilog interface, and Truss, a standard verification framework. Part III focuses on OOP with examples from real verification projects. Part IV puts it all together showing complete block-level and system-level verification systems. "The handbook provides a clear understanding of object-oriented programming, and how it applies to hardware verification. It is clear to me that C++, together with Teal and Truss, could form a strong platform for the next generation of hardware verification."
كتب مشابهة
مبنى سكني في مدينة دمشق
يعرض مبنى سكني في مدينة دمشق، مؤلف من كتلة واحدة مركزية مكونة من قبو وعشرة طوابق متكررة مع بروزات في الطوابق المكررة. تم استخدام جملة جدران خرسانية مسلحة خاصة لمقاومة الاحمال الافقية.
دراسة وتصميم برج سكني في مدينة دمشق
يعرض بناء سكني يقع في دمشق، مؤلف من قبو، طابق أرضي و عشرة طوابق متكررة يضم كل طابق أربع شقق سكنية. يتضمن المشروع الدراسة الانشائية والزلزالية وفق الطريقة الحدية بمواصفات المواد المستخدمة في المشروع.
دراسة و تصميم برج سكني في محافظة اللاذقية
دراسة وتصميم برج سكني وفق المعايير الهندسية الحديثة، مع الأخذ بعين الاعتبار العوامل الإنشائية والبيئية. يتناول المشروع تحليل البلاطات والجوائز المستخدمة في البناء، مع دراسة تفصيلية لأنواع البلاطات المصمتة والمفرغة واشتراطاتها البعدية والتسليح اللازم لها. ركز المشروع على تحقيق التوازن بين المتانة والكفاءة الاقتصادية مع مراعاة الاشتراطات الهندسية لضمان سلامة وأمان البرج السكني.
دراسة إنشائية وزلزالية لمبنى برج سكني في مدينة دمشق
يبحث في برج سكني في مدينة دمشق، مؤلف من قبو يضم قسم خدمات وملجأ، طابق أرضي يضم صالات ترفيهية، ثلاثة عشر طابق متكرر تضم شقق سكنية وخزان مياه بيتوني بجانب البناء. تم اعتماد بلاطات مفرغة ذات اتجاه واحد للطوابق المتكررة، بينما تم استخدام بلاطات مصمتة ذات اتجاهين للقبو.
