Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Support queues #545

Closed
veripoolbot opened this issue Aug 9, 2012 · 5 comments
Closed

Support queues #545

veripoolbot opened this issue Aug 9, 2012 · 5 comments
Labels
resolution: fixed Closed; fixed type: feature-IEEE Request to add new feature, described in IEEE 1800

Comments

@veripoolbot
Copy link
Contributor


Author Name: Alex Solomatnikov
Original Redmine Issue: 545 from https://www.veripool.org


Obviously not synthesizable but useful for testbenches and behavioral models.

Example:

typedef enum {
         DDR_CMD_TYPE_PRECHARGE,
         DDR_CMD_TYPE_ACTIVATE,
         DDR_CMD_TYPE_WRITE,
         DDR_CMD_TYPE_READ,
         DDR_CMD_TYPE_REFRESH,
         DDR_CMD_TYPE_NOP,
         DDR_CMD_TYPE_MRS,
         DDR_CMD_TYPE_DES,
         DDR_CMD_TYPE_ZQC,
         DDR_CMD_TYPE_ERROR
} DDR_CMD_TYPE;

DDR_CMD_TYPE write_command_queue[$];

@veripoolbot
Copy link
Contributor Author


Original Redmine Comment
Author Name: Wilson Snyder (@wsnyder)
Original Date: 2012-08-09T01:58:09Z


Unfortunately not high priority for my usage, and requires moderate work as it's a dynamic construct. Perhaps you or someone else will be interested in implementing it.

@veripoolbot
Copy link
Contributor Author


Original Redmine Comment
Author Name: Wilson Snyder (@wsnyder)
Original Date: 2019-12-01T17:36:45Z


Initial queue support (using method notation, not {} notation) is in git towards eventual 4.024 release.

@veripoolbot
Copy link
Contributor Author


Original Redmine Comment
Author Name: Wilson Snyder (@wsnyder)
Original Date: 2019-12-08T13:12:27Z


In 4.024.

For additional support related to this please file new bug.

@veripoolbot veripoolbot added resolution: fixed Closed; fixed type: feature-IEEE Request to add new feature, described in IEEE 1800 labels Dec 22, 2019
@nanduraj1
Copy link

@wsnyder is array of queue on the roadmap?

from t_queue.v

     /* Unsup:
     begin
        int q[4][$];

        q[0].push_back(0);
        q[0].push_back(1);
        q[1].push_back(2);
        q[2].push_back(3);

     end
     */
``

@wsnyder
Copy link
Member

wsnyder commented Aug 12, 2020

@nanduraj1 please open a new issue requesting this. Anyhow, this is on the roadmap, but the way to get it done is to contribute a pull request ;)

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
resolution: fixed Closed; fixed type: feature-IEEE Request to add new feature, described in IEEE 1800
Projects
None yet
Development

No branches or pull requests

3 participants