You cannot select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
13 lines
208 B
Coq
13 lines
208 B
Coq
3 years ago
|
|
||
|
|
module arb # (
|
||
|
|
) (
|
||
|
|
|
||
|
|
);
|
||
|
|
|
||
|
|
// fairly choose 1 or 2 (depending on output buses) cmds
|
||
|
|
// mark taken from queue
|
||
|
|
// obey restrictions from smp, etc.
|
||
|
|
// detect addr collisions - not needed if no caching?
|
||
|
|
|
||
|
|
|
||
|
|
endmodule
|