ردیابی تئوری برای تایید خودکار سلسله مراتبی از مدارهای مستقل سرعت
Trace Theory for Automatic Hierarchical Verification of Speed-Independent Circuits
نویسنده: David L. Dill
ناشر: MIT Press
سال انتشار: 1989
تعداد صفحات: 172
زبان: English
فرمت: pdf - قابل تبدیل به سایر فرمت ها
حجم فایل: 40 مگابایت