9 lines
172 B
Coq
9 lines
172 B
Coq
|
periodram periodram_inst (
|
||
|
|
.clock ( clock_sig ),
|
||
|
|
.data ( data_sig ),
|
||
|
|
.rdaddress ( rdaddress_sig ),
|
||
|
|
.wraddress ( wraddress_sig ),
|
||
|
|
.wren ( wren_sig ),
|
||
|
|
.q ( q_sig )
|
||
|
|
);
|