Books in Computer engineering

Foundations of Computer Engineering

1st Edition
September 1, 2025
Marilyn Wolf
English
Paperback
9 7 8 0 4 4 3 1 5 8 9 2 6
eBook
9 7 8 0 4 4 3 1 5 8 9 1 9

Foundations of Computer Engineering is a complete introductory textbook for freshman and sophomore students taking a first course in computer engineering. This new text covers everything today’s students will need to go from almost no computer-specific knowledge to understanding the design of computer systems, from their fundamental hardware components and mathematical abstractions to their use in solving real-world problems. Covering all the major themes of 21st century computer engineering, including logic and computers, software, and circuits, instructors will find that this book provides a single coherent reference to guide students through their course.

Formal Verification

2nd Edition
May 26, 2023
Erik Seligman + 2 more
English
Paperback
9 7 8 0 3 2 3 9 5 6 1 2 3
eBook
9 7 8 0 3 2 3 9 5 6 1 3 0

Formal Verification: An Essential Toolkit for Modern VLSI Design, Second Edition presents practical approaches for design and validation, with hands-on advice to help working engineers integrate these techniques into their work. Formal Verification (FV) enables a designer to directly analyze and mathematically explore the quality or other aspects of a Register Transfer Level (RTL) design without using simulations. This can reduce time spent validating designs and more quickly reach a final design for manufacturing. Building on a basic knowledge of SystemVerilog, this book demystifies FV and presents the practical applications that are bringing it into mainstream design and validation processes. Every chapter in the second edition has been updated to reflect evolving FV practices and advanced techniques. In addition, a new chapter, Formal Signoff on Real Projects, provides guidelines for implementing signoff quality FV, completely replacing some simulation tasks with significantly more productive FV methods. After reading this book, readers will be prepared to introduce FV in their organization to effectively deploy FV techniques that increase design and validation productivity.

Designing Secure IoT Devices with the Arm Platform Security Architecture and Cortex-M33

1st Edition
April 28, 2022
Trevor Martin
English
Paperback
9 7 8 0 1 2 8 2 1 4 6 9 5
eBook
9 7 8 0 1 2 8 2 1 4 7 3 2

Designing Secure IoT devices with the Arm Platform Security Architecture and Cortex-M33 explains how to design and deploy secure IoT devices based on the Cortex-M23/M33 processor. The book is split into three parts. First, it introduces the Cortex-M33 and its architectural design and major processor peripherals. Second, it shows how to design secure software and secure communications to minimize the threat of both hardware and software hacking. And finally, it examines common IoT cloud systems and how to design and deploy a fleet of IoT devices. Example projects are provided for the Keil MDK-ARM and NXP LPCXpresso tool chains. Since their inception, microcontrollers have been designed as functional devices with a CPU, memory and peripherals that can be programmed to accomplish a huge range of tasks. With the growth of internet connected devices and the Internet of Things (IoT), “plain old microcontrollers” are no longer suitable as they lack the features necessary to create both a secure and functional device. The recent development by ARM of the Cortex M23 and M33 architecture is intended for today’s IoT world.

Definitive Guide to Arm Cortex-M23 and Cortex-M33 Processors

1st Edition
December 1, 2020
Joseph Yiu
English
Paperback
9 7 8 0 1 2 8 2 0 7 3 5 2
eBook
9 7 8 0 1 2 8 2 0 7 3 6 9

The Definitive Guide to Arm® Cortex®-M23 and Cortex-M33 Processors focuses on the Armv8-M architecture and the features that are available in the Cortex-M23 and Cortex- M33 processors. This book covers a range of topics, including the instruction set, the programmer’s model, interrupt handling, OS support, and debug features. It demonstrates how to create software for the Cortex-M23 and Cortex-M33 processors by way of a range of examples, which will enable embedded software developers to understand the Armv8-M architecture. This book also covers the TrustZone® technology in detail, including how it benefits security in IoT applications, itsoperations, how the technology affects the processor’s hardware (e.g., memory architecture, interrupt handling, etc.),and various other considerations in creating secure software.

Debugging Embedded and Real-Time Systems

1st Edition
July 17, 2020
Arnold S. Berger
English
Paperback
9 7 8 0 1 2 8 1 7 8 1 1 9
eBook
9 7 8 0 1 2 8 1 7 8 1 2 6

Debugging Embedded and Real-Time Systems: The Art, Science, Technology and Tools of Real-Time System Debugging gives a unique introduction to debugging skills and strategies for embedded and real-time systems. Practically focused, it draws on application notes and white papers written by the companies who create design and debug tools. Debugging Embedded and Real Time Systems presents best practice strategies for debugging real-time systems, through real-life case studies and coverage of specialized tools such as logic analysis, JTAG debuggers and performance analyzers. It follows the traditional design life cycle of an embedded system and points out where defects can be introduced and how to find them and prevent them in future designs. It also studies application performance monitoring, the execution trace recording of individual applications, and other tactics to debug and control individual running applications in the multitasking OS. Suitable for the professional engineer and student, this book is a compendium of best practices based on the literature as well as the author’s considerable experience as a tools’ developer.

