mirror of
https://github.com/aolofsson/oh.git
synced 2025-01-30 02:32:53 +08:00
21 lines
566 B
Coq
21 lines
566 B
Coq
|
module oh_abs (/*AUTOARG*/);
|
||
|
|
||
|
//###############################################################
|
||
|
//# Parameters
|
||
|
//###############################################################
|
||
|
parameter DW = 64;
|
||
|
|
||
|
//###############################################################
|
||
|
//# Interface
|
||
|
//###############################################################
|
||
|
|
||
|
//inputs
|
||
|
input [DW-1:0] a; //first operand
|
||
|
|
||
|
//outputs
|
||
|
output [DW-1:0] out; //out=abs(a)
|
||
|
output overflow; //high for max negative #
|
||
|
|
||
|
endmodule // oh_abs
|
||
|
|