[发明专利]跨时钟域的时序仿真系统及方法

说明书

技术领域

本发明属于计算机技术领域，涉及一种时序仿真系统，尤其涉及一种跨时钟 域的时序仿真系统；此外，本发明还涉及上述跨时钟域的时序仿真系统的仿真方 法。

背景技术

数字电子系统如计算机系统中经常需要使用多个不同的时钟域。在不同时钟 域接口处会使用同步器来连接来自两个不同时钟域的信号，不同时钟域的信号在 同步过程中使用的寄存器会因为不满足建立时间或保持时间而进入亚稳态，现实 中同步器具有消除这种亚稳态的功能，但在时序仿真中这种亚稳态会向后继的寄 存器传递，从而使得仿真无法继续正确进行，因此有必要提出一种跨时钟域的时 序仿真装置与方法。

现有的跨时钟域系统的时序仿真中，大多使用同一时钟来对系统进行仿真， 回避多时钟域的问题，缺点是不利于反应系统的真实情况。本发明提出的跨时钟 域仿真装置和方法即解决了多时钟下跨时钟域系统仿真的问题。

发明内容

本发明所要解决的技术问题是：提供一种跨时钟域的时序仿真系统，通过对 延时反标信息的处理达到消除仿真中跨时钟域部分出现的不定态，使得具有多个 时钟域的系统能够进行时序仿真。

此外，本发明还提供一种上述跨时钟域的时序仿真系统的仿真方法。

为解决上述技术问题，本发明采用如下技术方案：

一种跨时钟域的时序仿真系统，该系统包括查找器、修改器、仿真器。查找 器用以确认跨时钟域寄存器层次路径文件中的跨时钟域寄存器全部存在于时序 反标文件中，否则对照网表修正所述跨时钟域寄存器层次路径文件中查找不到的 跨时钟域寄存器的层次路径；而后在时序反标文件中查找所述跨时钟域寄存器的 位置，并把所述跨时钟域寄存器的位置输出至一修改器；修改器用以接收所述查 找器发送的跨时钟域寄存器在时序反标文件中的位置，并将时序反标文件中跨时 钟域寄存器的时序反标信息清除，输出处理后的时序反标文件至一仿真器；仿真 器用以接收所述修改器发送的时序反标文件，将时序反标文件中的时序信息反标 回网表进行仿真。

作为本发明的一种优选方案，所述查找器列出跨时钟域的寄存器的层次路径 文件，在时序反标文件中查找所述层次路径文件中的跨时钟域寄存器，若查找不 到，则对照网表修正所述跨时钟域寄存器层次路径文件中对应的跨时钟域寄存器 的层次路径，直到跨时钟域寄存器的层次路径文件中的跨时钟域寄存器全部都能 在时序反标文件中查找得到为止；若所述跨时钟域寄存器层次路径文件中所有的 跨时钟域寄存器的层次路径全部都能在时序反标文件中查找得到，则在时序反标 文件中查找所述层次路径文件中所有跨时钟域寄存器的位置，并把所述跨时钟域 寄存器的位置输出至所述修改器。

作为本发明的一种优选方案，所述列出设计中跨时钟域寄存器层次路径文件 的方法为：将设计中出现的跨时钟域寄存器的结构层次路径列举在一个跨时钟域 寄存器层次路径列表中；所述查找器输入所述跨时钟域寄存器层次路径列表和包 含时延信息的时序反标文件，以检查跨时钟域寄存器层次路径列表中的所有条目 是否均存在于所述时序反标文件中；若所述跨时钟域寄存器层次路径列表中某跨 时钟域寄存器不存在于所述时序反标文件中，则对照网表修正所述跨时钟域寄存 器层次路径列表中对应的跨时钟域寄存器的层次路径，直至跨时钟域寄存器层次 路径列表中的条目都能在时序反标文件中查找得到；若所述跨时钟域寄存器层次 路径文件中所有的跨时钟域寄存器层次路径列表中的条目都能在时序反标文件 中查找得到，则所述查找器查找跨时钟域寄存器在时序反标文件中的位置，并输 出至所述修改器。

进一步地，所述跨时钟域寄存器层次路径列表按设计的层次结构列出跨时钟 域寄存器；所述跨时钟域寄存器层次路径列表根据设计的层次、综合策略一起给 出；其格式为每一行表示一个跨时钟域寄存器层次路径，跨时钟域寄存器的层次 路径与时序反标文件中的表示相一致，表示为“顶层模块名/[模块名/]/跨时钟 域寄存器”。