Prev: Virtex-5 with DDR3 running @ 50Mhz
Next: Which WebPack for old Spartan and Spartan-2?
From: jjlindula on 14 Jan 2010 15:48
Hello, I've been using the Quartus Simulator for many years and have
recently started learning about the SystemVerilog Verification. I was
hoping to find someone that has done this and is using Quartus. I am
new to ModelSim and I configure Quartus to launch ModelSim to run my
simulation. If anyone could provide a simple example of a program and
a Verification testbench I would very much appreciate it. I've been
reading Chris Spear's book SystemVerilog for Verification and would
like to see an example that works in Quartus. I'm still trying to get
a handle of what is a Generator, Agent, Drier, Monitor, and Checker,
terms found in Spear's book.

Thanks everyone,
joe
From: Jonathan Bromley on 15 Jan 2010 03:02
On Thu, 14 Jan 2010 12:48:23 -0800 (PST), jjlindula wrote:

>Hello, I've been using the Quartus Simulator for many years and have
>recently started learning about the SystemVerilog Verification. I was
>hoping to find someone that has done this and is using Quartus. I am
>new to ModelSim and I configure Quartus to launch ModelSim to run my
>simulation. If anyone could provide a simple example of a program and
>a Verification testbench I would very much appreciate it. I've been
>reading Chris Spear's book SystemVerilog for Verification and would
>like to see an example that works in Quartus. I'm still trying to get
>a handle of what is a Generator, Agent, Drier, Monitor, and Checker,
>terms found in Spear's book.

Note that you will need the enhanced version of ModelSim (Questa,
or possibly Modelsim SE with various additional license features)
to run most of the new SystemVerilog verification features.
Chris Spear's book mainly describes verification architecture
using SystemVerilog's object-oriented programming features,
and those definitely require top-end features of the simulator
that you simply won't get in the cheaper or "student" editions.

If you do have access to a full version of Questa or Modelsim,
you will also need to be aware that the examples in Spear's
book were written to run on Synopsys' VCS simulator. Although
the SystemVerilog language is IEEE standardized, there remain
some differences among the simulators - and the book was written
a while ago, at a time when those differences were somewhat
greater. So don't be too surprised if you get compile errors
for some examples - folk here will certainly be able to
help straighten that out for you.

Also, take a look at the two big-name methodology websites
www.vmmcentral.org www.ovmworld.org
Both have downloads of toolkits, documentation and examples,
and both have active user forums.
--
Jonathan Bromley
From: RCIngham on 15 Jan 2010 05:20
>On Thu, 14 Jan 2010 12:48:23 -0800 (PST), jjlindula wrote:
>
>>Hello, I've been using the Quartus Simulator for many years and have
>>recently started learning about the SystemVerilog Verification. I was
>>hoping to find someone that has done this and is using Quartus. I am
>>new to ModelSim and I configure Quartus to launch ModelSim to run my
>>simulation. If anyone could provide a simple example of a program and
>>a Verification testbench I would very much appreciate it. I've been
>>reading Chris Spear's book SystemVerilog for Verification and would
>>like to see an example that works in Quartus. I'm still trying to get
>>a handle of what is a Generator, Agent, Drier, Monitor, and Checker,
>>terms found in Spear's book.
>
>Note that you will need the enhanced version of ModelSim (Questa,
>or possibly Modelsim SE with various additional license features)
>to run most of the new SystemVerilog verification features.
>Chris Spear's book mainly describes verification architecture
>using SystemVerilog's object-oriented programming features,
>and those definitely require top-end features of the simulator
>that you simply won't get in the cheaper or "student" editions.
>
>If you do have access to a full version of Questa or Modelsim,
>you will also need to be aware that the examples in Spear's
>book were written to run on Synopsys' VCS simulator. Although
>the SystemVerilog language is IEEE standardized, there remain
>some differences among the simulators - and the book was written
>a while ago, at a time when those differences were somewhat
>greater. So don't be too surprised if you get compile errors
>for some examples - folk here will certainly be able to
>help straighten that out for you.
>
>Also, take a look at the two big-name methodology websites
> www.vmmcentral.org www.ovmworld.org
>Both have downloads of toolkits, documentation and examples,
>and both have active user forums.
>--
>Jonathan Bromley
>

And Janick Bergeron's "Verification Guild" site at
http://verificationguild.com/ is a great resource for SystemVerilog
verification information (and some good stuff for other languages).


