logic simulation systems comprising programs and special purpose hardware accelerators