Resolving unknown inputs in mixed-level simulation with sequential elements | IEEE Journals & Magazine | IEEE Xplore