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
The Tenth Workshop on Synthesis and System Integration of MIxed Technologies (SASIMI 2001)
Eric Mercer
Brigham Young University, Associate Professor
Chris Myers
Department Chair / Professor
