Sciweavers

CHARME
1995
Springer
120views Hardware» more  CHARME 1995»
13 years 7 months 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