| タイプ |
タイトル |
内容 |
| |
|
|
 |
拡張データフローウィンドウ |
See how the Advanced Dataflow window displays interconnections of an active design. Concurrent statements, port maps, signals, nets, and registers from all units on all hierarchy levels are flattened and displayed as a single-level diagram.
Recorded with Riviera-PRO 2005.04. |
 |
アサーション・ベース検証 |
Presents the use of ABV (assertion-based verification)
in Riviera. The behavior of the system (traffic
lights control) is monitored with assertions
coded in the OVA language. The movie shows assertion
flow and assertion debugging tools available
in Riviera-PRO (exactly the same flow can also be
used with PSL or SystemVerilog assertions).
Recorded with Riviera-PRO 2004.08. |
|
デバッグ機能 |
Presents the various debugging tools in Riviera-PRO including: Source code debugging, Waveform Viewer, List Viewer, Setting Breakpoints, and the Watch Window.
Recorded with Riviera-PRO 2005.04. |
|
ライブラリマネージャ |
A demonstration of using Riviera's Library Manager to create, map, and detach libraries, refresh the contents of a library, change the properties of a library, and browse the libraries.
Recorded with Riviera-PRO 2005.04. |
|
メモリビューワ |
See how to use Riviera-PRO to: browse the Memory Viewer, display and change memory content, and change the display format.
Recorded with Riviera-PRO 2005.04. |
|
PLI
ウィザード |
See how Riviera's PLI Wizard simplifies the creation of PLI Applications.
Recorded with Riviera-PRO 2005.04. |
|
SystemC
サポート |
Shows how to simulate mixed HDL and SystemC
projects. A complete flow is demonstrated. The
movie starts with compiling SystemC source files
and adding SystemC components to the design
library. When simulation is initialized the
mixed HDL-SystemC design hierarchy is displayed
in the Structure Browser. SystemC signals are
recorded to a simulation database and displayed
in the Waveform Viewer.
Recorded with Riviera-PRO 2004.08 and gcc 3.3.2. |
|
X トレース |
Presents XTrace - a tool for detecting unknown
values during simulation. After enabling XTrace
each "X" is reported to the Console.
Clicking on an XTrace message opens the HDL
Editor and shows the statement that caused the
unknown value. Various XTrace options, for example
pausing the simulation when an "X"
happens are shown.
Recorded with Riviera-PRO 2005.04. |
|
波形ウィンドウ |
Gives an overview of the Waveform Viewer. Shows
how to add signals from the simulated model
to the Waveform Viewer, mix waveform-like and
list-like views in one window, browse waveforms,
save waveform files, etc. The movie also presents
debugging features, such as setting signal breakpoints
or showing the source of an event selected in
the waveform. Waveform comparison, forcing signals
in the simulated model and changing waveform
colors are also discussed.
Recorded with Riviera-PRO 2004.08. |
In order to view the Multimedia Demos you may
need to download and install Macromedia
Flash Player.
top