Eintrag weiter verarbeiten
Verfügbar über Online-Ressource

Design Automation Techniques for Approximation Circuits: Verification, Synthesis and Test

Gespeichert in:

Personen und Körperschaften: Chandrasekharan, Arun (VerfasserIn), Große, Daniel (VerfasserIn), Drechsler, Rolf (VerfasserIn)
Titel: Design Automation Techniques for Approximation Circuits: Verification, Synthesis and Test/ by Arun Chandrasekharan, Daniel Große, Rolf Drechsler
Format: E-Book
Sprache: Englisch
veröffentlicht:
Cham Springer International Publishing 2019
Gesamtaufnahme: SpringerLink
Springer eBook Collection
Schlagwörter:
Systems engineering
Computer science
Circuits and Systems
Electronics
Microprocessors.
Electronic circuits.
Microelectronics.
Quelle: Verbunddaten SWB
LEADER 04732cam a22008412 4500
001 0-1036400131
003 DE-627
005 20220726191825.0
007 cr |||||||||||
008 181105s2019 gw |||||o 00| ||eng c
020 |a 9783319989655  |c Online  |9 978-3-319-98965-5 
024 7 |a 10.1007/978-3-319-98965-5  |2 doi 
035 |a (DE-627)1036400131 
035 |a (DE-576)512551200 
035 |a (DE-599)BVBBV045239233 
035 |a (OCoLC)1077753027 
035 |a (DE-604)BV045239233 
035 |a (DE-He213)978-3-319-98965-5 
035 |a (EBP)061478849 
040 |a DE-627  |b ger  |c DE-627  |e rda 
041 |a eng 
044 |c XA-DE 
050 0 |a TK7888.4 
082 0 |a 621.3815 
084 |a TJFC  |2 thema 
084 |a TJFC  |2 bicssc 
084 |a TEC008010  |2 bisacsh 
100 1 |a Chandrasekharan, Arun  |e VerfasserIn  |0 (DE-627)152765253X  |0 (DE-576)457652535  |4 aut 
245 1 0 |a Design Automation Techniques for Approximation Circuits  |b Verification, Synthesis and Test  |c by Arun Chandrasekharan, Daniel Große, Rolf Drechsler 
264 1 |a Cham  |b Springer International Publishing  |c 2019 
300 |a Online-Ressource (XIX, 130 p. 24 illus., 19 illus. in color, online resource) 
336 |a Text  |b txt  |2 rdacontent 
337 |a Computermedien  |b c  |2 rdamedia 
338 |a Online-Ressource  |b cr  |2 rdacarrier 
490 0 |a SpringerLink  |a Bücher 
490 0 |a Springer eBook Collection 
520 |a 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. Provides a general overview of approximate computing hardware design; Offers a detailed explanation of the formal verification problem for approximate hardware; Explains in detail several algorithms for the synthesis and verification of an approximate hardware; Includes an overview of the post production test for approximation circuits and methodologies to potentially improve the yield of the fabrication process; Uses case studies and experimental results to depict the problem and usefulness of the approach 
520 |a Introduction -- Preliminaries -- Error Metric Computation for Approximate Combinational Circuits -- Formal Verification of Approximate Sequential Circuits -- Synthesis Techniques for Approximation Circuits -- Post-Production Test Strategies for Approximation Circuits -- ProACt: Hardware Architecture for Cross-Layer Approximate Computing -- Conclusions and Outlook -- Index -- References 
650 0 |a Systems engineering 
650 0 |a Computer science 
650 0 |a Circuits and Systems 
650 0 |a Systems engineering 
650 0 |a Computer science 
650 0 |a Electronics 
650 0 |a Electronics 
650 0 |a Microprocessors. 
650 0 |a Electronic circuits. 
650 0 |a Microelectronics. 
700 1 |a Große, Daniel  |e VerfasserIn  |0 (DE-588)136634419  |0 (DE-627)584918828  |0 (DE-576)301120668  |4 aut 
700 1 |a Drechsler, Rolf  |d 1969-  |e VerfasserIn  |0 (DE-588)118011057  |0 (DE-627)079189962  |0 (DE-576)291667074  |4 aut 
776 1 |z 9783319989648 
776 0 8 |i Erscheint auch als  |n Druck-Ausgabe  |z 978-3-319-98964-8 
856 4 0 |u https://doi.org/10.1007/978-3-319-98965-5  |m X:SPRINGER  |x Verlag  |z lizenzpflichtig  |3 Volltext 
856 4 0 |u http://dx.doi.org/10.1007/978-3-319-98965-5  |x Resolving-System  |3 Volltext 
912 |a ZDB-2-ENG  |b 2019 
912 |a ZDB-2-SEB 
912 |a ZDB-2-SXE  |b 2019 
935 |i Blocktest 
951 |a BO 
900 |a Chandrasekharan, A. 
856 4 0 |u https://doi.org/10.1007/978-3-319-98965-5  |9 DE-14 
852 |a DE-14  |x epn:3588573402  |z 2020-02-06T11:11:10Z 
856 4 0 |u https://doi.org/10.1007/978-3-319-98965-5  |9 DE-Ch1 
852 |a DE-Ch1  |x epn:3392117293  |z 2018-11-30T16:10:19Z 
912 |9 DE-105  |a ZDB-2-ENG 
972 |k Campuslizenz 
972 |c EBOOK 
852 |a DE-105  |x epn:3392117366  |z 2018-12-10T12:17:12Z 
975 |o Springer E-Book 
975 |k Elektronischer Volltext - Campuslizenz 
856 4 0 |u https://doi.org/10.1007/978-3-319-98965-5  |9 DE-Zwi2 
852 |a DE-Zwi2  |x epn:339211751X  |z 2018-11-08T17:22:06Z 
980 |a 1036400131  |b 0  |k 1036400131  |o 512551200 
openURL url_ver=Z39.88-2004&ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fvufind.svn.sourceforge.net%3Agenerator&rft.title=Design+Automation+Techniques+for+Approximation+Circuits%3A+Verification%2C+Synthesis+and+Test&rft.date=2019&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=book&rft.btitle=Design+Automation+Techniques+for+Approximation+Circuits%3A+Verification%2C+Synthesis+and+Test&rft.series=SpringerLink+%3B+B%C3%BCcher&rft.au=Chandrasekharan%2C+Arun&rft.pub=Springer+International+Publishing&rft.edition=&rft.isbn=3319989650
SOLR
_version_ 1796700525480116224
author Chandrasekharan, Arun, Große, Daniel, Drechsler, Rolf
author_facet Chandrasekharan, Arun, Große, Daniel, Drechsler, Rolf
author_role aut, aut, aut
author_sort Chandrasekharan, Arun
author_variant a c ac, d g dg, r d rd
callnumber-first T - Technology
callnumber-label TK7888
callnumber-raw TK7888.4
callnumber-search TK7888.4
callnumber-sort TK 47888.4
callnumber-subject TK - Electrical and Nuclear Engineering
collection ZDB-2-ENG, ZDB-2-SEB, ZDB-2-SXE
contents 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. Provides a general overview of approximate computing hardware design; Offers a detailed explanation of the formal verification problem for approximate hardware; Explains in detail several algorithms for the synthesis and verification of an approximate hardware; Includes an overview of the post production test for approximation circuits and methodologies to potentially improve the yield of the fabrication process; Uses case studies and experimental results to depict the problem and usefulness of the approach, Introduction -- Preliminaries -- Error Metric Computation for Approximate Combinational Circuits -- Formal Verification of Approximate Sequential Circuits -- Synthesis Techniques for Approximation Circuits -- Post-Production Test Strategies for Approximation Circuits -- ProACt: Hardware Architecture for Cross-Layer Approximate Computing -- Conclusions and Outlook -- Index -- References
ctrlnum (DE-627)1036400131, (DE-576)512551200, (DE-599)BVBBV045239233, (OCoLC)1077753027, (DE-604)BV045239233, (DE-He213)978-3-319-98965-5, (EBP)061478849
de105_date 2018-12-10T12:17:12Z
dech1_date 2018-11-30T16:10:19Z
dewey-full 621.3815
dewey-hundreds 600 - Technology (Applied sciences)
dewey-ones 621 - Applied physics
dewey-raw 621.3815
dewey-search 621.3815
dewey-sort 3621.3815
dewey-tens 620 - Engineering and allied operations
doi_str_mv 10.1007/978-3-319-98965-5
facet_912a ZDB-2-ENG, ZDB-2-SEB, ZDB-2-SXE
facet_avail Online
finc_class_facet Technik
finc_id_str 0021361607
fincclass_txtF_mv engineering-electrical, engineering-process, technology
format eBook
format_access_txtF_mv Book, E-Book
format_de105 Ebook
format_de14 Book, E-Book
format_de15 Book, E-Book
format_del152 Buch
format_detail_txtF_mv text-online-monograph-independent
format_dezi4 e-Book
format_finc Book, E-Book
format_legacy ElectronicBook
format_legacy_nrw Book, E-Book
format_nrw Book, E-Book
format_strict_txtF_mv E-Book
geogr_code not assigned
geogr_code_person not assigned
id 0-1036400131
illustrated Not Illustrated
imprint Cham, Springer International Publishing, 2019
imprint_str_mv Cham: Springer International Publishing, 2019
institution DE-14, DE-105, DE-Zwi2, DE-Ch1
is_hierarchy_id
is_hierarchy_title
isbn 9783319989655
isbn_isn_mv 9783319989648, 978-3-319-98964-8
kxp_id_str 1036400131
language English
last_indexed 2024-04-18T19:05:43.618Z
local_heading_facet_dezwi2 Systems engineering, Computer science, Circuits and Systems, Electronics, Microprocessors., Electronic circuits., Microelectronics.
marc024a_ct_mv 10.1007/978-3-319-98965-5
marc_error [geogr_code]Unable to make public java.lang.AbstractStringBuilder java.lang.AbstractStringBuilder.append(java.lang.String) accessible: module java.base does not "opens java.lang" to unnamed module @d9403fb
match_str chandrasekharan2019designautomationtechniquesforapproximationcircuitsverificationsynthesisandtest
mega_collection Verbunddaten SWB
misc_de105 EBOOK
names_id_str_mv (DE-627)152765253X, (DE-576)457652535, (DE-588)136634419, (DE-627)584918828, (DE-576)301120668, (DE-588)118011057, (DE-627)079189962, (DE-576)291667074
oclc_num 1077753027
physical Online-Ressource (XIX, 130 p. 24 illus., 19 illus. in color, online resource)
publishDate 2019
publishDateSort 2019
publishPlace Cham
publisher Springer International Publishing
record_format marcfinc
record_id 512551200
recordtype marcfinc
rvk_facet No subject assigned
series2 SpringerLink ; Bücher, Springer eBook Collection
source_id 0
spelling Chandrasekharan, Arun VerfasserIn (DE-627)152765253X (DE-576)457652535 aut, Design Automation Techniques for Approximation Circuits Verification, Synthesis and Test by Arun Chandrasekharan, Daniel Große, Rolf Drechsler, Cham Springer International Publishing 2019, Online-Ressource (XIX, 130 p. 24 illus., 19 illus. in color, online resource), Text txt rdacontent, Computermedien c rdamedia, Online-Ressource cr rdacarrier, SpringerLink Bücher, Springer eBook Collection, 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. Provides a general overview of approximate computing hardware design; Offers a detailed explanation of the formal verification problem for approximate hardware; Explains in detail several algorithms for the synthesis and verification of an approximate hardware; Includes an overview of the post production test for approximation circuits and methodologies to potentially improve the yield of the fabrication process; Uses case studies and experimental results to depict the problem and usefulness of the approach, Introduction -- Preliminaries -- Error Metric Computation for Approximate Combinational Circuits -- Formal Verification of Approximate Sequential Circuits -- Synthesis Techniques for Approximation Circuits -- Post-Production Test Strategies for Approximation Circuits -- ProACt: Hardware Architecture for Cross-Layer Approximate Computing -- Conclusions and Outlook -- Index -- References, Systems engineering, Computer science, Circuits and Systems, Electronics, Microprocessors., Electronic circuits., Microelectronics., Große, Daniel VerfasserIn (DE-588)136634419 (DE-627)584918828 (DE-576)301120668 aut, Drechsler, Rolf 1969- VerfasserIn (DE-588)118011057 (DE-627)079189962 (DE-576)291667074 aut, 9783319989648, Erscheint auch als Druck-Ausgabe 978-3-319-98964-8, https://doi.org/10.1007/978-3-319-98965-5 X:SPRINGER Verlag lizenzpflichtig Volltext, http://dx.doi.org/10.1007/978-3-319-98965-5 Resolving-System Volltext, https://doi.org/10.1007/978-3-319-98965-5 DE-14, DE-14 epn:3588573402 2020-02-06T11:11:10Z, https://doi.org/10.1007/978-3-319-98965-5 DE-Ch1, DE-Ch1 epn:3392117293 2018-11-30T16:10:19Z, DE-105 epn:3392117366 2018-12-10T12:17:12Z, https://doi.org/10.1007/978-3-319-98965-5 DE-Zwi2, DE-Zwi2 epn:339211751X 2018-11-08T17:22:06Z
spellingShingle Chandrasekharan, Arun, Große, Daniel, Drechsler, Rolf, Design Automation Techniques for Approximation Circuits: Verification, Synthesis and Test, 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. Provides a general overview of approximate computing hardware design; Offers a detailed explanation of the formal verification problem for approximate hardware; Explains in detail several algorithms for the synthesis and verification of an approximate hardware; Includes an overview of the post production test for approximation circuits and methodologies to potentially improve the yield of the fabrication process; Uses case studies and experimental results to depict the problem and usefulness of the approach, Introduction -- Preliminaries -- Error Metric Computation for Approximate Combinational Circuits -- Formal Verification of Approximate Sequential Circuits -- Synthesis Techniques for Approximation Circuits -- Post-Production Test Strategies for Approximation Circuits -- ProACt: Hardware Architecture for Cross-Layer Approximate Computing -- Conclusions and Outlook -- Index -- References, Systems engineering, Computer science, Circuits and Systems, Electronics, Microprocessors., Electronic circuits., Microelectronics.
swb_id_str 512551200
title Design Automation Techniques for Approximation Circuits: Verification, Synthesis and Test
title_auth Design Automation Techniques for Approximation Circuits Verification, Synthesis and Test
title_full Design Automation Techniques for Approximation Circuits Verification, Synthesis and Test by Arun Chandrasekharan, Daniel Große, Rolf Drechsler
title_fullStr Design Automation Techniques for Approximation Circuits Verification, Synthesis and Test by Arun Chandrasekharan, Daniel Große, Rolf Drechsler
title_full_unstemmed Design Automation Techniques for Approximation Circuits Verification, Synthesis and Test by Arun Chandrasekharan, Daniel Große, Rolf Drechsler
title_short Design Automation Techniques for Approximation Circuits
title_sort design automation techniques for approximation circuits verification, synthesis and test
title_sub Verification, Synthesis and Test
title_unstemmed Design Automation Techniques for Approximation Circuits: Verification, Synthesis and Test
topic Systems engineering, Computer science, Circuits and Systems, Electronics, Microprocessors., Electronic circuits., Microelectronics.
topic_facet Systems engineering, Computer science, Circuits and Systems, Electronics, Microprocessors., Electronic circuits., Microelectronics.
url https://doi.org/10.1007/978-3-319-98965-5, http://dx.doi.org/10.1007/978-3-319-98965-5
work_keys_str_mv AT chandrasekharanarun designautomationtechniquesforapproximationcircuitsverificationsynthesisandtest, AT großedaniel designautomationtechniquesforapproximationcircuitsverificationsynthesisandtest, AT drechslerrolf designautomationtechniquesforapproximationcircuitsverificationsynthesisandtest