Sciweavers

CHARME
1995
Springer
120views Hardware» more  CHARME 1995»
14 years 27 days ago
Timing analysis of asynchronous circuits using timed automata
In this paper we present a method formodeling asynchronous digital circuits by timed automata. The constructed timed automata serve as \mechanical" and veri able objects for a...
Oded Maler, Amir Pnueli