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

Marketing Automation Platform Marketing Automation Tool