Stats

  • Locked Locked
  • Replies 3
  • Subscribers 63
  • Views 14566
  • Members are here 0
This discussion has been locked.
You can no longer post new replies to this discussion. If you have a question you can start a new discussion

Help: memory equivalence check between RTL and schematic

WorldMaker

Hi,

It mentions that encounter conformal equivalence checker can do memory equivalence check between schematic and RTL, but I cannot any example or demo. Is there anyone can demo how to do memory EC? I am wondering how the EC engine deal with the bit-cell array, treating it as black box and ignoring it? or the EC engine abstract the bit-cell schematic into latch and compare the abstracted memory verilog with the memory primitive?

Can the replica bit-line style memory be checked by EC?

thanks,

Worldmaker

Parents
  • Hi WorldMaker, Yes, you should be able to compare two RTL designs, using Conformal equivalency checker. However, this depends on whether two designs have similar structure - ie logic cone at all end points has to match cycle by cycle. I would recommend black boxing the core memory array in both, and make sure the wrapper logic is equivalent. As for the documentation or demo, it's available at sourcelink, as well as the full documentation at Conformal installation/doc directory. Please contact myself or your Cadence contact and see if you can get a hold of one of the above. You can email me at 'surlung@cadence.com' Thanks, Sean
Reply
  • Hi WorldMaker, Yes, you should be able to compare two RTL designs, using Conformal equivalency checker. However, this depends on whether two designs have similar structure - ie logic cone at all end points has to match cycle by cycle. I would recommend black boxing the core memory array in both, and make sure the wrapper logic is equivalent. As for the documentation or demo, it's available at sourcelink, as well as the full documentation at Conformal installation/doc directory. Please contact myself or your Cadence contact and see if you can get a hold of one of the above. You can email me at 'surlung@cadence.com' Thanks, Sean
Children
No Data

Community Guidelines

The Cadence Design Communities support Cadence users and technologists interacting to exchange ideas, news, technical information, and best practices to solve problems and get the most from Cadence technology. The community is open to everyone, and to provide the most value, we require participants to follow our Community Guidelines that facilitate a quality exchange of ideas and information. By accessing, contributing, using or downloading any materials from the site, you agree to be bound by the full Community Guidelines.