---------------------------------------
This message was sent using the comp.arch.fpga web interface on
http://www.FPGARelated.com
From: jjlindula on 15 Jan 2010 10:32
On Jan 15, 12:02 am, Jonathan Bromley <jonathan.brom...(a)MYCOMPANY.com>
wrote:
> On Thu, 14 Jan 2010 12:48:23 -0800 (PST), jjlindula wrote:
> >Hello, I've been using the Quartus Simulator for many years and have
> >recently started learning about the SystemVerilog Verification. I was
> >hoping to find someone that has done this and is using Quartus. I am
> >new to ModelSim and I configure Quartus to launch ModelSim to run my
> >simulation. If anyone could provide a simple example of a program and
> >a Verification testbench I would very much appreciate it. I've been
> >reading Chris Spear's book SystemVerilog for Verification and would
> >like to see an example that works in Quartus. I'm still trying to get
> >a handle of what is a Generator, Agent, Drier, Monitor, and Checker,
> >terms found in Spear's book.
>
> Note that you will need the enhanced version of ModelSim (Questa,
> or possibly Modelsim SE with various additional license features)
> to run most of the new SystemVerilog verification features.
> Chris Spear's book mainly describes verification architecture
> using SystemVerilog's object-oriented programming features,
> and those definitely require top-end features of the simulator
> that you simply won't get in the cheaper or "student" editions.
>
> If you do have access to a full version of Questa or Modelsim,
> you will also need to be aware that the examples in Spear's
> book were written to run on Synopsys' VCS simulator.  Although
> the SystemVerilog language is IEEE standardized, there remain
> some differences among the simulators - and the book was written
> a while ago, at a time when those differences were somewhat
> greater.  So don't be too surprised if you get compile errors
> for some examples - folk here will certainly be able to
> help straighten that out for you.
>
> Also, take a look at the two big-name methodology websites
>  www.vmmcentral.org www.ovmworld.org
> Both have downloads of toolkits, documentation and examples,
> and both have active user forums.
> --
> Jonathan Bromley

Thanks Jonathan, I'm using Modelsim Altera Starter Edition 6.5b, will
that be okay?
From: jjlindula on 15 Jan 2010 10:44
On Jan 15, 2:20 am, "RCIngham" <robert.ingham(a)n_o_s_p_a_m.gmail.com>
wrote:
> >On Thu, 14 Jan 2010 12:48:23 -0800 (PST), jjlindula wrote:
>
> >>Hello, I've been using the Quartus Simulator for many years and have
> >>recently started learning about the SystemVerilog Verification. I was
> >>hoping to find someone that has done this and is using Quartus. I am
> >>new to ModelSim and I configure Quartus to launch ModelSim to run my
> >>simulation. If anyone could provide a simple example of a program and
> >>a Verification testbench I would very much appreciate it. I've been
> >>reading Chris Spear's book SystemVerilog for Verification and would
> >>like to see an example that works in Quartus. I'm still trying to get
> >>a handle of what is a Generator, Agent, Drier, Monitor, and Checker,
> >>terms found in Spear's book.
>
> >Note that you will need the enhanced version of ModelSim (Questa,
> >or possibly Modelsim SE with various additional license features)
> >to run most of the new SystemVerilog verification features.
> >Chris Spear's book mainly describes verification architecture
> >using SystemVerilog's object-oriented programming features,
> >and those definitely require top-end features of the simulator
> >that you simply won't get in the cheaper or "student" editions.
>
> >If you do have access to a full version of Questa or Modelsim,
> >you will also need to be aware that the examples in Spear's
> >book were written to run on Synopsys' VCS simulator.  Although
> >the SystemVerilog language is IEEE standardized, there remain
> >some differences among the simulators - and the book was written
> >a while ago, at a time when those differences were somewhat
> >greater.  So don't be too surprised if you get compile errors
> >for some examples - folk here will certainly be able to
> >help straighten that out for you.
>
> >Also, take a look at the two big-name methodology websites
> >  www.vmmcentral.org www.ovmworld.org
> >Both have downloads of toolkits, documentation and examples,
> >and both have active user forums.
> >--
> >Jonathan Bromley
>
> And Janick Bergeron's "Verification Guild" site athttp://verificationguild.com/is a great resource for SystemVerilog
> verification information (and some good stuff for other languages).
>
> ---------------------------------------        
> This message was sent using the comp.arch.fpga web interface onhttp://www..FPGARelated.com

Thanks everyone for your comments.
 |  Next  |  Last
Pages: 1 2 3 4
Prev: Virtex-5 with DDR3 running @ 50Mhz
Next: Which WebPack for old Spartan and Spartan-2?