Sciweavers

ISCAS
1999
IEEE
86views Hardware» more  ISCAS 1999»
13 years 9 months ago
An algorithm for the verification of timing diagrams realizability
In this paper, we present a new method for verifying the realizability of a timing diagram with linear timing constraints, thus ensuring that the implementation of the underlying ...
A. El-Aboudi, El Mostapha Aboulhamid