Some contributions to core-v-verif are supported by the TRISTAN and ISOLDE projects, which have received funding from the Chips Joint Undertaking (Chips JU), Austria, Belgium, Czechia, Finland, France, Germany, Italy, the Netherlands, Poland, Romania, Sweden, Switzerland, Spain and Turkey under grant agreements 101095947 and 101112274. The JU receives support from the European Union’s Horizon Europe research and innovation program.
