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.
26 lines
513 B
Coq
26 lines
513 B
Coq
3 years ago
|
|
||
|
|
module smp # (
|
||
|
|
) (
|
||
|
|
|
||
|
|
);
|
||
|
|
|
||
|
|
// larx/stcx
|
||
|
|
// assume: if larx hits L1, core invalidates line automatically -> do not need to send back-invalidate
|
||
|
|
// reservation granule is 32B (or use lcd of all cores)
|
||
|
|
// one reservation per thread
|
||
|
|
// reservation is set before core receives reload data
|
||
|
|
|
||
|
|
wire stcx_store [0:3];
|
||
|
|
wire resv_ra_hit [0:3];
|
||
|
|
wire resv_set [0:3];
|
||
|
|
wire resv_rst [0:3];
|
||
|
|
wire [27:0] resv_q [0:3]; // v, @31:5
|
||
|
|
wire [27:0] resv_d [0:3];
|
||
|
|
|
||
|
|
// sync ops
|
||
|
|
|
||
|
|
// cache ops
|
||
|
|
|
||
|
|
// tlb ops
|
||
|
|
|
||
|
|
endmodule
|