no code implementations • 30 May 2024 • Deepak Narayan Gadde, Thomas Nalapat, Aman Kumar, Djones Lettnin, Wolfgang Kunz, Sebastian Simon
The increasing design complexity of System-on-Chips (SoCs) has led to significant verification challenges, particularly in meeting coverage targets within a timely manner.
no code implementations • 20 Apr 2024 • Aman Kumar, Sebastian Simon
This paper is focused on a semi-formal verification methodology for efficient configuration coverage of highly configurable digital designs.