Cover Image

QR Code

Design, Analysis and Test of Logic Circuits Under Uncertainty

Integrated circuits (ICs) increasingly exhibit uncertain characteristics due to soft errors, inherently probabilistic devices, and manufacturing variability. As device technologies scale, these effects can be detrimental to the reliability of logic circuits. To improve future semiconductor designs,...

Full description

Main Authors:	Krishnaswamy, Smita. (Author, http://id.loc.gov/vocabulary/relators/aut), Markov, Igor L. (http://id.loc.gov/vocabulary/relators/aut), Hayes, John P. (http://id.loc.gov/vocabulary/relators/aut)
Corporate Author:	SpringerLink (Online service)
Language:	English
Published:	Dordrecht : Springer Netherlands : Imprint: Springer, 2013.
Edition:	1st ed. 2013.
Series:	Lecture Notes in Electrical Engineering, 115
Subjects:	Electronic circuits. Arithmetic and logic units, Computer. Computer hardware. Computer software—Reusability. Logic design. Computer science—Mathematics. Circuits and Systems. Arithmetic and Logic Structures. Computer Hardware. Performance and Reliability. Logic Design. Symbolic and Algebraic Manipulation.
Online Access:	https://doi.org/10.1007/978-90-481-9644-9

Similar Items

Computer Engineering and Technology 16th National Conference, NCCET 2012, Shanghai, China, August 17-19, 2012, Revised Selected Papers / edited by Weixia Xu, Liquan Xiao, Pingjing Lu, Jinwen Li, Chengyi Zhang.
Published: (2013)

Computer Engineering and Technology 18th CCF Conference, NCCET 2014, Guiyang, China, July 29 -- August 1, 2014. Revised Selected Papers / edited by Weixia Xu, Liquan Xiao, Jinwen Li, Chengyi Zhang, Zhenzhen Zhu.
Published: (2015)

Computer Engineering and Technology 17th National Conference, NCCET 2013, Xining, China, July 20-22, 2013. Revised Selected Papers / edited by Weixia Xu, Liquan Xiao, Chengyi Zhang, Jinwen Li, Liyan Yu.
Published: (2013)

Compressed Data Structures for Strings On Searching and Extracting Strings from Compressed Textual Data / by Rossano Venturini.
by: Venturini, Rossano., et al.
Published: (2014)

Digital Logic for Computing by John Seiffertt.
by: Seiffertt, John., et al.
Published: (2017)

Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 17th International Workshop, PATMOS 2007, Gothenburg, Sweden, September 3-5, 2007, Proceedings / edited by Nadine Azemard, Lars Svensson.
Published: (2007)

Complex Binary Number System Algorithms and Circuits / by Tariq Jamil.
by: Jamil, Tariq., et al.
Published: (2013)

From Variability Tolerance to Approximate Computing in Parallel Integrated Architectures and Accelerators by Abbas Rahimi, Luca Benini, Rajesh K. Gupta.
by: Rahimi, Abbas., et al.
Published: (2017)

Introduction to Logic Circuits & Logic Design with VHDL by Brock J. LaMeres.
by: LaMeres, Brock J., et al.
Published: (2017)

Introduction to Logic Circuits & Logic Design with Verilog by Brock J. LaMeres.
by: LaMeres, Brock J., et al.
Published: (2017)

High-Level Synthesis from Algorithm to Digital Circuit / edited by Philippe Coussy, Adam Morawiec.
Published: (2008)

Fundamentals of Electronic Systems Design by Jens Lienig, Hans Bruemmer.
by: Lienig, Jens., et al.
Published: (2017)

Finite State Machine Logic Synthesis for Complex Programmable Logic Devices by Robert Czerwinski, Dariusz Kania.
by: Czerwinski, Robert., et al.
Published: (2013)

Connectomics in NeuroImaging Second International Workshop, CNI 2018, Held in Conjunction with MICCAI 2018, Granada, Spain, September 20, 2018, Proceedings / edited by Guorong Wu, Islem Rekik, Markus D. Schirmer, Ai Wern Chung, Brent Munsell.
Published: (2018)

Computer Algebra in Scientific Computing 17th International Workshop, CASC 2015, Aachen, Germany, September 14-18, 2015, Proceedings / edited by Vladimir P. Gerdt, Wolfram Koepf, Werner M. Seiler, Evgenii V. Vorozhtsov.
Published: (2015)

Data Driven Treatment Response Assessment and Preterm, Perinatal, and Paediatric Image Analysis First International Workshop, DATRA 2018 and Third International Workshop, PIPPI 2018, Held in Conjunction with MICCAI 2018, Granada, Spain, September 16, 2018, Proceedings / edited by Andrew Melbourne, Roxane Licandro, Matthew DiFranco, Paolo Rota, Melanie Gau, Martin Kampel, Rosalind Aughwane, Pim Moeskops, Ernst Schwartz, Emma Robinson, Antonios Makropoulos.
Published: (2018)

Logica Universalis Towards a General Theory of Logic / edited by Jean-Yves Beziau.
Published: (2007)

Logical Foundations of Computer Science International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings / edited by Sergei Artemov, Anil Nerode.
Published: (2013)

Advances in Computer Systems Architecture 12th Asia-Pacific Conference, ACSAC 2007, Seoul, Korea, August 23-25, 2007, Proceedings / edited by Lynn Choi, Yunheung Paek, Sangyeun Cho.
Published: (2007)

High Performance Embedded Architectures and Compilers Second International Conference, HiPEAC 2007, Ghent, Belgium, January 28-30, 2007. Proceedings / edited by Koen De Bosschere, David Kaeli, Per Stenström, David Whalley, Theo Ungerer.
Published: (2007)

High Performance Embedded Architectures and Compilers Third International Conference, HiPEAC 2008, Göteborg, Sweden, January 27-29, 2008, Proceedings / edited by Per Stenström, Michel Dubois, Manolis Katevenis, Rajiv Gupta, Theo Ungerer.
Published: (2008)

Computational Intelligence in Music, Sound, Art and Design 8th International Conference, EvoMUSART 2019, Held as Part of EvoStar 2019, Leipzig, Germany, April 24–26, 2019, Proceedings / edited by Anikó Ekárt, Antonios Liapis, María Luz Castro Pena.
Published: (2019)

Algorithms and Architectures for Parallel Processing 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings, Part I / edited by Jaideep Vaidya, Jin Li.
Published: (2018)

Logical Foundations of Computer Science International Symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8–11, 2018, Proceedings / edited by Sergei Artemov, Anil Nerode.
Published: (2018)

Combinatorial Algorithms 30th International Workshop, IWOCA 2019, Pisa, Italy, July 23–25, 2019, Proceedings / edited by Charles J. Colbourn, Roberto Grossi, Nadia Pisanti.
Published: (2019)

Graph-Theoretic Concepts in Computer Science 44th International Workshop, WG 2018, Cottbus, Germany, June 27–29, 2018, Proceedings / edited by Andreas Brandstädt, Ekkehard Köhler, Klaus Meer.
Published: (2018)

Algorithms and Architectures for Parallel Processing 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings, Part III / edited by Jaideep Vaidya, Jin Li.
Published: (2018)

Integer Programming and Combinatorial Optimization 20th International Conference, IPCO 2019, Ann Arbor, MI, USA, May 22-24, 2019, Proceedings / edited by Andrea Lodi, Viswanath Nagarajan.
Published: (2019)

Intelligent Computing Theories and Application 15th International Conference, ICIC 2019, Nanchang, China, August 3–6, 2019, Proceedings, Part II / edited by De-Shuang Huang, Kang-Hyun Jo, Zhi-Kai Huang.
Published: (2019)

Computer Vision Systems 11th International Conference, ICVS 2017, Shenzhen, China, July 10-13, 2017, Revised Selected Papers / edited by Ming Liu, Haoyao Chen, Markus Vincze.
Published: (2017)

Graph-Theoretic Concepts in Computer Science 45th International Workshop, WG 2019, Vall de Núria, Spain, June 19–21, 2019, Revised Papers / edited by Ignasi Sau, Dimitrios M. Thilikos.
Published: (2019)

Computer Information Systems and Industrial Management 18th International Conference, CISIM 2019, Belgrade, Serbia, September 19–21, 2019, Proceedings / edited by Khalid Saeed, Rituparna Chaki, Valentina Janev.
Published: (2019)

High Performance Computing for Computational Science - VECPAR 2012 10th International Conference, Kope, Japan, July 17-20, 2012, Revised Selected Papers / edited by Michel Dayde, Osni Marques, Kengo Nakajima.
Published: (2013)

Concise Guide to Formal Methods Theory, Fundamentals and Industry Applications / by Gerard O'Regan.
by: O'Regan, Gerard., et al.
Published: (2017)

Guide to Discrete Mathematics An Accessible Introduction to the History, Theory, Logic and Applications / by Gerard O'Regan.
by: O'Regan, Gerard., et al.
Published: (2016)

Artificial Intelligence and Soft Computing 18th International Conference, ICAISC 2019, Zakopane, Poland, June 16–20, 2019, Proceedings, Part I / edited by Leszek Rutkowski, Rafał Scherer, Marcin Korytkowski, Witold Pedrycz, Ryszard Tadeusiewicz, Jacek M. Zurada.
Published: (2019)

Advances in Swarm Intelligence 10th International Conference, ICSI 2019, Chiang Mai, Thailand, July 26–30, 2019, Proceedings, Part II / edited by Ying Tan, Yuhui Shi, Ben Niu.
Published: (2019)

Advances in Swarm Intelligence 10th International Conference, ICSI 2019, Chiang Mai, Thailand, July 26–30, 2019, Proceedings, Part I / edited by Ying Tan, Yuhui Shi, Ben Niu.
Published: (2019)

Computational Pathology and Ophthalmic Medical Image Analysis First International Workshop, COMPAY 2018, and 5th International Workshop, OMIA 2018, Held in Conjunction with MICCAI 2018, Granada, Spain, September 16 - 20, 2018, Proceedings / edited by Danail Stoyanov, Zeike Taylor, Francesco Ciompi, Yanwu Xu, Anne Martel, Lena Maier-Hein, Nasir Rajpoot, Jeroen van der Laak, Mitko Veta, Stephen McKenna, David Snead, Emanuele Trucco, Mona K. Garvin, Xin Jan Chen, Hrvoje Bogunovic.
Published: (2018)

Computer Science – Theory and Applications 14th International Computer Science Symposium in Russia, CSR 2019, Novosibirsk, Russia, July 1–5, 2019, Proceedings / edited by René van Bevern, Gregory Kucherov.
Published: (2019)