github-mirrors/cve2
1
0
Fork 0
mirror of https://github.com/openhwgroup/cve2.git synced 2025-04-19 11:44:58 -04:00
Code Issues Projects Releases Packages Wiki Activity Actions

fix top and sec (#115)

Browse source
This commit is contained in:
Davide Schiavone 2023-05-25 09:43:54 +02:00 • committed by GitHub
parent 9abe653e1b
commit 0a9e862fee
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
2 changed files with 1 additions and 7 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
rtl/cve2_top.sv
View file

@ -246,11 +246,8 @@ module cve2_top import cve2_pkg::*; #(
`ASSERT_KNOWN(IbexDataReqX, data_req_o)
`ASSERT_KNOWN_IF(IbexDataReqPayloadX,
{data_we_o, data_be_o, data_addr_o, data_wdata_o, data_wdata_intg_o}, data_req_o)
{data_we_o, data_be_o, data_addr_o, data_wdata_o}, data_req_o)
`ASSERT_KNOWN(IbexAlertMinorX, alert_minor_o)
`ASSERT_KNOWN(IbexAlertMajorInternalX, alert_major_internal_o)
`ASSERT_KNOWN(IbexAlertMajorBusX, alert_major_bus_o)
`ASSERT_KNOWN(IbexCoreSleepX, core_sleep_o)
// X check for top-level inputs

3
scripts/sec/cadence/sec.tcl
View file

@ -23,9 +23,6 @@ reset ~rst_ni
check_sec -map -auto
check_sec -waive -waive_signals alert_major_o
check_sec -waive -waive_signals cve2_core_imp.alert_major_o
check_sec -waive -waive_signals gen_regfile_ff.test_en_i
check_sec -waive -waive_signals cve2_core_imp.gen_regfile_ff.test_en_i