Computer Systems Group
The Computer Systems Group is responsible for teaching students the basic principles of digital circuits, in particular logic design and architectures of modern processors.
Processors are omnipresent in everyday's life, and are often used in mission-critical applications like pacemakers and ABS brakes.Moreover, design errors detected after manufacturing lead tovery expensive call-back actions (“Pentium-Bug”).It is, therefore, mandatory to prove the correctness of a chipbefore manufacturing and before it is used in critical applications.
Research at the Computer Systems Group is focused on formal verification methods which guarantee the correctness of the design of chips like processors with many hundreds of millions of logic gates.
Do you want more information of the Computer Systems Group? – please follow the link.