Recurrence Equations and the Optimization


In this p q e r we present a formulaion for the problem of optimizing synchronorcs logic across register boundaries. We describe the degrees offieedom (i.e. the don’t care conditions) of an embedded subnetwork by means of sets of execution traces, described implicitly by Synchrvnous Recwnnce Equations. The oplimizdion problem reduces to that of futdins “ u… (More)


9 Figures and Tables