Semantics Preserving Micro-Instant Implementation of Synchronous Programs

Abstract

Implementations of synchronous programs on distributed hardware modules are infeasible if the totality of hardware is viewed as a single monster circuit. The zero execution time semantics that govern the interaction between the system and the environment has to be adapted to the inter module interaction. This interaction is at micro-instants and the signals exchanged are tentative at the start and firm up to final values micro-instant by micro-instant. This micro-instant protocol is derived from Maliks iterative algorithm used to analyze cyclic digital circuits for being combinational.