Research on Development of High-Speed Logic Simulators Using a Vector Processor and Logic Design Verification Systems

为了实现大规模逻辑系统的高可靠性设计，必须建立严格的设计验证方法和有效的支持系统。从这一角度出发，我们开展了基于向量处理器的高速逻辑模拟器的开发和逻辑设计验证系统的研究。其主要结果如下所示。使用向量处理器的高速逻辑仿真器我们开发了适用于向量处理的仿真算法，并实现了仿真器。对于零延迟二值逻辑模拟，我们获得了每秒7.7x10^9门评估(组合电路)和1.4x10^9门评估每秒(时序电路)的非常高的性能。对于一个可分配延迟的四值逻辑模拟，实现了每秒3.4×10^5个事件。逻辑设计验证系统我们给出了表达等价于正则集的正则时序逻辑(RTL)的可满足性判定问题和模型检验的算法。基于这些结果，我们建立了使用RTL的设计验证方法。我们还开发了一种使用#-Expression的时序验证方法，它是正则表达式的扩展。为了准确、快速地显示大量信息，我们开发了一种基于多机多屏方法的工作站，它可以超越单屏和并行高速绘图的限制，实现高分辨率显示。

For a highly reliable design of large scale logic systems, it is essential to establish rigid methodologies and efficient support systems for design verificaion. From this point of view, we habe performed researches on development of high-speed logic simulators using a vector processor and logic design verification systems. Theis main results are listed below.1. High-Speed Logic Simulators Using a Vector Processor We have developed simulation algorithms suitable for vector processing and implemented the simulators. For a zero-delay two-valued logic simulation, we have achived very high speed performance of 7.7x10^9 gate evaluation per second(combinational circuits) and 1.4x10^9 gate evaluation per second (sequential circuits). For a assignable-delay four-valued logic simulation,3.4x10^5 event per second have been achieved.2. Logic Design Verification SystemsWe have deceloped algorithms for decision problems of satisfiability and model checking of Regular Temporal Logic(RTL) which is expressively equivalent to the regular set. Based on these results, we have established design verification methods using the RTL. We have alse developed a timing verification method using #-expression, which is an extension of the regular expression.3. Workstation for Logic DesignIn order to display a large amount of information precisely and quikly, we have developed a workstation based on a multi-computer multi-screen method, which enables high-resolution display beyond the limit of a single screen and parallel high-speed drawign.