HL centric apps are plug-in compatible with existing RTL flows & UVM principles, targeting:
Check design for undefined behaviors
Achieve coverage closure
Detect setup mistakes that change design behavior
Check implementation correctness
Detect differences with bug hunting
• Waive unreachable coverage points for accurate coverage metrics
• Witness reachable coverage points for simulation replay, greater insight
• Plug-play integration with Catapult Coverage with industry standard UCDB database
Formally check memory setup
Formally check for sufficient FIFO depth/size between blocks
Detect Catapult inferred mistakes and constraints problems early
Formally check sequential behavior maintain design behavior / intent
Formally search for differences between the HLS model the HLS setup and created RTL. Significantly reduces the time and effort to establish confidence that the intended functionality is maintained without requiring exhaustive simulation. Mismatches are formally proven and flagged with counter-examples.
Email us at firstname.lastname@example.org
Blog covering next generation High-Level Synthesis (HLS) design and verification methodologies and techniques.
The Catapult High-Level Synthesis (HLS) On-Demand training library contains a set of learning paths with modules to introduce Engineers to HLS and High-Level Verification.
Access detailed documentation, releases, resources and more.
Helping you achieve maximum business impact by addressing your complex technology and enterprise challenges with a unique blend of development experience, design knowledge, and methodology expertise.
Join the discussion on new topics, features, content, and technical experts.