Abstract
This paper develops a modular synthesis algorithm for timed circuits that is dramatically accelerated by partial order reduction. Each timed circuit m…
Type
Publication
Theory and Practice of Timed Systems, TPTS ’02
Eric Mercer
Brigham Young University, Associate Professor
Chris Myers
Department Chair / Professor
