The Community for Technology Leaders
Green Image
ABSTRACT
An algorithm for formal verification of the timing rule set that expresses timing discipline in digital system specifications is described. The algorithm is based on a higher level behavioral specification model and concerns formal consistency verification at the design level of system specification development procedure.
INDEX TERMS
Digital systems, timing specification, timing verification, interface specification
CITATION

N. Fristacky and T. Bartos, "Verifying Timing Consistency in Formal Specifications," in IEEE Design & Test of Computers, vol. 13, no. , pp. 8-15, 1996.
doi:10.1109/54.485778
82 ms
(Ver 3.3 (11022016))