VLSI design verification

Contact: Nick van der Meijs

How can we design, model and characterize VLSI systems and circuits, which may use uncommon techniques and operate in uncommon ranges? We aim to have available a complete trajectory of design and verification tools. Scientifically, we work on physical modeling, electrical and timing behavior analysis as well as simulation of large VLSI circuits, with an emphasis on variability. To enable this, we develop super-fast solvers for the resulting systems of equations, using our ideas from time-varying systems theory.



Design approach for resilient integrated electronic systems in automotive and avionics applications