white paper

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.

Share

Related resources

Balance cost, sustainability, quality and speed with new products
E-book

Balance cost, sustainability, quality and speed with new products

The NPI process can be time-consuming and complex. Get this ebook and find out how businesses can design and manufacture new products more quickly and efficiently.

Build profitable new product variants while reducing costs
E-book

Build profitable new product variants while reducing costs

Equipment and component manufacturers typically produce multiple variants of a single product to meet the varying needs of industrial machines. Find out how effective cost management solutions can increase revenue in this ebook.

Achieve quality excellence with new product introductions
E-book

Achieve quality excellence with new product introductions

Begin integrating quality management processes from design to manufacturing. Find out where to begin implementing quality improvement processes for new product introductions in this ebook.