Modular Synthesis of Timed Circuits using Partial Orders on LPNs

Abstract

This paper develops a modular synthesis algorithm for timed circuits that is dramatically accelerated by partial order reduction. Each timed circuit m…

Publication
Theory and Practice of Timed Systems, TPTS ’02
Eric Mercer
Eric Mercer
Brigham Young University, Associate Professor
Chris Myers
Chris Myers
Department Chair / Professor
Hao Zheng
Hao Zheng
University of South Florida, Associate Professor

Related