8 lines
131 B
Coq
8 lines
131 B
Coq
|
sqrt sqrt_inst (
|
||
|
|
.clk ( clk_sig ),
|
||
|
|
.ena ( ena_sig ),
|
||
|
|
.radical ( radical_sig ),
|
||
|
|
.q ( q_sig ),
|
||
|
|
.remainder ( remainder_sig )
|
||
|
|
);
|