tree 08f11474ed1848a26b3a03e73635198d102c308c
parent c383de0645b1999779e74fb6cc09d664679b9051
author Will Chen <haihui@synopsys.com> 1584037859 -0700
committer cindychip <cindy.chen0316@gmail.com> 1585011751 -0700

[fpv] Adding VC Formal support to the script and document

Signed-off-by: Will Chen <haihui@synopsys.com>