How to view assertions in the Verdi waveform viewer
2016-10-12 17:08
525 查看
In the Cadence Simvision waveform viewer, I can see every assertions listed as a hierarchical signal, and also can browse assertions and view their counts (failed, active, finished) as regular waveforms. Now in the Verdi, I cannot do like that. Does anyone know how to make assertions viewable just like regular nets/signals in Verdi? Thanks in advance.
If my knowledge is not out, I believe Verdi can support same feature as simvision except on the fly waveform review. You can see it because you may not dump assertion in fsdb or not enable specific option. Try to review the Verdi user guide, I believe you can find what's missing and how to do.
Hi Roman, thank you very much. As you say, Verdi can support the same feature as Simvision. Following Verdi user guide, the solution is that, we need to do evaluate assertions in Tools -> Property Tools -> Evaluator, then select the available properties we want to view and evaluate them.
Hi Jiarui, another choice is use DVE to view assertion waveform.
Got it, it works. Double-click an assertion of interest in the Assertion tab. Then the Wave Window appears waveform data related to the selected assertion. Thanks Andy.
相关文章推荐
- how to scroll a ScrollViewer at design time in Blend to manually design content for it that goes beyond the visible view
- How to sort by a form that is not displayed in the document in MicroStrategy Desktop 8.x
- [MVC] 获取请求时缺少"+"的处理办法 How to fix the bug that missing plus in Request.QueryString/Form
- bpel 测试遇到“The content of the body cannot be displayed in the form view. Please switch to the source”
- how to reference the parent form from the WPF control(Control in ElementHost)
- How to Integrate Excel in a Windows Form Application using the WebBrowser
- How to filter the ManyToManyField or ForeignKey in modelForm?
- How to display fields in the frontend item view
- How to popup a UIPickerView from the bottom of a UIScrollView in response to UITextField selection
- How to use isInEditMode() to see layout with custom View in the editor
- How to get the query statement of LOV in Oracle Form
- How to view the schema class or attribute definition you first have to install the Active Directory Schema snap-in
- Switch view in the InfoPath form according to the whether current user is in SharePoint group admin
- In an iOS 5 Storyboard, how do you push a new scene to the original view controller from a Popover?
- How to invoke the method of managed bean and render view in JSF when we are outside the lifecycle of JSF
- How to set the default input focus on a field in an HTML web form
- How to view the free space of your partitions in Ubuntu
- [eZ publish] How to modify the $view_parameters valus in the template.
- How to hide the create button dynamical tree view in openerp ?
- How To Determine Table/View Name in a Form