Verifying RO registers: Challenges and the solution Author(s): Ivana Dobrilovic Location: United States Year: 2023 Type: Presentation Format: pdf Download