Soft error-aware scheduling in high-level synthesis (ディペンダブルコンピューティング)