• Skip to main content
  • Skip to search
  • Skip to footer
Cadence Home
  • This search text may be transcribed, used, stored, or accessed by our third-party service providers per our Cookie Policy and Privacy Policy.

  1. Community Forums
  2. Functional Verification
  3. simvision, get when a cover assertion was hit

Stats

  • Locked Locked
  • Replies 4
  • Subscribers 65
  • Views 14675
  • 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

simvision, get when a cover assertion was hit

kkhsieh
kkhsieh over 9 years ago

Hi all,

In simvision, given an assertion, is there a way to get all the timestamps when the assertion was hit?

Thanks.

  • Cancel
  • Doug Koslow
    Doug Koslow over 9 years ago

    Hi Kuokai,


    One way to do this would be to probe the assertion activity as transactions (i.e. "probe -create -assertions -transaction <assertion>"), and then use the Transaction Stripe Chart window in SimVision to view the activity of the assertion by simulation time.  (You can even export the data to a .CSV file.)

    Good luck!

    - Doug

    • Cancel
    • Vote Up 0 Vote Down
    • Cancel
  • kkhsieh
    kkhsieh over 9 years ago

    Hi Doug,

    It works. Do you know any method such that I can convert them to CSV in batch mode?

    Thanks for the reply.

    Best,

    -Kuokai

    • Cancel
    • Vote Up 0 Vote Down
    • Cancel
  • Doug Koslow
    Doug Koslow over 9 years ago

    Hi Kuokai,

    SimVision itself is not a pure batch mode tool.  However, you can use the Transaction Explorer tool (TXE) to extract information about transactions and write them to a file in batch mode.  (You can check the Incisive docs regarding this tool.)


    Thanks.

    - Doug

    • Cancel
    • Vote Up 0 Vote Down
    • Cancel
  • kkhsieh
    kkhsieh over 9 years ago

    Hi Doug,

    Thank you for the help. Now I'm able to get the information via TXE batch mode!

    Sincerely,

    - Kuokai

    • Cancel
    • Vote Up 0 Vote Down
    • Cancel

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.

© 2025 Cadence Design Systems, Inc. All Rights Reserved.

  • Terms of Use
  • Privacy
  • Cookie Policy
  • US Trademarks
  • Do Not Sell or Share My Personal Information