Topics
Placeholder text for the list of topics covered in this course.
Schedule
Placeholder text for the weekly schedule.
Materials
Placeholder text for lecture notes, slides, and reading list.
Assessment
Placeholder text for the assessment scheme.
Abstract
The course addresses computer construction from both practical and theoretical perspectives in the context of military and safety-critical systems: computer chips are used, among other things, in data centres, ground stations, satellites, missiles, wearable devices, drones, robots, vehicles, ships, and aircraft. We study chips at three layers: the physical layer (semiconductors and other nanotechnology), the logical layer (specification and integration of complex components at various scales), and the information layer (how computations process information). The validation and verification of the performance and safety aspects of computer chips are also covered.
Learning outcomes. Upon successful completion of this course, the student is able to:
- Describe, using logical and mathematical principles, the layered computer architecture and distinguish between hardware and software functions.
- Master the physical foundations of computer chips and semiconductor technology, determine the limits of miniaturisation, and follow new developments in quantum technology in broad outline.
- Specify the logical structure and function of combinational and sequential circuits of synchronous and asynchronous components.
- Understand the storage and processing of information in digital systems in terms of number and data representations and arithmetic operations, and use the concepts of ‘complexity’ and ‘correctness’ correctly.
- Describe and critically examine the design process (validation and verification), the performance and safety aspects of chips (cooling, electromagnetic shielding, interconnection), the manufacturing process, reverse-engineering techniques, and the supply chain, in the context of various military and safety-critical systems.