Formal Techniques for Computer Systems and Business Processes (Lecture Notes in Computer Science, #3670)
by Mario Bravetti
Reconfigurable Field Programmable Gate Arrays for Mission-Critical Applications
by Luca Sterpone Niccol Battezzati
Integrated Electronics
This Festschrift volume, published to honor Peter D. Mosses on the occasion of his 60th birthday, includes 17 invited chapters by many of Peter's coauthors, collaborators, close colleagues, and former students. Peter D. Mosses is known for his many contributions in the area of formal program semantics. In particular he developed action semantics, a combination of denotational, operational and algebraic semantics. The presentations - given on a symposium in his honor in Udine, Italy, on September...
Algebraic Methodology and Software Technology (AMAST '91) (Workshops in Computing)
This volume contains the proceedings of the Second International Conference on Algebraic Methodology and Software Technology (AMAST '91). The aim of the AMAST conferences is to promote the use of algebraic methodology as a foundation for software technology, and to examine how it can be used to provide practical mathematical alternatives to the ad hoc methods commonly used in software development. In particular the conferences provide a showcase for software systems which have been developed in...
Specification and Compositional Verification of Real-Time Systems (Lecture Notes in Computer Science, #558)
by Jozef Hooman
The research described in this monograph concerns the formal specification and compositional verification of real-time systems. A real-time programminglanguage is considered in which concurrent processes communicate by synchronous message passing along unidirectional channels. To specifiy functional and timing properties of programs, two formalisms are investigated: one using a real-time version of temporal logic, called Metric Temporal Logic...
Advances in Computer Aided Design for Very Large Scale Integration (Advances in CAD for VLSI S.)
This book is the first of a new, seven volume series which aims to provide a comprehensive description of basic methods and technologies related to CAD for VLSI. The series includes up-to-date results and latest developments, with a good balance between theoretical and practical aspects of VLSI design. In this volume emphasis is placed on the basics of modeling, the opening chapters being devoted to fundamental process and device modeling. The following chapters cover different aspects of device...
Using MultiSIM provides everything users need to transform a personal computer into a virtual electronics technician's workbench where digital circuits can be built and tested, and on-going analyses may performed as circuits are modified. This 224-page workbook reinforces "must-know" digital theory by providing opportunities to measure, analyze and troubleshoot a variety of digital circuits in the safety of a state-of-the-art, highly interactive computer environment. Complete coverage of essenti...
VLSI Design (SpringerBriefs in Electrical and Computer Engineering)
by Vikram Arkalgud Chandrasetty
This book provides insight into the practical design of VLSI circuits. It is aimed at novice VLSI designers and other enthusiasts who would like to understand VLSI design flows. Coverage includes key concepts in CMOS digital design, design of DSP and communication blocks on FPGAs, ASIC front end and physical design, and analog and mixed signal design. The approach is designed to focus on practical implementation of key elements of the VLSI design process, in order to make the topic accessible...
Computer Science Logic (Lecture Notes in Computer Science, #832)
by E Borger, Yuri Gurevich, and K Meinke
Symbolic Algebraic Methods and Verification Methods
The usual usual "implementation" "implementation" ofreal numbers as floating point numbers on exist- iing ng computers computers has the well-known disadvantage that most of the real numbers are not exactly representable in floating point. Also the four basic arithmetic operations can usually not be performed exactly. For numerical algorithms there are frequently error bounds for the computed approximation available. Traditionally a bound for the infinity norm is estima- ted using ttheoretical h...
Testfreundliche Synthese Hochintegrierter Schaltungen (Fzi-Berichte Informatik)
by Bernhard Eschermann
Hochkomplexe elektronische Schaltungen werden in immer mehr Bereichen der Technik eingesetzt, in denen es auf eine hohe Zuverl{ssigkeit ankommt, wie z.B. der Medizin und der Verkehrstechnik. Eine effiziente ]berpr}fung dieser Schaltungen, m|glichst in Form eines "Selbsttests", ist deshalb von entscheidender Bedeutung. Das Buch beschreibt zun{chst Verfahren f}r den automatisierten Entwurf und den Test hochintegrierter Schaltungen und f}hrt dann beide Themengebiete zu einer einheitlichen Entwurf...
Tree-based Heterogeneous FPGA Architectures
by Umer Farooq, Zied Marrakchi, and Habib Mehrez
This book presents a new FPGA architecture known as tree-based FPGA architecture, due to its hierarchical nature. This type of architecture has been relatively unexplored despite their better performance and predictable routing behavior, as compared to mesh-based FPGA architectures. In this book, we explore and optimize the tree-based architecture and we evaluate it by comparing it to equivalent mesh-based FPGA architectures.
Principles and Practice of Constraint Programming - Cp98 (Lecture Notes in Computer Science, #1520)
Constraints have emerged as the basis of a representational and computational paradigm that draws from many disciplines and can be brought to bear on many problem domains. This volume contains papers dealing with all aspects of c- puting with constraints. In particular, there are several papers on applications of constraints, re?ecting the practical usefulness of constraint programming. The papers were presented at the 1998 International Conference on Principles and Practice of Constraint Progra...