In this paper we report some progress in applying timed automata technology to large-scale problems. We focus on the problem of finding maximal stabilization time for combinational circuits whose inputs change only once and hence they can be modeled using acyclic timed automata. We develop a "divide-and-conquer" methodology based on decomposing the circuit into sub-circuits and using timed automata analysis tools to build conservative low-complexity approximations of the sub-circuits to be used as inputs for the rest of the system. Some preliminary results of this methodology are reported. © Springer-Verlag 2004.
CITATION STYLE
Salah, R. B., Bozga, M., & Maler, O. (2004). On timing analysis of combinational circuits. Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2791, 204–218. https://doi.org/10.1007/978-3-540-40903-8_17
Mendeley helps you to discover research relevant for your work.