Verifying RO registers: Challenges and the solution

Author(s):
Ivana Dobrilovic
Download