Synthesis of software programs for embedded control applications
- 1 June 1999
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
- Vol. 18 (6) , 834-849
- https://doi.org/10.1109/43.766731
Abstract
No abstract availableThis publication has 22 references indexed in Scilit:
- The Princeton University behavioral synthesis systemPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Dynamic variable ordering for ordered binary decision diagramsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Fast functional simulation using branching programsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Fast discrete function evaluation using decision diagramsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Schedule validation for embedded reactive real-time systemsPublished by Association for Computing Machinery (ACM) ,1997
- Allocation algorithms based on path analysisIntegration, 1992
- The synchronous approach to reactive and real-time systemsProceedings of the IEEE, 1991
- STATEMATE: a working environment for the development of complex reactive systemsIEEE Transactions on Software Engineering, 1990
- Scheduling Algorithms for Multiprogramming in a Hard-Real-Time EnvironmentJournal of the ACM, 1973
- Representation of Switching Circuits by Binary-Decision ProgramsBell System Technical Journal, 1959