Home > Community > Forums > Functional Verification > "Automatic" keyword supported in NCverilog6.1?

Email

* Required Fields

Recipients email * (separate multiple addresses with commas)

Your name *

Your email *

Message *

Contact Us

* Required Fields
First Name *

Last Name *

Email *

Company / Institution *

Comments: *

 "Automatic" keyword supported in NCverilog6.1? 

Last post Sat, Jul 7 2007 3:21 AM by archive. 6 replies.
Started by archive 07 Jul 2007 03:21 AM. Topic has 6 replies and 1567 views
Page 1 of 1 (7 items)
Sort Posts:
  • Sat, Jul 7 2007 3:21 AM

    • archive
    • Top 75 Contributor
    • Joined on Fri, Jul 4 2008
    • Posts 88
    • Points 4,930
    "Automatic" keyword supported in NCverilog6.1? Reply

    Hello All, Do the system verilog keyword "automatic" is supported in ncverilog ver 6.1? I tried the following code program automatic test(FIFO_INF.TEST FIFO_INF_U1) // code endprogram The above gave me error, then i tried removing automatic, then the program worked fine. So want to know automatic" keyword is suported or not. Thanks & Regards, Quest Team


    Originally posted in cdnusers.org by sundar_80
    • Post Points: 0
  • Mon, Jul 9 2007 2:18 AM

    • archive
    • Top 75 Contributor
    • Joined on Fri, Jul 4 2008
    • Posts 88
    • Points 4,930
    RE: "Automatic" keyword supported in NCverilog6.1? Reply

    Hi Sundar.

    A "program" itself can't be "automatic", it just doesn't make sense since a program is like a special version of a module.
    Each program is instantiated in the simulation hierarchy, thus has its own scope and variable instances.
    Automatic is only referring to the program's tasks or functions, because these can be invoked in parallel (i.e. creating multiple threads). In this case automatic tells the simulator to keep separate copies of variables for each invocation of the task/function.

    It sounds like automatic program may not be supported, but you can achieve the exact same effect by declaring all the tasks/functions as automatic inside a normal program block. For example the following two forms should behave identically.
    This would also be clearer to anyone reading the code, since it's then obvious that each task/function has been declared automatic.

    program automatic p1;
    task t1;
    ...
    endtask
    endprogram

    program p2;
    task automatic p2;
    ...
    endtask
    endprogram

    Steve.


    Originally posted in cdnusers.org by stephenh
    • Post Points: 0
  • Tue, Jul 24 2007 9:47 PM

    • archive
    • Top 75 Contributor
    • Joined on Fri, Jul 4 2008
    • Posts 88
    • Points 4,930
    RE: "Automatic" keyword supported in NCverilog6.1? Reply

    Hello Steve,
    Thanks a lot for your reply and from your code i can understand clearly how we can achieve program automatic behavior.
    The basic reason for my query was in "SystemVerilog for Verification" by Chris Spear book, all the example program block contained "program automatic" when i tried to execute the same program in both cadence and modelsim the simulator gave error, so i was under the impression that modelsim and cadence doesn’t support automatic yet. But i have not tried the same example in VCS, anyways thanks a lot for your explanation.

    Sundar


    Originally posted in cdnusers.org by sundar_80
    • Post Points: 0
  • Wed, Jul 25 2007 9:07 AM

    • archive
    • Top 75 Contributor
    • Joined on Fri, Jul 4 2008
    • Posts 88
    • Points 4,930
    RE: "Automatic" keyword supported in NCverilog6.1? Reply

    Hi Sundar, Automatic program is valid as per IEEE 1800 standard and I'm sure tools will support them in near future. I also recommend using automatic programs in my [b]SystemVerilog for Verification course [/b] that I deliver in Bangalore (See: www.noveldv.com). It makes life easier with several threads being spawned off with an advanced SV testbench. However as Steve said one can work it around as an interim solution. Here is LRM quote for your reference.

    program_nonansi_header ::= { attribute_instance } program [ lifetime ] program_identifier [ parameter_port_list ] list_of_ports ;
    HTH Ajeetha, CVC www.noveldv.com


    Originally posted in cdnusers.org by ajeetha
    • Post Points: 0
  • Fri, Jul 27 2007 1:59 AM

    • archive
    • Top 75 Contributor
    • Joined on Fri, Jul 4 2008
    • Posts 88
    • Points 4,930
    RE: "Automatic" keyword supported in NCverilog6.1? Reply

    Hello Ajeetha, Thanks a lot for your mail. Good to know about your recommendations which you are mentioning in the course, but can you able to run that program which uses the automatic program block? if so can you please let me know which tool you are using. Sundarraj


    Originally posted in cdnusers.org by sundar_80
    • Post Points: 0
  • Fri, Jul 27 2007 10:17 AM

    • archive
    • Top 75 Contributor
    • Joined on Fri, Jul 4 2008
    • Posts 88
    • Points 4,930
    RE: "Automatic" keyword supported in NCverilog6.1? Reply

    Sundar,
       I didn't try your specific code, but we have used extensively automatic program construct during our VMM adoption book, see: www.systemverilog.us. I used VCS for the same.

    HTH
    Ajeetha, CVC
    www.noveldv.com  


    Originally posted in cdnusers.org by ajeetha
    • Post Points: 0
  • Sun, Jul 29 2007 11:29 PM

    • archive
    • Top 75 Contributor
    • Joined on Fri, Jul 4 2008
    • Posts 88
    • Points 4,930
    RE: "Automatic" keyword supported in NCverilog6.1? Reply

    Hello Ajeetha,
    THanks a lot i will soon try to get the VMM book from your website.

    Sundarraj


    Originally posted in cdnusers.org by sundar_80
    • Post Points: 0
Page 1 of 1 (7 items)
Sort Posts:
Started by archive at 07 Jul 2007 03:21 AM. Topic has 6 replies.