Verifying next generation electronic systems

The application domains of electronic systems range from consumer devices to safety-critical systems. Of course, for systems of the latter areas a thorough verification is required. However, due to increasing complexity, verification is still the major bottleneck. Hence, new approaches are required. In this paper the state-of-the-art on verification is reported. Furthermore, recent developments are listed and finally the most pressing challenges for industry and academia are identified.