Download or read book Trace Theory and VLSI Design written by Jan L.A. van de Snepscheut and published by Springer Science & Business Media. This book was released on 1985-10 with total page 152 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Trace Theory and VLSI Design written by Johannes Lambertus Adriana van de Snepscheut and published by . This book was released on 1983* with total page 156 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Trace Theory for Automatic Hierarchical Verification of Speed Independent Circuits written by David L. Dill and published by MIT Press (MA). This book was released on 2003-02-01 with total page 180 pages. Available in PDF, EPUB and Kindle. Book excerpt: Speed-independent circuits offer a potential solution to the timing problems of VLSI. In this book David Dill develops and implements a theory for practical automatic verification of these control circuits. He describes a formal model of circuit operation, defines the proper relationship between an implementation and its specification, and constructs a computer program that can check this relationship.Asynchronous or speed-independent circuit design has gained renewed interest in the VLSI community because of the possibilities it provides for dealing with problems that arise with the increasing complexity of VLSI circuits. Speed-independent circuits offer a way around such phenomena as clock skew, which can be a serious obstacle in the design of large systems. They can expedite circuit design by reducing design time and simplifying the overall process.A major challenge to the successful utilization of speed-independent circuits is correctness. The verification method described here insures that a design is correct and because it can be automated it is a significant advantage over manual verification. Dill proposes two distinct theories - prefix-closed trace structures, which can model and specify safety properties, and complete trace structures, which can also deal with liveness and fairness properties.David L. Dill received his doctorate from Carnegie Mellon University and is Assistant Professor in the Computer Science Department at Stanford University. Trace Theory for Automatic Hierarchical Verification of Speed Independent Circuits is a 1988 ACM Distinguished Dissertation
Download or read book Theoretical Foundations of VLSI Design written by K. McEvoy and published by Cambridge University Press. This book was released on 2003-12-04 with total page 454 pages. Available in PDF, EPUB and Kindle. Book excerpt: Recent research on the physical technologies of very large scale integration (VLSI).
Download or read book Computer Aided Verification written by Robert Kurshan and published by Springer Science & Business Media. This book was released on 2012-12-06 with total page 143 pages. Available in PDF, EPUB and Kindle. Book excerpt: Computer-Aided Verification is a collection of papers that begins with a general survey of hardware verification methods. Ms. Gupta starts with the issue of verification itself and develops a taxonomy of verification methodologies, focusing especially upon recent advances. Although her emphasis is hardware verification, most of what she reports applies to software verification as well. Graphical presentation is coming to be a de facto requirement for a `friendly' user interface. The second paper presents a generic format for graphical presentations of coordinating systems represented by automata. The last two papers as a pair, present a variety of generic techniques for reducing the computational cost of computer-aided verification based upon explicit computational memory: the first of the two gives a time-space trade-off, while the second gives a technique which trades space for a (sometimes predictable) probability of error. Computer-Aided Verification is an edited volume of original research. This research work has also been published as a special issue of the journal Formal Methods in System Design, 1:2-3.
Download or read book Application and Theory of Petri Nets 1995 written by Giorgio DeMichelis and published by Springer Science & Business Media. This book was released on 1995-06-07 with total page 534 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the proceedings of the 16th International Conference on Application and Theory of Petri Nets, held in Torino, Italy in June 1995 The 26 revised refereed papers presented were selected from 73 submissions from 22 countries; in addition there are abstracts or full papers of the three invited talks. All theoretical and applicational aspects are addressed by the contributors coming from industry and academia. This volume representatively documents the progress achieved in this application-oriented area of research and development since the predecessor conference held one year earlier.
Download or read book Logic Synthesis for Asynchronous Controllers and Interfaces written by J. Cortadella and published by Springer Science & Business Media. This book was released on 2012-12-06 with total page 279 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book is the result of a long friendship, of a broad international co operation, and of a bold dream. It is the summary of work carried out by the authors, and several other wonderful people, during more than 15 years, across 3 continents, in the course of countless meetings, workshops and discus sions. It shows that neither language nor distance can be an obstacle to close scientific cooperation, when there is unity of goals and true collaboration. When we started, we had very different approaches to handling the mys terious, almost magical world of asynchronous circuits. Some were more theo retical, some were closer to physical reality, some were driven mostly by design needs. In the end, we all shared the same belief that true Electronic Design Automation research must be solidly grounded in formal models, practically minded to avoid excessive complexity, and tested "in the field" in the form of experimental tools. The results are this book, and the CAD tool petrify. The latter can be downloaded and tried by anybody bold (or desperate) enough to tread into the clockless (but not lawless) domain of small-scale asynchronicity. The URL is http://www.lsi. upc. esr j ordic/petrify. We believe that asynchronous circuits are a wonderful object, that aban dons some of the almost militaristic law and order that governs synchronous circuits, to improve in terms of simplicity, energy efficiency and performance.
Download or read book Synchronization Design for Digital Systems written by Teresa H. Meng and published by Springer Science & Business Media. This book was released on 2012-12-06 with total page 184 pages. Available in PDF, EPUB and Kindle. Book excerpt: Synchronization is one of the important issues in digital system design. While other approaches have always been intriguing, up until now synchro nous operation using a common clock has been the dominant design philo sophy. However, we have reached the point, with advances in technology, where other options should be given serious consideration. This is because the clock periods are getting much smaller in relation to the interconnect propagation delays, even within a single chip and certainly at the board and backplane level. To a large extent, this problem can be overcome with care ful clock distribution in synchronous design, and tools for computer-aided design of clock distribution. However, this places global constraints on the design, making it necessary, for example, to redesign the clock distribution each time any part of the system is changed. In this book, some alternative approaches to synchronization in digital sys tem design are described and developed. We owe these techniques to a long history of effort in both digital system design and in digital communica tions, the latter field being relevant because large propagation delays have always been a dominant consideration in design. While synchronous design is discussed and contrasted to the other techniques in Chapter 6, the dom inant theme of this book is alternative approaches.
Download or read book VLSI Algorithms and Architectures written by Fillia Makedon and published by Springer Science & Business Media. This book was released on 1986-06 with total page 340 pages. Available in PDF, EPUB and Kindle. Book excerpt: Introduction to the temporal logic of - in particular paral- lel - programs.Divided into three main parts: - Presenta- tion of the pure temporal logic: language, semantics, and proof theory; - Representation of programs and their proper- ties within the language of temporal logic; - Application of the logical apparatus to the verification of program proper- ties including a new embedding of Hoare's logic into the temporal framework.
Download or read book Discrete Event Systems Modeling and Control written by S. Balemi and published by Birkhäuser. This book was released on 2012-12-06 with total page 224 pages. Available in PDF, EPUB and Kindle. Book excerpt: Research of discrete event systems is strongly motivated by applications in flex ible manufacturing, in traffic control and in concurrent and real-time software verification and design, just to mention a few important areas. Discrete event system theory is a promising and dynamically developing area of both control theory and computer science. Discrete event systems are systems with non-numerically-valued states, inputs, and outputs. The approaches to the modelling and control of these systems can be roughly divided into two groups. The first group is concerned with the automatic design of controllers from formal specifications of logical requirements. This re search owes much to the pioneering work of P.J. Ramadge and W.M. Wonham at the beginning of the eighties. The second group deals with the analysis and op timization of system throughput, waiting time, and other performance measures for discrete event systems. The present book contains selected papers presented at the Joint Workshop on Discrete Event Systems (WODES'92) held in Prague, Czechoslovakia, on Au gust 26-28, 1992 and organized by the Institute of Information Theory and Au tomation of the Czechoslovak Academy of Sciences, Prague, Czechoslovakia, by the Automatic Control Laboratory of the Swiss Federal Institute of Technology (ETH) , Zurich, Switzerland, and by the Department of Computing Science of the University of Groningen, Groningen, the Netherlands.
Download or read book Realization and Modelling in System Theory written by A.C. Ran and published by Springer Science & Business Media. This book was released on 2013-03-07 with total page 594 pages. Available in PDF, EPUB and Kindle. Book excerpt: This volume is the first of the three volume publication containing the proceedings of the 1989 International Symposium on the Mathematical Theory of Networks and Systems (MTNS-89), which was held in Amsterdam, The Netherlands, June 19-23, 1989. The International Symposia MTNS focus attention on problems from system and control theory, circuit theory and signal processing, which, in general, require application of sophisticated mathematical tools, such as from function and operator theory, linear algebra and matrix theory, differential and algebraic geometry. The interaction between advanced mathematical methods and practical engineering problems of circuits, systems and control, which is typical for MTNS, turns out to be most effective and is, as these proceedings show, a continuing source of exciting advances. The first volume contains invited papers and a large selection of other symposium presentations on the general theory of deterministic and stochastic systems with an emphasis on realization and modelling. A wide variety of recent results on approximate realization and system identification, stochastic dynamical systems, discrete event systems,- o systems, singular systems and nonstandard models IS presented. Preface vi Also a few papers on applications in hydrology and hydraulics are included. The titles of the two other volumes are: Robust Control of Linear Sys tems and Nonlinear Control (volume 2) and Signal Processing. Scatter ing and Operator Theory. and Numerical Methods (volume 3). The Editors are most grateful to the about 300 reviewers for their help in the refereeing process. The Editors thank Ms. G. Bijleveld and Ms.
Download or read book Communicating Sequential Processes The First 25 Years written by Ali E. Abdallah and published by Springer Science & Business Media. This book was released on 2005-05-03 with total page 335 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book commemorates the work done by Tony Hoare and published under the title Communicating Sequential Processes in the 1978 August issue of the Communications of ACM. The British Computer Society's specialist group Formal Aspects of Computing Science organized a meeting on July 7-8, 2004, in London, to mark the occasion of 25 years of CSP. The 19 carefully reviewed and revised full papers by leading researchers celebrate, reflect upon, and look beyond the first quarter-century of CSP's contributions to computer science. The papers explore the impact of CSP on many areas ranging from semantics and logic, through the design of parallel programming languages to applications varying from distributed software and parallel computing to information security, Web services, and concurrent hardware circuits.
Download or read book IV Higher Order Workshop Banff 1990 written by Graham Birtwistle and published by Springer Science & Business Media. This book was released on 2012-12-06 with total page 295 pages. Available in PDF, EPUB and Kindle. Book excerpt: It is many years since Landin, Burge and others showed us how to apply higher order techniques and thus laid some foundations for modern functional programming. The advantage of higher order descriptions - that they can be very succinct and clear - has been percolating through ever since. Current research topics range from the design, implementation and use of higher order proof assistants and theorem provers, through program specification and verification, and programming language design, to its applications in hardware description and verification. The papers in this book represent the presentations made at a workshop held at Banff, Canada, September 10-14 1990 and organised by the Computer Science Department of the University of Calgary. The workshop gathered together researchers interested in applying higher order techniques to a range of problems. The workshop format had a few (but fairly long) presentations per day. This left ample time for healthy discussion and argument, many of which continued on into the small hours. With so much to choose from, the program had to be selective. This year's workshop was divided into five parts: 1. Expressing and reasoning about concurrency: Warren Burton and Ken Jackson, John Hughes, and Faron Moller. 2. Reasoning about synchronous circuits: Geraint Jones and Mary Sheeran (with a bonus on the fast Fourier transform from Geraint). 3. Reasoning about asynchronous circuits: Albert Camilleri, Jo Ebergen, and Martin Rem. 4. Categorical concepts for programming languages: Robin Cockett, Barry Jay, and Andy Pitts.
Download or read book Fundamentals of Computation Theory written by Lothar Budach and published by Springer Science & Business Media. This book was released on 1987-12-09 with total page 524 pages. Available in PDF, EPUB and Kindle. Book excerpt: This volume contains abridged versions of most of the sectional talks and some invited lectures given at the International Conference on Fundamentals of Computation Theory held at Kazan State University, Kazan, USSR, June 22-26, 1987. The conference was the sixth in the series of FCT Conferences organized every odd year, and the first one to take place in the USSR. FCT '87 was organized by the Section of Discrete Mathematics of the Academy of Sciences in the USSR, the Moscow State University (Department of Discrete Mathematics), and the Kazan State University (Department of Theoretical Cybernetics). This volume contains selected contributions to the following fields: Mathematical Models of Computation, Synthesis and Complexity of Control Systems, Probabilistic Computations, Theory of Programming, Computer-Assisted Deduction. The volume reflects the fact that FCT '87 was organized in the USSR: A wide range of problems typical of research in Mathematical Cybernetics in the USSR is comprehensively represented.
Download or read book A Connotational Theory of Program Structure written by James S. Royer and published by Springer Science & Business Media. This book was released on 1987-08-26 with total page 196 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book presents developments of a language independent theory of program structure. The theory features a simple, natural notion of control structure which is much broader than in other theories of programming languages such as denotational semantics and program schemes. This notion permits treatment of control structures which involve not only the denotation of programs (i.e., their input/output behavior), but also their structure, size, run times, etc. The theory also treats the relation of control structure and complexity properties of programming languages. The book focuses on expressive interdependencies of control structures (which control structures can be expressed by which others). A general method of proving control structures expressively independent is developed. The book also considers characterizations of the expressive power of general purpose programming languages in terms of control structures. Several new characterizations are presented and two compactness results for such characterizations are shown.
Download or read book Parallel Algorithms and Architectures for DSP Applications written by Magdy A. Bayoumi and published by Springer Science & Business Media. This book was released on 2012-12-06 with total page 289 pages. Available in PDF, EPUB and Kindle. Book excerpt: Over the past few years, the demand for high speed Digital Signal Proces sing (DSP) has increased dramatically. New applications in real-time image processing, satellite communications, radar signal processing, pattern recogni tion, and real-time signal detection and estimation require major improvements at several levels; algorithmic, architectural, and implementation. These perfor mance requirements can be achieved by employing parallel processing at all levels. Very Large Scale Integration (VLSI) technology supports and provides a good avenue for parallelism. Parallelism offers efficient sohitions to several problems which can arise in VLSI DSP architectures such as: 1. Intermediate data communication and routing: several DSP algorithms, such as FFT, involve excessive data routing and reordering. Parallelism is an efficient mechanism to minimize the silicon cost and speed up the pro cessing time of the intermediate middle stages. 2. Complex DSP applications: the required computation is almost doubled. Parallelism will allow two similar channels processing at the same time. The communication between the two channels has to be minimized. 3. Applicatilm specific systems: this emerging approach should achieve real-time performance in a cost-effective way. 4. Testability and fault tolerance: reliability has become a required feature in most of DSP systems. To achieve such property, the involved time overhead is significant. Parallelism may be the solution to maintain ac ceptable speed performance.
Download or read book Structure in Complexity Theory written by Alan L. Selman and published by Springer Science & Business Media. This book was released on 1986-05 with total page 412 pages. Available in PDF, EPUB and Kindle. Book excerpt:
