Survey and Comparison of Digital Logic Simulators

This work provides an overview of digital logic simulators which are the classical tools for verification of digital hardware. Existing simulators and their features are presented and both commercial simulators as well as tools from the open-source community are included in our survey. Furthermore, the tools have been evaluated using a set of benchmark designs. All of the evaluation designs are freely available over the internet and have been carefully selected so that everybody can prove the results presented herein. To the authors best knowledge this is the first public available overview on existing digital logic simulators since 20 years.