On the Scalability and Dynamic Load-Balancing of Optimistic Gate Level Simulation | IEEE Journals & Magazine | IEEE Xplore