ARM-Based Microcontroller Multitasking Projects

1st Edition
May 14, 2020
Dogan Ibrahim
English
Paperback
9 7 8 0 1 2 8 2 1 2 2 7 1
eBook
9 7 8 0 1 2 8 2 2 6 3 1 5

Most microcontroller-base... applications nowadays are large, complex, and may require several tasks to share the MCU in multitasking applications. Most modern high-speed microcontrollers support multitasking kernels with sophisticated scheduling algorithms so that many complex tasks can be executed on a priority basis. ARM-based Microcontroller Multitasking Projects: Using the FreeRTOS Multitasking Kernel explains how to multitask ARM Cortex microcontrollers using the FreeRTOS multitasking kernel. The book describes in detail the features of multitasking operating systems such as scheduling, priorities, mailboxes, event flags, semaphores etc. before going onto present the highly popular FreeRTOS multitasking kernel. Practical working real-time projects using the highly popular Clicker 2 for STM32 development board (which can easily be transferred to other boards) together with FreeRTOS are an essential feature of this book. Projects include: LEDs flashing at different rates; Refreshing of 7-segment LEDs; Mobile robot where different sensors are controlled by different tasks; Multiple servo motors being controlled independently; Multitasking IoT project; Temperature controller with independent keyboard entry; Random number generator with 3 tasks: live, generator, display; home alarm system; car park management system, and many more.

Digital Control Engineering

3rd Edition
November 30, 2019
M. Sami Fadali + 1 more
English
Paperback
9 7 8 0 1 2 8 1 4 4 3 3 6
eBook
9 7 8 0 1 2 8 1 4 4 3 4 3

Digital controllers are part of nearly all modern personal, industrial, and transportation systems. Every senior or graduate student of electrical, chemical, or mechanical engineering should therefore be familiar with the basic theory of digital controllers. This new text covers the fundamental principles and applications of digital control engineering, with emphasis on engineering design.Fadali and Visioli cover analysis and design of digitally controlled systems and describe applications of digital control in a wide range of fields. With worked examples and Matlab applications in every chapter and many end-of-chapter assignments, this text provides both theory and practice for those coming to digital control engineering for the first time, whether as a student or practicing engineer.

ARM 64-Bit Assembly Language

1st Edition
November 14, 2019
Larry D Pyeatt + 1 more
English
Paperback
9 7 8 0 1 2 8 1 9 2 2 1 4
eBook
9 7 8 0 1 2 8 1 9 2 2 2 1

ARM 64-Bit Assembly Language carefully explains the concepts of assembly language programming, slowly building from simple examples towards complex programming on bare-metal embedded systems. Considerable emphasis is put on showing how to develop good, structured assembly code. More advanced topics such as fixed and floating point mathematics, optimization and the ARM VFP and NEON extensions are also covered. This book will help readers understand representations of, and arithmetic operations on, integral and real numbers in any base, giving them a basic understanding of processor architectures, instruction sets, and more. This resource provides an ideal introduction to the principles of 64-bit ARM assembly programming for both the professional engineer and computer engineering student, as well as the dedicated hobbyist with a 64-bit ARM-based computer.

Embedded System Interfacing

1st Edition
February 8, 2019
Marilyn Wolf
English
Paperback
9 7 8 0 1 2 8 1 7 4 0 2 9
eBook
9 7 8 0 1 2 8 1 7 4 0 3 6

Embedded System Interfacing: Design for the Internet-of-Things (IoT) and Cyber-Physical Systems (CPS) takes a comprehensive approach to the interface between embedded systems and software. It provides the principles needed to understand how digital and analog interfaces work and how to design new interfaces for specific applications. The presentation is self-contained and practical, with discussions based on real-world components. Design examples are used throughout the book to illustrate important concepts. This book is a complement to the author's Computers as Components, now in its fourth edition, which concentrates on software running on the CPU, while Embedded System Interfacing explains the hardware surrounding the CPU.

Hardware Security

1st Edition
October 30, 2018
Swarup Bhunia + 1 more
English
Paperback
9 7 8 0 1 2 8 1 2 4 7 7 2
eBook
9 7 8 0 1 2 8 1 2 4 7 8 9

Hardware Security: A Hands-On Learning Approach provides a broad, comprehensive and practical overview of hardware security that encompasses all levels of the electronic hardware infrastructure. It covers basic concepts like advanced attack techniques and countermeasures that are illustrated through theory, case studies and well-designed, hands-on laboratory exercises for each key concept. The book is ideal as a textbook for upper-level undergraduate students studying computer engineering, computer science, electrical engineering, and biomedical engineering, but is also a handy reference for graduate students, researchers and industry professionals. For academic courses, the book contains a robust suite of teaching ancillaries. Users will be able to access schematic, layout and design files for a printed circuit board for hardware hacking (i.e. the HaHa board) that can be used by instructors to fabricate boards, a suite of videos that demonstrate different hardware vulnerabilities, hardware attacks and countermeasures, and a detailed description and user manual for companion materials.

Life Sciences

Physical Sciences & Engineering

Social Sciences & Humanities

Health