DI-OSVISE
Open-Source Design Tools for the Verification of Processors and Digital Circuits
DI-OSVISE develops open-source design tools for the verification of processors and digital circuits. Rigorous verification is indispensable for reliably ensuring the functional correctness of hardware.
Objectives and Approach
The project closes existing gaps in the verification process when using open-source EDA tools in chip design, pursuing three approaches: functional verification, assessment of non-functional properties through simulation, and integration of formal verification tools.
Innovations and Perspectives
Developing a complete open-source toolchain for chip design verification eliminates the need for expensive proprietary verification tools, benefiting both chip design education and industrial product development while accelerating innovation cycles.
Project Coordinator
- Hochschule für angewandte Wissenschaften München
Project Partners
- PlanV GmbH, München
- Technische Universität Darmstadt
- Technische Universität München
- Universität zu Lübeck
This project is funded by the German Federal Ministry for Research, Technology and Space (BMFTR) as part of the Design Initiative Microelectronics.
