Design of Logic Systems

Transcription

1 Design of Logic Systems

2 Design of Logic Systems Second edition D. Lewin Formerly Professor of Computer Science and Information Engineering, University of Sheffield D. Protheroe Lecturer in Electronic Engineering, South Bank University, London SPRINGER-SCIENCE+BUSINESS MEDIA, B.V.

3 First edition 1985 Reprinted 1985, 1986, 1987, 1989, 1991 Second edition D. Lewin, 1992 D. Lewin and D. Protheroe Originally published by Chapman & Hali in 1985 Typeset in 10/12 Times by Excel Typesetters Ltd, Hong Kong Printed and Bound in Hong Kong ISBN DOI / ISBN (ebook) Apart from any fair dealing for the purposes of research or private study, or criticism or review, as permitted under the UK Copyright Designs and Patents Act, 1988, this publication may not be reproduced, stored, or transmitted, in any form or by any means, without the prior permission in writing of the publishers, or in the case of reprographic reproduction only in accordance with the terms of the licences issued by the Copyright Licensing Agency in the UK, or in accordance with the terms of licences issued by the appropriate Reproduction Rights Organization outside the UK. Enquiries conceming reproduction outside the terms stated here should be sent to the publishers at the London address printed on this page. The publisher makes no representation, express or implied, with regard to the accuracy of the information contained in this book and cannot accept any legal responsibility or liability for any errors or omissions that maybe made. A catalogue record for this book is available from the British Library Library of Congress Cataloging-in-Publication data available

4 Contents Preface to the second edition Preface to the first edition ix xi I Introduction to digital systems 1.1 Introduction 1.2 Design of logic systems 1.3 Number systems 1.4 The binary system References and bibliography Tutorial problems I Principles of switching algebra 2.1 Introduction 2.2 Set theory 2.3 Algebra of sets 2.4 Venn diagrams 2.5 Boolean algebra 2.6 Switching algebra 2.7 Derivation and classification of switching functions 2.8 Temporal behaviour of switching circuits 2.9 Multi-valued logic References and bibliography Tutorial problems 3 Design of combinational circuits 3.1 Introduction 3.2 Design example Minimization of switching equations 3.4 Graphical methods 3.5 Reduced expressions 3.6 Design example Tabular methods of minimization 3.8 Selecting a minimal PI subset 3.9 Algebraic solution of prime implicant tables 3.10 'Don't care' conditions 3.11 Minimization of multiple-output circuits

