توضیحات
This book describes reliable and efficient design automation techniques for the design and implementation of an approximate computing system. The authors address the important facets of approximate computing hardware design – from formal verification and error guarantees to synthesis and test of approximation systems. They provide algorithms and methodologies based on classical formal verification, synthesis and test techniques for an approximate computing IC design flow. This is one of the first books in Approximate Computing that addresses the design automation aspects, aiming for not only sketching the possibility, but providing a comprehensive overview of different tasks and especially how they can be implemented.
————————————————————–
ترجمه ماشینی :
این کتاب تکنیک های اتوماسیون طراحی قابل اعتماد و کارآمد را برای طراحی و پیاده سازی یک سیستم محاسباتی تقریبی توصیف می کند. نویسندگان به جنبههای مهم طراحی سختافزار محاسباتی تقریبی میپردازند – از تأیید رسمی و ضمانتهای خطا تا سنتز و آزمایش سیستمهای تقریب. آنها الگوریتمها و روشهای مبتنی بر تأیید رسمی کلاسیک، سنتز و تکنیکهای آزمایشی را برای جریان طراحی تقریبی IC محاسباتی ارائه میکنند. این یکی از اولین کتابهایی در محاسبات تقریبی است که به جنبههای اتوماسیون طراحی میپردازد، با هدف نه تنها ترسیم امکان، بلکه ارائه یک نمای کلی جامع از وظایف مختلف و به ویژه نحوه اجرای آنها.
tag : دانلود کتاب مدارهای تقریبی – متدولوژی ها و CAD , Download مدارهای تقریبی – متدولوژی ها و CAD , دانلود مدارهای تقریبی – متدولوژی ها و CAD , Download Approximate Circuits – Methodologies and CAD Book , مدارهای تقریبی – متدولوژی ها و CAD دانلود , buy مدارهای تقریبی – متدولوژی ها و CAD , خرید کتاب مدارهای تقریبی – متدولوژی ها و CAD , دانلود کتاب Approximate Circuits – Methodologies and CAD , کتاب Approximate Circuits – Methodologies and CAD , دانلود Approximate Circuits – Methodologies and CAD , خرید Approximate Circuits – Methodologies and CAD , خرید کتاب Approximate Circuits – Methodologies and CAD ,
نقد و بررسیها
هنوز بررسیای ثبت نشده است.