ETTI / DCAE / ARH / Teaching / ACES / 2025-2026 / Functional Verification / lscarlat