Abstract: A novel timing verification method is presented. A system is divided into units, and the behavior of each unit is described by the internal state ...

A Fast Timing Verification Method Based on the Independence of Units. Tomohiro Yoneda, Kazutoshi Nakade, and Yoshihiro Tohma. Tokyo Institute of Technology.

A new timing verification method, which is faster and needs less memory, considers the order relation between events occurring at the same units in the system.

Tomohiro Yoneda, Kazutoshi Nakade, Yoshihiro Tohma: A fast timing verification method based on the independence of units. FTCS 1989: 134-141.

Dec 15, 2000 · This paper discusses a fast method for timing verification which uses the conditions that cause changes in the output value of gates in a ...

On the Acceleration of Timing Verification Method Based on Time Petri Nets. ... A Fast Timing Verification Method Based on the Independence of Units. 1988 ...

A verification method based on time Petri nets automatically proves the correctness of quantitative timing properties for hard real-time systems.

A fast timing verification method based on the independence of units · Computer Science, Engineering. [1989] The Nineteenth International Symposium on… · 1989.

This paper presents an efficient model checking algorithm for one–safe time Petri nets and a timed temporal logic. The approach is based on the idea.

In this paper, we provide an overview of a system designed for verifying the consistency of timing specifications for digital circuits.