Verifore Verification IP

Verification IPs for several interfaces, all written in SystemVerilog, are available. Verifore Verifocation IP helps realize high performance compile and simulation time. VIP includes re-usable scoreboard and memory manager in addition to master, slave and monitor. We also offer services to customers to develop proprietary VIP.

• AMBA (AXI, AHB, APB)
• Memory (DDR1/2/3)
• Others

inquiry

NextOp software, inc (BugScope)

BugScope solves ABV bottleneck

• Create high-quality whitebox assertions
• Create high-quality functional coverage goals

Assertion Synthesis

• Leverage testbench to create assertion automatically
• Novel algorithms to efficiently create assertions

Inquiry

Interactive 2-D Projection Cross Coverage Viewer

Identifying the root cause of the coverage holes is crucial to reach the coverage closure efficiently. To accelerate this process, we developed a coverage viewer which interactively projects arbitrary two coverage points onto two-dimensions, based on the assumption that two-dimensional is the most natural form for human to understand the relation between the two.

Inquiry

Contents