Trace theory for automatic hierarchical verification of speed-independent circuits /

Trace theory for automatic hierarchical verification of speed-independent circuits /

محفوظ في:
التفاصيل البيبلوغرافية
المؤلف الرئيسي: Dill, David L.
التنسيق: كتاب
اللغة:English
منشور في: Cambridge, Mass. : MIT Press, c1989.
سلاسل:ACM distinguished dissertations
الموضوعات:
Switching circuits.
Integrated circuits > Very large scale integration.
Sequential machine theory.
Integrated circuits > Verification.

CARM 1 Store

تفاصيل المقتنيات من CARM 1 Store
رقم الطلب: A2:AJ21E0 C04632
النسخة 1 متاح  أحجز النسخة

مواد مشابهة