Functional Validation at STMicroelectronics | ASAI