Closing Functional and Structural Coverage on RTL Generated by High-Level Synthesis
Most hardware design teams have a verification methodology that requires a deep understanding of the RTL to reach their verification goals, but this type of methodology is difficult to apply to the machine generated RTL from High-level Synthesis (HLS). This paper describes innovative techniques to use with existing methodologies, for example the Universal Verification Methodology (UVM), to close functional and structural coverage on HLS generated code.
Related resources
Mindray leverages Xpedition to overcome medical product innovation challenges
Mindray Leverages Xpedition to overcome medical product innovation challenges in this case study
Leveraging 3D layout to optimize PCB designs
This paper describes six ways to maximize the benefits of 3D PCB design for an easy understanding of the physical product, enabling identification of ECAD-MCAD problems early in the design cycle and avoiding costly re-designs.
How to overcome flex and flex-rigid design challenges
Xpedition guides users through the minefield of design challenges towards first-turn success by providing all the tools needed for successful flex and flex-rigid design and signal integrity analysis.