The Community for Technology Leaders
Green Image
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.
Digital systems, timing specification, timing verification, interface specification
Norbert Fristacky, Tibor Bartos, "Verifying Timing Consistency in Formal Specifications", IEEE Design & Test of Computers, vol. 13, no. , pp. 8-15, Spring 1996, doi:10.1109/54.485778
369 ms
(Ver 3.1 (10032016))