tree d2ba342b447cc99e8367d9130ba16c5d2534b584
parent 40efdcebb659b84654100b5ae3e19ad056a0d27d
author Guillermo Maturana <maturana@google.com> 1628016088 -0700
committer Matute <maturana@google.com> 1628032163 -0700

[dv/pwrmgr] Simplify SVA between pwrmgr and ast

These were suggestions from a recent PR that came after it was merged.

Signed-off-by: Guillermo Maturana <maturana@google.com>