sequences

Sequence is a powerful means of achieving verification goal, but that's not the only way. Explain your scenario in English, someone will be able to help you code it in plain E. Understand that sequence is a construct internally built using plain E, so you can do the same thing with plain E - without sequences, though maybe hard. In general using a list and keep for each constraint you can achieve what you need.

Cheers
Ajeetha, CVC
www.noveldv.com

Originally posted in cdnusers.org by ajeetha

Thanks a lot. One more thing, when i can use sequences and were not use in environment. You mention above that internally create e code. For that we need to import any file?. Lets i want to create environment for AHB eVC not with eRM compliant, can i write with sequences? if not why? if yes how?

Originally posted in cdnusers.org by vlsi_dude

Whether or not you can use sequences in a non-eRM context *might* depend on just how different your environment is relative to eRM.
Can you explain why you are so keen to build a non-eRM compliant environment?
After all, eRM was developed from the best reuse practices of many customers. I can't think of any reason why you would need to avoid eRM.

If there's something you think can't be done in an eRM context, maybe the forum can help you see how it can be done?

Sequences use some e macros and base classes, so you would need to import the eRM package in order to use the sequence mechanisms, even if you're building a differently structured env.

Again, if you can give some more details on what you're actually trying to achieve, we can probably help...

Originally posted in cdnusers.org by stephenh

Thanks a lot steve.

I am new to eVC.
Can u pls give me some brief information about how to create eRM complaint eVC's.
if u have any examples just provide me.

Originally posted in cdnusers.org by vlsi_dude

Please read $SPECMAN_HOME/docs/pdf_docs/erm.pdf (eRM Developer Manual) for detailed instructions on how to create an eVC.

Originally posted in cdnusers.org by pjigar

I can't give a short description that would do eRM justice! There are a number of things to consider with eRM, and a good place to start is to read the docs, as mentioned already by pjigar.
Cadence does have some template builder utilities that can produce a skeleton eVC tailored to your application (e.g. point-to-point bus, or multi-master/multi-slave bus). For these, I suggest you find your local Cadence AE and ask them to help you get started.

You will also find examples shipped with IPCM (the methodology kit from Cadence). These examples are complete eRM compliant eVCs that you can read about in the docs, and also run to see waveforms. If you don't already have it, IPCM is available off the Cadence website: http://downloads.cadence.com/.

Part of the eRM is the library of utilities like sequences, logging (message fn) and some base units for inheriting common functionality. Using these really helps your code to be efficient, and also makes it play nicely with any other eRM compliant eVC.
If you plan to reuse your eVC across different projects, then this becomes very important.

The other part of eRM is the architecture, the components you build (agent, monitor, sequence driver, bus functional model). eRM even gives recommendations about file naming and so on, to make it easy for people to support and maintain the code.

So as you see, there's a lot to explain about eRM! However, don't be afraid of it - the rules are all very simple, and logical.
With the help of your AE or the template builder, you'll be up and running in no time! :-)

Originally posted in cdnusers.org by stephenh

Can any one help me on this. Any possible way to get throughput 100% for 2:1 bus arbiter.

Originally posted in cdnusers.org by vlsi_dude

Hi Dude,

The documentation referenced by pjigar and Steve on eRM and sequences that are available in Specman and through sn_help.sh are quite elaborate on the subject. Assuming you've read that, what exactly is it you're having trouble with?

Regarding your 100% throughput, let's assume you've got a bus eVC in place with a BFM. Then you only need to setup a sequencing environment on top of that (the documentation is good on that) and then define the specific sequences you need, assuming you've got requirements on the stimuli for the arbiter.

Good luck,
Hilmar

Originally posted in cdnusers.org by Hilmar

Thanks a lot. In design point of view, any changes in arbiter, while doing verification can get 100% throughput. i have priority logic scheme algorithm.

Originally posted in cdnusers.org by vlsi_dude

OK, let me rephrase my question: What exactly is it that you would like to have more information on?

Originally posted in cdnusers.org by Hilmar