合并硬件设计语言的原始档案与查验资料档案的方法

摘要

一种将第一输入档案的硬件描述语言(HDL)程序码与第二输入档案的查验资料(assertions)加以结合以产生HDL输出档案的方法。在本发明实施例中，首先从第一输入档案中复制具有某一查验资料标识的查验资料；接着，于第二输入档案中找出相符合的查验资料标识；最后合并查验资料至第二输入档案中，以产生HDL输出档案的一部分。

主权项

1.一种将第一输入档案的查验资料与第二输入档案的硬件描述语言程序码加以结合以产生硬件描述语言输出档案的方法，包含：复制该第一输入档案的一查验资料，该查验资料由一个第一查验资料标识来标识；在于该第二输入档案中定位出一第二查验资料标识，其中该第二查验资料标识与该第一查验资料标识相匹配；及合并该查验资料至该第二输入档案，以产生该硬件描述语言输出档案的一部分，具体进一步包括：连结该查验资料至该第二输入档案具有该第二查验资料标识的部份，以产生一输出部分；及将该输出部分写至该硬件描述语言输出档案。