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 · 3 comments
Closed

Support queues #545

veripoolbot opened this issue Aug 9, 2012 · 3 comments

Comments

@veripoolbot
Copy link

@veripoolbot veripoolbot commented Aug 9, 2012


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

This comment has been minimized.

Copy link
Author

@veripoolbot veripoolbot commented Aug 9, 2012


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

This comment has been minimized.

Copy link
Author

@veripoolbot veripoolbot commented Dec 1, 2019


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

This comment has been minimized.

Copy link
Author

@veripoolbot veripoolbot commented Dec 8, 2019


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.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
1 participant
You can’t perform that action at this time.