| #ifndef PRJXRAY_LIB_XILINX_XC7SERIES_ECC_H_ |
| #define PRJXRAY_LIB_XILINX_XC7SERIES_ECC_H_ |
| |
| #include <cstdint> |
| #include <vector> |
| |
| namespace prjxray { |
| namespace xilinx { |
| namespace xc7series { |
| |
| // Extend the current ECC code with one data word (32 bit) at a given |
| // word index in the configuration frame and return the new ECC code. |
| uint32_t icap_ecc(uint32_t idx, uint32_t data, uint32_t ecc); |
| |
| // Updates the ECC information in the frame. |
| void updateECC(std::vector<uint32_t>& data); |
| |
| } // namespace xc7series |
| } // namespace xilinx |
| } // namespace prjxray |
| |
| #endif // PRJXRAY_LIB_XILINX_XC7SERIES_ECC_H_ |
