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