Scheduling with rollback constraints in high-level synthesis of self-recovering ASICs
- 2 January 2003
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- p. 519-526
- https://doi.org/10.1109/ftcs.1992.243581
Abstract
The authors develop software mechanisms for incorporating on-chip self-recovery-using checkpointing and rollback-during high-level synthesis. They propose an algorithm for rollback point insertion to minimize rollback overhead. It identifies good rollback points by successively eliminating clock cycle boundaries that are either expensive or violate the recovery time constraint. Only the minimum number of rollback points are inserted. A flexible synthesis methodology is presented in which rollback point insertion can precede, succeed, or be intertwined with scheduling. A novel edge-based scheduling algorithm is described that schedules edges to clock cycle boundaries, in addition to scheduling nodes to clock cycles. The system has been used to schedule flow graphs from the literature. Experimental results are presented.Keywords
This publication has 8 references indexed in Scilit:
- Concurrent checking in dedicated controllersPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Evaluation and synthesis of self-monitoring state machinesPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- A data path synthesis method for self-testable designsPublished by Association for Computing Machinery (ACM) ,1991
- Fault tolerance in VLSI circuitsComputer, 1990
- High-performance fault-tolerant VLSI systems using micro rollbackIEEE Transactions on Computers, 1990
- The high-level synthesis of digital systemsProceedings of the IEEE, 1990
- Force-directed scheduling for the behavioral synthesis of ASICsIEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 1989
- Sehwa: a software package for synthesis of pipelines from behavioral specificationsIEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 1988