Why the read_verilog doesn't work?

[Tony-Xiaotong-Cui]

Hi, Mathias,

Although the revkit has the read_verilog command, when i use it, however, it says exactly one store must be specified. It works fine with pla file.

Is the usage of read_verilog correct ? or something else?

Thank you!

[msoeken]

Hi,

There are several read_verilog parsers and it depends into which data structure you want to read the Verilog.

For example, if you want to read Verilog into an AIG, use read_verilog -a file.v. This implementation uses ABC's Verilog parser that is used by its %read command. If you want to read Verilog into an XMG, then you can use read_verilog -x file.v but this uses a simpler Verilog parser that only parses gate-level netlists with AND, OR, XOR, and MAJ.