发明名称 VERIFICATION OF HARDWARE DESIGNS WITH MULTIPLE ASYNCHRONOUS FREQUENCY DOMAINS
摘要 The complexity of present ASIC designs has increased considerably with the integration of multiple asynchronous frequency clock domains. The verification of these hardware models before actual tape out has become more and more important. A system and method are described herein to perform asynchronous stress testing using a single cycle random simulation environment. The system and method both include three phases. First, the domain frequency values are manipulated and a greatest common factor (GCF) mathematical approach is used to calculate a common unit of time. Secondly, corresponding default simulation cycles per system clock for each domain are calculated using the common unit of time determined from the previous phase. Lastly, a stress test is performed by randomly selecting a specific range above and below the default simulation cycle value for each clock domain. The method can be integrated as part of the single cycle random simulation environment, thus becoming added feature to an existing environment which is used for all functional verification. In addition, the method is used early in the design verification cycle before tape out, thus providing considerable cost savings in the event of hardware bugs.
申请公布号 WO2004100023(A3) 申请公布日期 2004.12.29
申请号 WO2004GB01675 申请日期 2004.04.19
申请人 IBM;IBM UK;HOPPE BODO;JOSEPH SABINA;KUMAR HARESH;SILVERIO JOSE FERNANDES 发明人 HOPPE BODO;JOSEPH SABINA;KUMAR HARESH;SILVERIO JOSE FERNANDES
分类号 G06F17/50 主分类号 G06F17/50
代理机构 代理人
主权项
地址