Static scheduling of multidomain circuits for fast functional verification