Abstract
This paper develops a modular synthesis algorithm for timed circuits that is dramatically accelerated by partial order reduction. Each timed circuit m…
Publication
The Tenth Workshop on Synthesis and System Integration of MIxed Technologies (SASIMI 2001)

Brigham Young University, Associate Professor

Department Chair / Professor

University of South Florida, Associate Professor