Polynomial Formal Verification of Approximate Functions
Polynomial Formal Verification of Approximate Functions

Author: Martha Schnieber

Publisher: Springer Nature

Published: 2023-08-23

Total Pages: 87

ISBN-13: 3658418885

DOWNLOAD EBOOK

During the development of digital circuits, their functional correctness has to be ensured, for which formal verification methods have been established. However, the verification process using formal methods can have an exponential time or space complexity, causing the verification to fail. While exponential in general, recently it has been proven that the verification complexity of several circuits is polynomially bounded. Martha Schnieber proves the polynomial verifiability of several approximate circuits, which are beneficial in error-tolerant applications, where the circuit approximates the exact function in some cases, while having a lower delay or being more area-efficient. Here, upper bounds for the BDD size and the time and space complexity are provided for the verification of general approximate functions and several state-of-the-art approximate adders.

Orthogonal Polynomials and Special Functions
Orthogonal Polynomials and Special Functions

Author: Francisco Marcellàn

Publisher: Springer Science & Business Media

Published: 2006-06-19

Total Pages: 432

ISBN-13: 3540310622

DOWNLOAD EBOOK

Special functions and orthogonal polynomials in particular have been around for centuries. Can you imagine mathematics without trigonometric functions, the exponential function or polynomials? In the twentieth century the emphasis was on special functions satisfying linear differential equations, but this has now been extended to difference equations, partial differential equations and non-linear differential equations. The present set of lecture notes containes seven chapters about the current state of orthogonal polynomials and special functions and gives a view on open problems and future directions. The topics are: computational methods and software for quadrature and approximation, equilibrium problems in logarithmic potential theory, discrete orthogonal polynomials and convergence of Krylov subspace methods in numerical linear algebra, orthogonal rational functions and matrix orthogonal rational functions, orthogonal polynomials in several variables (Jack polynomials) and separation of variables, a classification of finite families of orthogonal polynomials in Askey’s scheme using Leonard pairs, and non-linear special functions associated with the Painlevé equations.

Formal Methods for Hardware Verification
Formal Methods for Hardware Verification

Author: Marco Bernardo

Publisher: Springer Science & Business Media

Published: 2006-05-15

Total Pages: 250

ISBN-13: 3540343040

DOWNLOAD EBOOK

This book presents 8 papers accompanying the lectures of leading researchers given at the 6th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems (SFM 2006). SFM 2006 was devoted to formal techniques for hardware verification and covers several aspects of the hardware design process, including hardware design languages and simulation, property specification formalisms, automatic test pattern generation, symbolic trajectory evaluation, and more.

Formal Methods in Computer-Aided Design
Formal Methods in Computer-Aided Design

Author: Mark D. Aagaard

Publisher: Springer

Published: 2003-06-30

Total Pages: 410

ISBN-13: 354036126X

DOWNLOAD EBOOK

This volume contains the proceedings of the Fourth Biennial Conference on F- mal Methods in Computer-Aided Design (FMCAD). The conference is devoted to the use of mathematical methods for the analysis of digital hardware c- cuits and systems. The workreported in this bookdescribes the use of formal mathematics and associated tools to design and verify digital hardware systems. Functional veri?cation has become one of the principal costs in a modern computer design e?ort. FMCAD provides a venue for academic and industrial researchers and practitioners to share their ideas and experiences of using - screte mathematical modeling and veri?cation. Over the past 20 years, this area has grown from just a few academic researchers to a vibrant worldwide com- nity of people from both academia and industry. This volume includes 23 papers selected from the 47 submitted papers, each of which was reviewed by at least three program committee members. The history of FMCAD dates backto 1984, when the earliest meetings on this topic occurred as part of IFIP WG10.2.

NASA Formal Methods
NASA Formal Methods

Author: Kristin Yvonne Rozier

Publisher: Springer Nature

Published: 2023-07-04

Total Pages: 508

ISBN-13: 3031331702

DOWNLOAD EBOOK

This book constitutes the proceedings of the 15th International Symposium on NASA Formal Methods, NFM 2023, held in Houston, Texas, USA, during May 16-18, 2023. The 26 full and 3 short papers presented in this volume were carefully reviewed and selected from 75 submissions. The papers deal with advances in formal methods, formal methods techniques, and formal methods in practice.

Formal Methods in Manufacturing
Formal Methods in Manufacturing

Author: Javier Campos

Publisher: CRC Press

Published: 2018-09-03

Total Pages: 728

ISBN-13: 1466561564

DOWNLOAD EBOOK

Illustrated with real-life manufacturing examples, Formal Methods in Manufacturing provides state-of-the-art solutions to common problems in manufacturing systems. Assuming some knowledge of discrete event systems theory, the book first delivers a detailed introduction to the most important formalisms used for the modeling, analysis, and control of manufacturing systems (including Petri nets, automata, and max-plus algebra), explaining the advantages of each formal method. It then employs the different formalisms to solve specific problems taken from today’s industrial world, such as modeling and simulation, supervisory control (including deadlock prevention) in a distributed and/or decentralized environment, performance evaluation (including scheduling and optimization), fault diagnosis and diagnosability analysis, and reconfiguration. Containing chapters written by leading experts in their respective fields, Formal Methods in Manufacturing helps researchers and application engineers handle fundamental principles and deal with typical quality goals in the design and operation of manufacturing systems.

NASA Formal Methods
NASA Formal Methods

Author: Alwyn Goodloe

Publisher: Springer

Published: 2012-03-30

Total Pages: 477

ISBN-13: 364228891X

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the Fourth International Symposium on NASA Formal Methods, NFM 2012, held in Norfolk, VA, USA, in April 2012. The 36 revised regular papers presented together with 10 short papers, 3 invited talks were carefully reviewed and selected from 93 submissions. The topics are organized in topical sections on theorem proving, symbolic execution, model-based engineering, real-time and stochastic systems, model checking, abstraction and abstraction refinement, compositional verification techniques, static and dynamic analysis techniques, fault protection, cyber security, specification formalisms, requirements analysis and applications of formal techniques.

Formal Methods and Software Engineering
Formal Methods and Software Engineering

Author: Chris George

Publisher: Springer Science & Business Media

Published: 2002-10-09

Total Pages: 639

ISBN-13: 3540000291

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 4th International Conference on Formal Engineering methods, ICFEM 2002, held in Shanghai, China, in October 2002. The 43 revised full papers and 16 revised short papers presented together with 5 invited contributions were carefully reviewed and selected from a total of 108 submissions. The papers are organized in topical sections on component engineering and software architecture, method integration, specification techniques and languages, tools and environments, refinement, applications, validation and verification, UML, and semantics.