Code Generation and Verification
FPGA, ASIC, and System-on-Chip
Image Processing and Mapping
Industrial Automation and Machinery
Partial Differential Equations
Real-Time Simulation and Testing
Robotics and Autonomous Systems
Signal Processing and Communications
Statistics and Machine Learning
Verification, Validation, and Test