Parallel Composition - A practical solution

A digital system exhibits a specific circuit structure and behavior. There are diverse methods of modeling structure and behavior, while manifold related to each other. In this paper we present a formalism to achieve an Automata Based theory for Composition (ABC) to model circuit structures in a uni... View More