blob: 1822917dd41b320013aea30a39d358a4c600da3d [file] [log] [blame]
// Copyright lowRISC contributors.
// Licensed under the Apache License, Version 2.0, see LICENSE for details.
// SPDX-License-Identifier: Apache-2.0
{
name: "rom_ctrl"
import_testplans: ["hw/dv/tools/dvsim/testplans/csr_testplan.hjson",
"hw/dv/tools/dvsim/testplans/alert_test_testplan.hjson",
"hw/dv/tools/dvsim/testplans/mem_testplan.hjson",
"hw/dv/tools/dvsim/testplans/tl_device_access_types_testplan.hjson"]
testpoints: [
{
name: smoke
desc: '''
Smoke test exercising the main features of rom_ctrl.
**Stimulus**:
- Create a random valid ROM image and load into memory model
- Allow the rom check to complete
- Perform some random memory accesses
**Checks**:
- Check that all data supplied to kmac is correct
- Check that the rom checking sequence gives the expected result
- Check that the memory accesses return expected data
'''
milestone: V1
tests: ["rom_ctrl_smoke"]
}
{
name: multiple_reset
desc: '''
Test where the design is reset many times and the rom is re-checked
**Stimulus**:
- Periodically reset the device to restart the rom check
**Checks**:
- Check that the digest csrs are not corrupted
'''
milestone: V2
tests: []
}
{
name: mem_tl_errors
desc: '''
This test will reuse the common tl_access_tests to run TLUL error sequences on the
ROM TLUL interface to verify that erroneous TLUL transactions are handled correctly.
'''
milestone: V2
tests: []
}
{
name: ecc_mem_fault
desc: '''
Inject runtime errors into the rom
**Stimulus**:
- Insert 1, 2 and 3 bit errors into rom reads to trigger ECC checking
**Checks**:
- TODO - should this generate an alert with xmission integrity?
'''
milestone: V3
tests: []
}
]
covergroups: [
{
name: rom_ctrl_kmac_cg
desc: '''
Collect coverage on the rom_ctrl / kmac interface, specifically around
stalling and back-pressure behavior.
The agent needs to cover the case where the kmac returns a digest
before the rom_ctrl finishes reading the expected digest from memory,
and also after.
'''
}
{
name: rom_ctrl_tlul_cg
desc: '''
Collect coverage on the two TLUL interfaces, specifically checking
that we see requests around the same time as the rom check completes.
'''
}
{
name: rom_ctrl_check_cg
desc: '''
Collect coverage on the outputs sent to the power manager to confirm
that we see pass and fail resutls.
'''
}
]
}