tree b574eb8df3128714cc49e1d05817d73cacbcb6ad
parent 860c6adca107e234bb52340423dac5726efe71c2
author Cindy Chen <chencindy@opentitan.org> 1639700006 -0800
committer cindychip <cindy.chen0316@gmail.com> 1640108325 -0800

[formal/doc] Add a getting started document for creating and running formal

This PR adds a getting started document to gether all instructions to
create and run FPV or connectivity tests in OpenTitan.

Signed-off-by: Cindy Chen <chencindy@opentitan.org>