not-val eo-int -1 RES-0001 selec-w TEN-0001 tenders 1 t-esubm 1 t-sme 1 t-oth-eea 1 t-no-eea 0 CON-0001 LOT-0000 win-ten-val eo-int TEN-0001 -1 no TPA-0001 LOT-0000 TEN-0001 CON-0001 2025-07-16+02:00 CON-0001 TEN-0001 TPA-0001 ORG-0001 29 false true https://vergabe.fraunhofer.de/ ORG-7001 Fraunhofer-Gesellschaft - Einkauf B12 Fraunhofer-Gesellschaft - Einkauf B12 Hansastraße 27c München 80686 DE212 DEU DE 129515865 Einkauf Betrieb und Infrastruktur +49891205-0 einkauf@zv.fraunhofer.de ORG-7004 Vergabekammern des Bundes Vergabekammern des Bundes Kaiser-Friedrich-Straße 16 Bonn 53113 DEA22 DEU t:022894990 +49 228 9499-0 vk@bundeskartellamt.bund.de https://www.fraunhofer.de ORG-7005 Fraunhofer-Gesellschaft zur Förderung der angewandten Forschung e.V. Fraunhofer-Gesellschaft zur Förderung der angewandten Forschung e.V. Hansastraße 27c München 80686 DE212 DEU DE-129515865 +49 89 1205-0 einkauf@zv.fraunhofer.de false UBO-0001 micro ORG-0001 YosysHQ GmbH YosysHQ GmbH Dornbacher Str. 12/22 Wien 1170 AT130 AUT ATU76388749 office@yosyshq.com ORG-7006Datenservice Öffentlicher Einkauf (in Verantwortung des Beschaffungsamts des BMI)Datenservice Öffentlicher Einkauf (in Verantwortung des Beschaffungsamts des BMI)Bonn53119DEA22DEU0204:994-DOEVD-83+49228996100noreply.esender_hub@bescha.bund.de UBO-0001 00466576-2025135/20252025-07-17+02:00 2.3 eforms-sdk-1.12 eforms-sdk-1.12 535f2c52-a531-4ff6-a99b-a04357ad00f6 63cf0b45-7fbf-47f0-9e58-6a65b644bf99 2025-07-16+02:00 09:09:13+02:00 01 2025-07-16+02:00 32014L0024 can-standard DEU ENG https://vergabe.fraunhofer.de/NetServer/ pub-undert gen-pub ORG-7001 ted-esenORG-7006 vgv open false false PR903426-2380-P Verification IP (IMS-09) - PR903426-2380-P Verification IP (IMS-09) - PR903426-2380-P Verification IP (IMS-09) Tooling and IP Blocks for verification of safety and security features of digital designs, RISC-V microcontrollers and extensions and platform features of System on Chips. To check and guarantee fail safe operation as well as fault detection and correction, classical HDL verification IP as well as formal verification will be used. The support for the RISC-V architecture must be ensured. At the end of the project, the IP provider is requested to make the tooling and rule set definitions available under Open Source license. supplies 48321000 Duisburg 47057 DEA12 DEU LOT-0000 false no-eu-funds per-exa 30.00 quality Technische Ausführung Technical details Technische Ausführung Technical details per-exa 70.00 price Preis Price Preis Price ORG-7001 ORG-7005 ORG-7004 true false none none LOT-0000 Verification IP (IMS-09) - PR903426-2380-P Verification IP (IMS-09) - PR903426-2380-P 1 Stück Verification IP für Sicherheitsfeatures 1 pc. Verification IP for safety features inkluding following options 2.10 Verification IP for checking typical properties of RISC-V security architectures (functional safety) 2.11 Authentication Module for Secure External Debug supplies none 48321000 2026-10-12+02:00 2026-10-16+02:00 2000-01-01+01:00