? Students have a deep understanding and practical experience with the application of o requirement engineering and related verification of integrated circuits o methods and use cases of concept- and system-level modelling o correct application of virtual modelling versus hardware prototypes o efficient usage of modelling languages and models of computation o in the context of a complete, standardized development flow out of the semiconductor industry for analog, digital, software and mixed ASICs and SoCs.

ILV ?Methods in Systems and Circuits Theory? ILV ?Analog Integrated Circuits 1? ILV ?Digital Integrated Circuits 1?

? Product development, safety and quality standards used in the semiconductor industry and their relevance to system modelling and verification ? Modelling and meta-modelling introduction, V-Model, Modelling Triangle, Model of Computations (MoC), Pareto concepts used in modelling ? Requirement engineering, data management and their importance ? Virtual Prototypes and executable specifications ? Top-down system and concept design (e.g. divide-and-conquer strategies) versus bottom-up verification and re-use methodologies ? Basic verification concepts, functional testing, formal verification, constrained-random verification, property checking, STA, V-Plan, etc. ? Conservative Solvers, MNA MoC, ELN MoC ? Discrete event Solvers, Digital behavioral Models ? Alternative techniques, Dataflow- or Transaction- Models ? Analog Macro Models, PWL elements for semiconductor devices ? Abstract Modelling using LSF MoC, TDF MoC, TLM MoC ? AMS Languages, VHDL-AMS, Verilog-A(MS) ? Languages line VHDL, (System-)Verilog, SystemC, SystemC AMS ? Methods, correct setup and execution of concept-, specification- and implementation (design, code, etc.) reviews ? Many practical examples (e.g. voltage regulator model, I-ADC model, digital filters)

Lecture material as provided in the course (required) Recommended reading as follows: ? A. Vladimirescu, The SPICE Book, Wiley, 1994. ? V. Litovski, M. Zwolinski, VLSI Circuit Simulation and Optimization, Springer, 1996. ? T. Grötker et al., System Design with SystemC, Kluwer, 2002. ? A. Banerjee, B. Sur, SystemC and SystemC-AMS in Practice, Springer, 2014. ? Standards like: ISO26262, AEC-Q100, IEC 61508, IEC 62198, ISO 900x ? "SystemC-AMS users guide", Accellera, 2020. ? Coside manual and tutorials, CosEDA GmbH, 2022. ? NGSpice Manual, Berkeley, 2022. ? Macro models from ADI and other semiconductor companies (examples) ? www.systemc-ams.at ? www.accellera.at ? https://www.iso.org/

Project-based learning based on hands on examples. Collaborative learning based on assignments covering different topics. Flipped classroom by incorporating student presentations from asynchronous learning, (homework) tasks.

Integrated module examination Immanent examination character: Written/oral exam, including homework assignments, presentations and lecture contribution