github-mirrors/ibex
1
0
Fork 0
mirror of https://github.com/lowRISC/ibex.git synced 2025-06-27 17:00:41 -04:00
Code Issues Projects Releases Packages Wiki Activity Actions

Update lec_sv2v.do

Browse source
This commit is contained in:
NilsGraf 2020-06-18 10:22:25 -07:00
parent c453436b75
commit 7bb64842ba
1 changed files with 3 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

4
syn/lec_sv2v.do
View file

@ -2,7 +2,9 @@
// Licensed under the Apache License, Version 2.0, see LICENSE for details. // Licensed under the Apache License, Version 2.0, see LICENSE for details.
// SPDX-License-Identifier: Apache-2.0 // SPDX-License-Identifier: Apache-2.0
// LEC dofile for script lec_sv2v.sh. This script is similar to: // LEC dofile for script lec_sv2v.sh. A similar script is used in
// OpenTitan, any updates or fixes here may need to be reflected in the
// OpenTitan script as well:
// https://github.com/lowRISC/opentitan/blob/master/hw/formal/lec_sv2v.do // https://github.com/lowRISC/opentitan/blob/master/hw/formal/lec_sv2v.do
//------------------------------------------------------------------------- //-------------------------------------------------------------------------