tree a157f123e2930d991761625432b6218e50a77094
parent 4d268dfa4cb60d9dab231ccf8b215be81261766d
author Michael Schaffner <msf@opentitan.org> 1574385700 -0800
committer Michael Schaffner <msf@google.com> 1574698073 -0800

[prim_lfsr] Add external seed input and update port names

This adds an external seed input and updates the port names such that
they are more descriptive. The corresponding FPV and DV testbenches are
updated, and two more SVAs are added in order to bring FPV coverage to
100%.

Signed-off-by: Michael Schaffner <msf@opentitan.org>