3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-04-11 03:33:36 +00:00
yosys/tests/select/boxes.v
2025-03-14 14:05:40 +13:00

17 lines
250 B
Verilog

module top(input a, b, output o);
assign o = a & b;
endmodule
(* blackbox *)
module bb(input a, b, output o);
assign o = a | b;
specify
(a => o) = 1;
endspecify
endmodule
(* whitebox *)
module wb(input a, b, output o);
assign o = a ^ b;
endmodule