دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
ویرایش: 1 نویسندگان: Prof. Dr. Christoph Meinel, Dr. Thorsten Theobald (auth.) سری: ISBN (شابک) : 9783540638698, 9783642587733 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 1998 تعداد صفحات: 284 زبان: German فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 10 مگابایت
کلمات کلیدی مربوط به کتاب الگوریتم ها و ساختارهای داده در طراحی VLSI: OBDD - مبانی و کاربردها: معماری پردازنده، تحلیل الگوریتم و پیچیدگی مسئله، سخت افزار کامپیوتر
در صورت تبدیل فایل کتاب Algorithmen und Datenstrukturen im VLSI-Design: OBDD — Grundlagen und Anwendungen به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب الگوریتم ها و ساختارهای داده در طراحی VLSI: OBDD - مبانی و کاربردها نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
یکی از مشکلات اصلی در طراحی تراشه این است که تعداد ترکیبات اجزای تراشه فردی که باید مدیریت شوند به طور تصاعدی در حال افزایش است. ارتباط بسیار ثمربخشی با حوزه اصلی علم کامپیوتر نظری، حوزه طراحی ساختارهای داده و الگوریتمهای کارآمد، در اینجا ایجاد شده است: مفهوم نمودارهای تصمیمگیری باینری مرتب، که منجر به افزایش قابل توجه عملکرد در پروژه های متعدد CAD نویسندگان اصول این حوزه تحقیقاتی میان رشته ای را ارائه می دهند و کاربردهای مهمی را در طراحی مدار به کمک رایانه پوشش می دهند.
Eines der Hauptprobleme beim Chipentwurf besteht darin, daß die Anzahl der zu bewältigenden Kombinationen der einzelnen Chipbausteine ins Unermeßliche steigt. Hier hat sich eine sehr fruchtbare Verbindung zu einem Kerngebiet der Theoretischen Informatik, dem Gebiet des Entwurfs von Datenstrukturen und effizienten Algorithmen, herstellen lassen: das Konzept der geordneten binären Entscheidungsgraphen, das in zahlreichen CAD-Projekten zu einer beträchtlichen Leistungssteigerung geführt hat. Die Autoren stellen die Grundlagen dieses interdisziplinären Forschungsgebiets dar und behandeln wichtige Anwendungen aus dem rechnergestützten Schaltkreisentwurf.
Front Matter....Pages I-XIII
Einleitung....Pages 1-6
Grundlagen....Pages 7-23
Front Matter....Pages 25-25
Boolesche Funktionen....Pages 27-52
Klassische Darstellungen....Pages 53-79
Anforderungen an Datenstrukturen für die formale Schaltkreisverifikation....Pages 81-91
Front Matter....Pages 93-93
OBDDs — Geordnete binäre Entscheidungsgraphen....Pages 95-110
Effiziente Implementierung von OBDDs....Pages 111-129
Einfluß der Variablenordnung auf die Komplexität von OBDDs....Pages 131-153
Optimierung der Variablenordnung....Pages 155-182
Front Matter....Pages 183-183
Analyse sequentieller Systeme....Pages 185-211
Symbolisches Model Checking....Pages 213-224
Varianten und Erweiterungen von OBDDs....Pages 225-249
Transformationstechniken zur Optimierung....Pages 251-271
Back Matter....Pages 273-285