一种逻辑存储单元自动验证的方法及装置

摘要

本发明公开了一种逻辑存储单元自动验证的方法及装置，将一个逻辑芯片中所有逻辑存储单元的相关信息填入通用格式的逻辑存储单元模型文档；根据所述逻辑存储单元模型文档生成逻辑存储单元对应的RTL级代码；基于所述逻辑存储单元模型文档验证逻辑存储单元对应的RTL级代码。由于采用在通用格式的逻辑存储单元模型文档中填入逻辑存储单元的相关信息作为设计规范，无需额外编写逻辑存储单元模型文件，在逻辑存储单元的设计及验证方面，提高自动化程度，减少人为参与的工作量、减少人为因素引起的错误。本发明具有简便、易用、高效、通用性高等特点。

主权项

一种逻辑存储单元自动验证的方法，其特征在于，包括：将一个逻辑芯片中所有逻辑存储单元的相关信息填入通用格式的逻辑存储单元模型文档；根据所述逻辑存储单元模型文档生成逻辑存储单元对应的RTL级代码；基于所述逻辑存储单元模型文档验证逻辑存储单元对应的RTL级代码。