Semiconductor verification is changing to integrate AI with human expertise.

Key research areas include requirements engineering, architecture, design, service-oriented computing, testing and verification, static analysis, software maintenance and multi-agent systems.

This course covers the systematic design of real-time digital systems and verification techniques using field-programmable gate arrays (FPGAs). The course presents a top-down design methodology, where ...