Issue No.01 - Spring (1996 vol.13)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/54.485778
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
Tibor Bartos, "Verifying Timing Consistency in Formal Specifications", IEEE Design & Test of Computers, vol.13, no. 1, pp. 8-15, Spring 1996, doi:10.1109/54.485778