Hackaday

Itanium: The Great X86 Replacement That Never Was

Itanium was once meant to be the next step in computing, to compete with the likes of IBM, Sun and DEC, but also for Intel to ...
GitHub

clk_wiz_v5_4_changelog.txt

* Port Change: Minor version upgrade. CLR pins are added to the pin list when selected buffer is BUFGCEDIV for ultrascale and ultrascale plus devices. * Other: Added support for new zynq ultrascale ...
IEEE

Self-healing architecture for RISC-V soft core processor in SRAM-based FPGAs using Dynamic Partial Reconfiguration

Abstract: This work presents a fault-tolerant architecture based on a RISC-V soft core processor for SRAM-based FPGAs. The architecture leverages Dynamic Partial Reconfiguration (DPR) to achieve high ...
IEEE

Complete and Efficient Verification for a RISC-V Processor Using Formal Verification

Formal verification techniques are computationally complex and the exact time and space complexities are in general not known, which makes the performance of the process unpredictable. Some of the ...