Analysis, specification, design, test and debug of hw/sw electronic systems in nanometer semiconductor technologies, namely high-reliability, high-performance and energy-efficient systems for safety-critical applications.