HESHAM EL-REWINI, PHD, PE, is a full professor and chairman of the Department of Computer Sciences and Engineering at Southern Methodist University (SMU). He has co-authored several books, published numerous research papers in journals and conference proceedings, and chaired many international conferences.
MOSTAFA ABD-EL-BARR, PHD, PEnG, is a professor and chairman of the Department of Information Science at Kuwait University. He has co-authored two other books, published more than 120 research papers in journals and conference proceedings, and served as chair for a number of international conferences and symposia.
This practical book provides a step-by-step, interactive introduction to formal verification of systems and circuits. The book offers theoretical background and introduces the application of three powerful verification toolsets: LOTOS-based CADP, Petri nets–based PETRIFY, and CCS-based CWB. The book covers verification of modular asynchronous circuits, alternating-bit protocols, arbiters, pipeline controllers, up-down counters, and phase converters, as well as many other verification examples.
Using the given detailed examples, exercises, and easy-to-follow tutorials, complete with the downloadable toolsets available via referenced Web sites, this book serves as an ideal text in advanced undergraduate and graduate courses in computer science and electrical engineering. It is also valuable as a desktop reference for practicing verification engineers who are interested in verifying that designed digital systems meet specifications and requirements.
• Hybrid Elements including topics like Memory organization, Binary representation of data, Computer arithmetic Software for parallel programming, tagged across some chapters through Quick Response (QR) Codes
• Learning objectives tagged across chapters:
• Emphasis on parallelism, scalability and programmability aspects of computer architecture. It presents the analysis of scalability
• Issues related to instruction level parallelism, processor clock speed, and power consumption defined according to the recent developments in processor design
• Inclusion of important topics like processor design, control unit, input and output, parallelis
• erial Bus, Real systems– IBM, Hitachi, Cray, Intel, UltraSparc, Blue Gene (from IBM), Cray XT series, XT5 and XMT, Fujitsu, DEC, MasPar, Tera, Stardent
Topical inclusions include:
• Pipelining hazards, data hazards and control hazards
• PCI Bus and PCI Express
• Interconnection networks and cluster computers
• MPI, openMP, PVM, Pthreads
• Multicore processors
• Impact of technology
• Stream processing
• Programming language Chapel
• Updated coverage of recent processors and systems: Intel Pentium IV, Sun UltraSparc, Blue Gene (from IBM), Cray XT Series, XT5 and XMT
Useful pedagogical features include the following:
• Plenty of background material on OLC
• Diagrams illustrating the basic concepts: 320
• A good number of case studies and: 6
• Solved problems: 114
• Exercise and review problems at the end of chapters: 251
• Tables: 40
• Solved Examples: 114
• Exercise Problems: 251
This fully updated edition is comprised of six chapters that follow a consistent framework: explanation of the ideas in each chapter; a crosscutting issues section, which presents how the concepts covered in one chapter connect with those given in other chapters; a putting it all together section that links these concepts by discussing how they are applied in real machine; and detailed examples of misunderstandings and architectural traps commonly encountered by developers and architects. Formulas for energy, static and dynamic power, integrated circuit costs, reliability, and availability are included. The book also covers virtual machines, SRAM and DRAM technologies, and new material on Flash memory. Other topics include the exploitation of instruction-level parallelism in high-performance processors, superscalar execution, dynamic scheduling and multithreading, vector architectures, multicore processors, and warehouse-scale computers (WSCs). There are updated case studies and completely new exercises. Additional reference appendices are available online.
This book will be a valuable reference for computer architects, programmers, application developers, compiler and system software developers, computer system designers and application developers.Part of Intel's 2012 Recommended Reading List for DevelopersUpdated to cover the mobile computing revolutionEmphasizes the two most important topics in architecture today: memory hierarchy and parallelism in all its forms.Develops common themes throughout each chapter: power, performance, cost, dependability, protection, programming models, and emerging trends ("What's Next")Includes three review appendices in the printed text. Additional reference appendices are available online.Includes updated Case Studies and completely new exercises.