Introduction - If you have any usage issues, please Google them yourself
function [a_width-1 : 0] DWF_div_uns
// Function to compute the unsigned quotient
// synopsys map_to_operator DIV_UNS_OP
// synopsys return_port_name QUOTIENT
input [a_width-1 : 0] A
input [b_width-1 : 0] B
reg [a_width-1 : 0] QUOTIENT_v
reg A_x, B_x
`define max_uns {a_width{1 b1}}
begin
// synopsys translate_off
A_x = ^A
B_x = ^B
if ((A_x === 1 bx) || (B_x === 1 bx)) begin
QUOTIENT_v = {a_width{1 bx}}
end
else begin