验证计划AHB-SRAMC验证计划

ICVerificationFlow阅读designspecification编写验证计划搭建验证平台编写testcaseregression回归测试:周期往复的进行回归验证,为测试案例提供不同的seed分析代码/功能覆盖率写测试报告SRAMCDesignSpec可以到ICFrontEndDesign中的项目中找SRAMC的设计AHB_SRA

如何开展验证的工作?拿到设计spec,理解和分析spec写验证计划:验证功能点提取,规划test,tb架构,用什么方法学,功能覆盖率的提取coverpoint,检查机制.....)搭建验证环境(UVMTB)coding编写用例测试,调试debug,发现RTL的bugregression(跑不同的seed)coverage(codefunction)

referencemodel用于模拟RTL的行为,产生希望的值driver的驱动给到referencemodel和dut,dut产生的结果和referencemodel产生的结果在scoreboard中进行比对CodedriverscoreboardTestgeneratortips通过设置mode可以进行测试场景的多样化优化点f

ahb_sramc控制器补充说明时序处理访问地址一个地址的大小是1bytebank选择使用地址的最高bit1bit+13bit+2bit=16bit,最高bit选择bank,低两bit选择哪几个memory8/16/32bit访问timingcheck测试小技巧如果测试一个8k的memory,可以利用循环将memory中每个地址写

内容写验证计划需要参照designspecAHB-SRAMC功能验证计划SVTB架构图验证平台目录结构ahb_sramc_svtbdoc-文档rtl-dutverif-验证代码envagentsimtbtest如何编写SVTBMakefilefilelistSVTBTOPsvtb:1.根据spec

AHB-SoC芯片架构地址空间各个IP都有自己的地址空间,CPU根据地址空间进行访问外设Spec内容FeaturesSpecificationArchitectureTiming:BasicTransferAHBTransactionExampleAHBBurstTransactionAHBResponseAHBSlaveInterfaceSRAMSpecification