ECEN-52100 Formal Methods, Modelling, and Simulation of Circuits

This course covers tools and software applications used for creating CAD and mathematical models and simulation of analog, digital, and mixed-signal circuits, as well as formal methods for verification of circuits under practical constraints and tradeoffs. The course covers simulation, modelling, and analysis of circuits at various levels of design entry, including circuit-level, gate-level, digital/analog/mixed-level (e.g. VHDL, VHDL-AMS), and system-level designs.




ECEN 50100 and CPSC 50100