技术编号：10569816
提示：您尚未登录，请点 登 陆 后下载，如果您还没有账户请点 注 册 ，登陆完成后，请刷新本页查看技术详细信息。单核处理器的存储模型的语义很直观，即对任何内存单元的读操作将返回最近对该单元进行写操作所写入的值，而写操作则唯一确定了此后对同一单元读操作的结果。用仿真方法对单核处理器进行随机验证时，通常采用参考模型给出验证向量的参考执行结果，通过将参考模型给出的结果与实际RTL(register-transfer level)执行结果比较来判断对错，对单核处理器环境下的串行程序来说，每次运行的结果具有唯一确定性，这使得处理器随机验证可以顺利进行。与单核处理器不同，片上多...
注意：该技术已申请专利，请尊重研发人员的辛勤研发付出，在未取得专利权人授权前，仅供技术研究参考不得用于商业用途。
该专利适合技术人员进行技术研发参考以及查看自身技术是否侵权，增加技术思路，做技术知识储备，不适合论文引用。
请注意，此类技术没有源代码，用于学习研究技术思路。