What is the CDC tool from Cadence ? It looks like there are at least 2 choices when googling the internet.
1. What are the difference between Conformal Litmus vs JasperGold CDC ?
2. Does Incisive HAL have any CDC checking ?
Appreciate any feedback.
On the which CDC question, the answer closely ties to your role. If you are more on the implementation side and familiar with that toolset, Conformal Litmus would likely be your tool. However, if you are more on the RTL DV verification side, Jasper is likely your tool. Given your question about HAL, I’m assuming the latter.
As far as HAL, there are very basic CDC checks which can be useful but not likely sufficient for signoff. More details can be found in the “HAL User Guide” on COS (Cadence Online Support – https://support.cadence.com)
But please feel free to reach out to me directly (firstname.lastname@example.org) to discuss further.
Thanks a lot for your feedback. As your guess, my background is logic design. However, I am trying to evaluate a proper flow for my company and would like to know more about the details.
Further questions :
1. Are both tools using the same core/engine ? Is there any comparison table about these 2 tools that you can provide the link ? It would be good to know the pros and cons of each tool ?
2. I also found this " Conformal Extended Checks " . How is this different from above 2 tools ?