mirror of
https://github.com/YosysHQ/yosys
synced 2025-11-03 21:09:12 +00:00
14 lines
144 B
Text
14 lines
144 B
Text
read_verilog -icells << EOT
|
|
|
|
module top(...);
|
|
|
|
input A;
|
|
output Y;
|
|
|
|
$_XNOR_ x (.A(A), .B(A), .Y(Y));
|
|
|
|
endmodule
|
|
|
|
EOT
|
|
|
|
equiv_opt -assert opt_expr
|