The Yorktown Simulation Engine: Introduction
DAC '82 Proceedings of the 19th Design Automation Conference
The Yorktown Simulation Engine
DAC '82 Proceedings of the 19th Design Automation Conference
Software support for the Yorktown Simulation Engine
DAC '82 Proceedings of the 19th Design Automation Conference
The IBM Enterprise System/900 Type 9121 air-cooled processor
IBM Journal of Research and Development
Simulation of IBM Enterprise System/9000 Models 820 and 900
IBM Journal of Research and Development
Parallel logic simulation of VLSI systems
ACM Computing Surveys (CSUR)
The power and promise of parallel computing
IBM Systems Journal
Parallel logic simulation on a network of workstations using parallel virtual machine
ACM Transactions on Design Automation of Electronic Systems (TODAES)
Design methodology for the S/390 parallel enterprise server G4 microprocessors
IBM Journal of Research and Development - Special issue: IBM S/390 G3 and G4
Functional verification of the CMOS S/390 parallel enterprise server G4 system
IBM Journal of Research and Development - Special issue: IBM S/390 G3 and G4
Logic Simulation Engines in Japan
IEEE Design & Test
Benchmarking Parallel Processing Platforms: An Applications Perspective
IEEE Transactions on Parallel and Distributed Systems
EURO-DAC '90 Proceedings of the conference on European design automation
Parallel switch-level simulation for VLSI
EURO-DAC '91 Proceedings of the conference on European design automation
Modular nets (MNETS): a modular design methodology for computer timers
IBM Journal of Research and Development
Towards acceleration of fault simulation using graphics processing units
Proceedings of the 45th annual Design Automation Conference
IBM eServer z900 system microcode verification by simulation: the virtual power-on process
IBM Journal of Research and Development
Hyper-acceleration and HW/SW co-verification as an essential part of IBM eServer z900 verification
IBM Journal of Research and Development
Fault Table Computation on GPUs
Journal of Electronic Testing: Theory and Applications
Place and route for massively parallel hardware-accelerated functional verification
Proceedings of the International Conference on Computer-Aided Design
Hi-index | 0.00 |
In this review article, we describe IBM's Engineering Verification Engine, EVE, a special-purpose, highly-parallel programmable machine for the simulation of computer logic and currently being used at several locations within IBM. EVE, which is based on the architecture of the Yorktown Simulation Engine, can simulate two million gates at a speed of more than two billion gate evaluations per second, far beyond the capabilities of existing software simulators. In this paper, we give an overview of the EVE architecture, hardware and software, and describe some current applications.