Editing Application checkpointing (section)

===Idetic===
Idetic is a set of automatic tools which helps [[application-specific integrated circuit]] (ASIC) developers automatically embed checkpoints in their designs. It targets [[high-level synthesis]] tools and adds the checkpoints at the [[register-transfer level]] ([[Verilog]] code). It uses a [[dynamic programming]] approach to locate low overhead points in the [[state machine]] of the design. Since the checkpointing in hardware level involves sending the data of dependent [[Processor register|register]]s to a non-volatile memory, the optimum points are required to have minimum number of registers to store. Idetic is deployed and evaluated on energy harvesting [[RFID tag]] device.<ref>Mirhoseini, A.; Songhori, E.M.; Koushanfar, F., "Idetic: A high-level synthesis approach for enabling long computations on transiently-powered ASICs," Pervasive Computing and Communications (PerCom), 2013 IEEE International Conference on , vol., no., pp.216,224, 18–22 March 2013 URL: https://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=6526735&isnumber=6526701</ref>