Scheduling and control generation with environmental constraints based on automata representations

@article{Yang1996SchedulingAC,
  title={Scheduling and control generation with environmental constraints based on automata representations},
  author={Jerry Chih-Yuan Yang and Giovanni De Micheli and Maurizio Damiani},
  journal={IEEE Trans. on CAD of Integrated Circuits and Systems},
  year={1996},
  volume={15},
  pages={166-183}
}
We introduce a framework for synthesis of behavioral models in which design information is represented using an automaton model. This model offers the advantage of supporting different constraints (e.g., timing, resource, synchronization, etc.) with a uniform formalism. The set of all feasible execution traces (schedules) is constructed and traversed using efficient BDD-based implicit state-traversal techniques. As an application example of this formalism, we present a novel scheduling/control… CONTINUE READING

References

Publications referenced by this paper.
SHOWING 1-10 OF 12 REFERENCES

Newborn , “ The simplification of sequential machines with input restrictions

  • M. M.
  • IEEE Trans . Comput .
  • 1992

Yang received the B.S.E.E. and M.S.E.E. degrees in 1990, and is currently working toward the Ph.D. degree in electrical engineering at Stanford University, Stanford, CA

  • Jerry Chih-Yuan
  • 1990

Similar Papers

Loading similar papers…