64 lines
2.2 KiB
PHP
64 lines
2.2 KiB
PHP
<?php
|
|
namespace Targets\TargetDescriptionFiles\RiscV\Services;
|
|
|
|
use Targets\TargetDescriptionFiles\TargetDescriptionFile;
|
|
|
|
require_once __DIR__ . '/../../Services/ValidationService.php';
|
|
require_once __DIR__ . '/../../TargetDescriptionFile.php';
|
|
|
|
class ValidationService extends \Targets\TargetDescriptionFiles\Services\ValidationService
|
|
{
|
|
public function validateRiscVTdf(TargetDescriptionFile $tdf): array
|
|
{
|
|
$failures = parent::validateTdf($tdf);
|
|
|
|
if ($tdf->getAddressSpace('system') === null) {
|
|
$failures[] = 'Missing system address space';
|
|
}
|
|
|
|
if ($tdf->getAddressSpace('csr') === null) {
|
|
$failures[] = 'Missing CSR address space';
|
|
}
|
|
|
|
if ($tdf->getAddressSpace('gpr') === null) {
|
|
$failures[] = 'Missing GPR address space';
|
|
}
|
|
|
|
$mainProgramSegment = $tdf->getMemorySegment('system', 'main_program');
|
|
if ($mainProgramSegment === null) {
|
|
$failures[] = 'Missing main program memory segment';
|
|
}
|
|
|
|
$bootProgramSegment = $tdf->getMemorySegment('system', 'boot_program');
|
|
if ($bootProgramSegment === null) {
|
|
$failures[] = 'Missing boot program memory segment';
|
|
}
|
|
|
|
if (
|
|
$mainProgramSegment !== null
|
|
&& $bootProgramSegment !== null
|
|
&& $mainProgramSegment->size() <= $bootProgramSegment->size()
|
|
) {
|
|
$failures[] = 'Main program segment size is not greater than the boot segment size';
|
|
}
|
|
|
|
if ($tdf->getMemorySegment('system', 'internal_ram') === null) {
|
|
$failures[] = 'Missing internal ram memory segment';
|
|
}
|
|
|
|
if ($tdf->getProperty('wch_link_interface', 'programming_opcode_key') === null) {
|
|
$failures[] = 'Missing "programming_opcode_key" property';
|
|
}
|
|
|
|
if ($tdf->getProperty('wch_link_interface', 'programming_block_size') === null) {
|
|
$failures[] = 'Missing "programming_block_size" property';
|
|
}
|
|
|
|
if ($tdf->getProperty('riscv_debug_module', 'trigger_count') === null) {
|
|
$failures[] = 'Missing "trigger_count" property';
|
|
}
|
|
|
|
return $failures;
|
|
}
|
|
}
|