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
The Tenth Workshop on Synthesis and System Integration of MIxed Technologies (SASIMI 2001)
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