tree 1de43c24954d44fcfb33503094ce4bbe540ab6fd
parent 0b3bbbb5ddb3c2c2c7903672061f076ab1de3d32
author Guillermo Maturana <maturana@google.com> 1617324503 -0700
committer cindychip <cindy.chen0316@gmail.com> 1618589579 -0700

[dv/clkmgr] Adds connectivity for formal checks.

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