mirror of https://github.com/YosysHQ/yosys.git
5 lines
105 B
Coq
5 lines
105 B
Coq
|
module primetest(p, a, b, ok);
|
||
|
|
input [15:0] p, a, b;
|
||
|
|
output ok = p != a*b || a == 1 || b == 1;
|
||
|
|
endmodule
|