Filtern
Erscheinungsjahr
- 2021 (1)
Dokumenttyp
- Dissertation (1)
Sprache
- Englisch (1)
Volltext vorhanden
- ja (1)
Schlagworte
- hardware (1) (entfernen)
Fachbereich / Organisatorische Einheit
Property-Driven Design
(2021)
We introduce Property-Driven Design, a tool-flow that guarantees formal soundness be- tween ESL and RTL and thus enables a shift-left of general functional verification by moving HW verification to higher abstraction layers. In addition, by generating a formal Verification IP (VIP) automatically from ESL descriptions, the entry hurdle to formal methods is reduced considerably, opening them to a wider audience, which effectively ‘democratizes’ them. Short feedback cycles reduce time spent on RTL verification and lead to higher-quality designs.