SoC Verification on FPGA

In General, SoC Soft IP is nothing but a actual ASIC chip sitting in FPGA.
But how do we ensure that this is meetnig all functionality of the ASIC Chip.
I.e

  1. How do you ensure that all the ASIC supporting instruction opocodes are covered in this Soft IP ?
  2. How to add few more instruction to the existing Soft IP Core ?
  3. How to verify the functionality of Soft IP:
  • Is it through the simulation by using test cases or any other approach by using assembly code in the On-board Target ?
  • How to perform the on-board testing of this SoC ?

For example:
Intel 80376 from Intel is a ASIC processor and its discontinued in the market.
But Soft IP are available in market but how do we verify that SoC Soft IP is meeting all the requirements of ASIC Processor (Intel 80376)

In reply to harshagoud:

It shouldn’t be your job to verify the IP you’ve purchased, that should be the job of the IP provided (please let me finish :)).

Your job is making sure your design’s requirements are met. Your design has a set of tasks it needs to accomplish, and the softIP is just a building block, just the the FPGA has a set of smaller building blocks under it.

That said, a lot of soft IP is configurable, and you need to make sure the IP has been configured correctly. That might include the availability of certain instruction subsets. You might just confirm th the instruction is there (e.g a floating-point operation), not test the full operation of the instruction.

A lot of this also comes down to trust in the IP provider, and how long the IP has been around.