The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.01 - Spring (1996 vol.13)
pp: 8-15
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
Tibor Bartos, Norbert Fristacky, "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
19 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool