HAL II: a mixed level hardware logic simulation system
DAC '86 Proceedings of the 23rd ACM/IEEE Design Automation Conference
HAL: A block level HArdware Logic simulator
DAC '83 Proceedings of the 20th Design Automation Conference
Vector coding techniques for high speed digital simulation
DAC '81 Proceedings of the 18th Design Automation Conference
The Yorktown Simulation Engine: Introduction
DAC '82 Proceedings of the 19th Design Automation Conference
DAC '94 Proceedings of the 31st annual Design Automation Conference
Automatic clock abstraction from sequential circuits
DAC '95 Proceedings of the 32nd annual ACM/IEEE Design Automation Conference
Algorithm for vectorizing logic simulation and evaluation of “VELVET” performance
DAC '88 Proceedings of the 25th ACM/IEEE Design Automation Conference
Hi-index | 0.00 |
An advanced clock event suppression algorithm for high-speed logic simulation is described.A new signal value “Cn” and a “current clock (CC)”, which indicates the current status of clock signals, has been introduced to realize this algorithm.This algorithm suppresses about 60% of the total events, and eliminates 40% of CPU time. No overhead is needed to incorporate this algorithm using hardware support of VELVET (vectorized processing system for logic verification).Hitachi's latest supercomputer S-820 has been developed using VELVET. The development period has been shortened to 3/4 that of the S-810.