Functional-Level Hardware Simulation with Pull-Model Data Flow George Riley Brian Hayes Elizabeth Lynch.