DART: A GPU-accelerated RTL simulation framework with DAG-driven execution - View it on GitHub