Abstract: A refinement relation captures the state equivalence between two sequential circuits. It finds applications in various tasks of VLSI design automation, including regression verification, ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback