Как я могу прочитать этот файл verilog в инструменте ABC? Когда я делаю read_verilog c17.v, он выдает:
17.v (line 16): Cannot parse a standard gate (expected opening
parenthesis).
Reading network from file has failed.
Это файл c17.v, который я пытаюсь прочитать.
// Verilog
// c17
// Ninputs 5
// Noutputs 2
// NtotalGates 6
// NAND2 6
module c17 (N1,N2,N3,N6,N7,N22,N23);
input N1,N2,N3,N6,N7;
output N22,N23;
wire N10,N11,N16,N19;
nand NAND2_1 (N10, N1, N3);
nand NAND2_2 (N11, N3, N6);
nand NAND2_3 (N16, N2, N11);
nand NAND2_4 (N19, N11, N7);
nand NAND2_5 (N22, N10, N16);
nand NAND2_6 (N23, N16, N19);
endmodule
PS: ABC - это комплексный инструмент для обработки комбинационных и последовательных цепей, представленных в виде логических сетей.
https://people.eecs.berkeley.edu/~alanmi/abc/