设计自动化技术在近似电路中的应用：验证、综合和测试

English | PDF,EPUB | 2018 (2019 Edition) | 140 Pages | ISBN : 3319989642 | 9.05 MB

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设计流程的算法与方法论。这是第一本专注于近似计算设计自动化的书籍之一，旨在不仅勾勒可能性，而且还提供了不同任务的全面概述，尤其是它们是如何实现的。

---

Download from free file storage

 Download from upfiles.com  Download from nitroflare.com  Download from userupload.net  Download from rapidgator.net

---

我要反馈

---

本站不对文件进行储存，仅提供文件链接，请自行下载，本站不对文件内容负责，请自行判断文件是否安全，如发现文件有侵权行为，请联系管理员删除。