Automatic Hardware Synthesis of Multimedia Synchronizers from High-Level Specifications

Kshirasagar NAIK  

IEICE TRANSACTIONS on Information and Systems   Vol.E79-D   No.6   pp.743-751
Publication Date: 1996/06/25
Online ISSN: 
Print ISSN: 0916-8532
Type of Manuscript: Special Section PAPER (Special Issue on Multimedia Computing and Communications)
multimedia synchronization,  temporal relations,  well-formed specification,  timed petri net,  hardware,  

Full Text: PDF>>
Buy this Article

In this paper, we show that by suitably selecting a notation to construct synchronization requirement specifications (SRS) for multimedia presentation we can express the timing characteristics at an abstract level, verify the specification, and obtain a hardware implementation through a sequence of transformations of the specification. First, we introduce the notion of a well-formed SRS and its hardware model. Second, we model an SRS as a timed Petri net and interpret the transitions of the net as hardware signals. To obtain logic functions from the SRS, we simplify the net and obtain a signal transition graph satisfying the unique state coding property. Finally, we show how to obtain a logic-level design of synchronizers.