ISOLDE PROJECT

At the FZI, we support this vision with an approach to integrate safety patterns for hardware using a model-driven design approach. The foundation builds the Rocket Chip Generator framework maintained by the Chips Alliance. Using a model-driven approach, the architecture of the hardware design is abstracted and transformations on this abstract model integrate different architectural safety patterns, such as Triple Modular Redundancy (TMR). By feeding back the modified model into the generator approach, the hardened architecture can be generated and afterward synthesized... For the model-driven approach, we build upon the Universal Safety Format (USF), which was primarily designed for hardening software architectures. Within ISOLDE, we would like to adopt this format and the underlying principles for hardware designs. By choosing an approach originating form software, we anticipate creating a design flow that can address both the hardware as well as the corresponding software part that..

Primary location: Trondheim Norway