Merge pull request #3332 from YosysHQ/verific_f
authorMiodrag Milanović <mmicko@gmail.com>
Mon, 23 May 2022 18:01:44 +0000 (20:01 +0200)
committerGitHub <noreply@github.com>
Mon, 23 May 2022 18:01:44 +0000 (20:01 +0200)
commit335b4888ce1cd31e2efdac008f089449b27ce700
treee98dcfca6476c2497a922a11787f33c8e7aa7307
parenta6ec5754c6c2be6877904569b644ad8eae4aac1c
parentfdb393b6ce0fd6bf5f04ddd95e600828fb90c97d
Merge pull request #3332 from YosysHQ/verific_f

Update Verific command file documentation