Im Rahmen der embedded world conference 2023, wird die Publikation “Speed-Up Multi-Property Hardware Verification with Run-Time Information of PDR”, präsentiert.