标签: 断言

DSP中存储保护单元的设计与断言验证

DSP中存储保护单元的设计与断言验证

扩大ARMSoC的验证范围，同时缩短模拟运行时间.pdfInformationQuarterly[47]Number3,Autumn2005InformationQuarterly[48]Number3,Autumn2005LDRR5,[R9];--ReadRegisterLDRR3,[R8+FX];--Getconst.ADDR3,R3,R5;--Addconst.ANDR3,R3,[R8+MK];--MaskhighbitsSUBR3,R3,[R8+DF];--SubtractLDRR6,[R8+COSW];--GetDatavalueXORR3,R3,R6--FilterADDR9,R9,R4;--ComputeoffsetSTRR5,[R9];--WriteRegisterLDRR5,[R9];……

基于断言的模拟矢量自动生成方法……