5 o [~ CONTENTS 3.12 Minimization using topological methods Criteria for circuit minimization 101 References and bibliography 105 Tutorial problems Digital circuit components Introduction Implementation techniques Device technology Logic families Programmable logic devices Custom and semi-custom devices Physical design considerations 137 References and bibliography 143 Tutorial problems Implementation of combinational circuits Introduction NANDINOR implementation Implementation using MSI-Ievel components Implementation using PLDs Circuit hazards Design verification 190 References and bibliography 195 Tutorial problems Sequential circuits Introduction Bistable circuits Sequential MSI modules Counter design Functional definition Linear sequential circuits 235 References and bibliography 246 Tutorial problems Design of synchronous sequential circuits Introduction State minimization State assignment Analysis of sequential machines Systematic techniques for sequential circuit implementation 284 References and bibliography 290 Tutorial problems 291

6 [~-~--~~~~-~-~~ CONTENTS ----~ ~~J [~~J 8 Design of asynchronous circuits Introduction Problem definition State diagrams and flow tables Internal state reduction and merging Secondary state assignment Secondary excitation and output functions Design example VLSI realization Further aspects of the state-assignment problem Circuit hazards Self-timed circuits Directed graph methods 357 References and bibliography 364 Tutorial problems Design of regular arrays Introduction Iterative circuits Symmetric functions Cellular arrays Sequential arrays 395 References and bibliography 399 Tutorial problems Digital circuit testing and design for testability Introduction Basic concepts Test generation for combinational logic Testing sequential circuits Design for testability Boundary scan testing Built-in self-test Self-checking and fault-tolerant circuits Fault simulation 447 References and bibliography 451 Tutorial problems 453 II System design and design automation Introduction Design methodologies Logic synthesis Behavioural synthesis Hardware description languages 475

7 ~I ~ ~ CONTENTS 11.6 VHDL References and bibliography Appendix ANSIIIEEE logic symbols Solutions to tutorial problems Index

8 Preface This book provides coverage of the topics required for intermediate and advanced courses in digital design. The design of logic systems requires the solution of a wide range of problems from theoretical analysis to physical construction and test. The designer must both select and use the most appropriate design techniques and specify the technology and type of components to be used in order to produce a product which both meets its specification and incurs the minimum design time and cost. Many books in this area are either largely theoretical, offering little indication of the practical values of the methods presented, or are cookbooks of pre-designed circuits, providing the reader with few techniques to synthesize original designs. This book integrates the two approaches, emphasizing the value of formal methods to ensure the correct operation of complex digital circuits, while always illustrating their practical application by reference to existing designs and components. Designers must also be aware of the economic factors relating to design, manufacture and test, and these are presented throughout the book. This is a major revision and updating of the previous edition, and now includes the following topics: system-level design techniques, emphasizing the division between datapath and controller, plus techniques for system decomposition; criteria for circuit minimization viewed in the context of technological and economic factors; emphasis upon the use of PLD and ASIC components; increased coverage of new technologies and logic families; introduction of physical design considerations - layout requirements, line reflections, etc.; emphasis upon CAD tools for design verification; increased coverage of sequential circuit timing parameters, metastability, etc.; synchronization of autonomous systems; full coverage of asynchronous design has been retained, and now includes self-timed circuits; applications of iterative arrays and systolic arrays; extension of scan-path testing to include JTAG boundary-scan; fault simulation for test verification; built-in-self-test for complex designs;

9 C=x J Lc= P_R_E_F_A_C_E_T_O TH_E SE_C_O_N_D E_D_IT_IO_N ~ techniques for logic synthesis and design automation; language-based design using VHDL, including case studies; design environments and tools. All chapters contain a bibliography, primarily containing references to readily available papers and articles, but also including a number of early papers which have established concepts or techniques now regarded as being of fundamental importance. These references serve both to give some historical perspective to what is often perceived to be a very young subject, and to show that theoretical principles established long before the development of current manufacturing technologies may still be used to produce innovative designs. In keeping with the previous edition, each chapter is supported by a range of tutorial problems with worked solutions. I would like to express my thanks and acknowledge the contributions made by the following to the production of this edition: to Professor Agnes Kaposi for her insights into design techniques and problem solving; to my colleagues, Graham Gare, for providing corrections to the previous edition and additional tutorial questions, and Roger Freeman, for tracking down sources of reference material; to the reviewer, Professor Peter Ivey of Sheffield University, for his helpful suggestions regarding the style and content of this new edition; to Andrew Marshall and Bill Campbell of Synopsys Inc. for their help in providing practical information on VHDL and logic synthesis tools; to Chris Dace and Steve Collis of Mentor Graphics (UK) Ltd. for their considerable assistance in providing the cellular telephone controller design case study featured in Chapter 11. Finally, I thank my family, without whose support this book could not have been completed. My wife Elaine is entirely responsible for the manuscript being produced correctly and on time, while my sons Daniel and William have helped with the typing. DP 1992.

10 Preface to the first edition Then you better start swimmin' Or you'll sink like a stone For the times they are a-changin' BOB DYLAN Logic design is the process of interconnecting logic elements or modules to perform a specific function or task; as such it is fundamental to all digital engineering applications ranging from microprocessors through to information and communication systems. Switching theory, which is the formal basis of logic design, is concerned with the theory of producing viable, working structures in terms of logic elements and their interconnections to meet a particular functional input-output specification. Since the last edition of this book in 1974, advances in microelectronics have brought about a considerable change in digital design practice. The major causal factors are the commercial availability of 8- and 16-bit programmable microprocessors, which can replace hardwired logic circuits by software, and the use of semi-custom and custom LSI and VLSI circuits. It may be thought that the versatility of the microprocessor has made switching theory obsolete, replacing the need for logic design with programming techniques, but this is far from the case. A digital system does not consist solely of a microprocessor chip, but involves many other logic circuits in interfacing it to the external world. Moreover, the design of the microprocessor chip itself demands considerable logic design expertise. Thus, the need still remains for engineers and computer scientists to have a firm foundation in switching theory and logic design - as shown by their inclusion in most engineering core curricula. The objective of the first edition of this book was 'to describe, from an engineering viewpoint, those methods of designing logical circuits which have evolved as useful and practical techniques, from the vast amount of published work on switching theory'. This objective is still appropriate for the third edition, particularly so in the case of the fundamental aspects of switching theory which continue to remain highly relevant. However, with the requirement to design systems using MSIILSI circuit modules, and more recently the ability to custom design LSINLSI circuits - systems on a chip - the application of the theory, particularly the criteria adopted for minimization etc., has radically changed. For

11 ~I L- PREFACE TO THE FIRST EDITION ~ example, when designing using subsystem modules, the criterion changes from minimizing the number of gates and inputs to reducing the number of module types and their interconnections. Similarly, at the silicon chip level, the prime requirements are to utilize regular structures and minimize surface area and interconnections. There is an obvious and urgent need to develop new logical configurations and methods of representation and design which are more appropriate to realizing complex logic circuits in silicon (and any other) technologies. However, though many of these problems are difficult and their solutions still being sought, there are numerous ways in which existing theory can be suitably extended or modified to assist in the design process. Thus, the major change in this new edition is the underlying emphasis on how switching theory can be applied to the design of systems using LSI and VLSI circuits. In particular, new chapters have been included on Design Methods and Tools, Logic Circuit Testing and Reliable Design including the state-machine approach to design, logic simulation and testing, failure-tolerant and self-testing circuits, linear circuits, array and cellular structures including uncommitted and programmable logic arrays (ULAs and PLAs). In addition the opportunity has been taken to update the basic material, including the bibliography and reference sources, and to extend the tutorial problems section. The book is primarily intended as a text for undergraduate courses on logic and digital systems design in universities and polytechnics and as an introduction to the topic for postgraduate students. However, since the book requires no previous knowledge of the subject and is written in a tutorial style with numerous worked examples, it would be suitable for anyone who wished to acquire a working knowledge of logic design. Finally I would like to express my thanks to all my students and colleagues who both knowingly and unknowingly have helped towards the development of this text. In particular I would like to thank Mrs Anne Steven without whose care and expert typing skills the final manuscript would not have been produced. D.L.