Unmapped Memories issue

[barguello]

Hello,

I am trying to obtain a netlist out of the AES Verilog design found here:
https://github.com/michaelehab/AES-Verilog

I am trying the following yosys script:

read_verilog keyExpansion.v
addRoundKey.v
encryptRound.v
decryptRound.v
subBytes.v
inverseSubBytes.v
shiftRows.v
inverseShiftRows.v
mixColumns.v
inverseMixColumns.v
sbox.v
inverseSbox.v
AES_Encrypt.v
AES_Decrypt.v
AES.v \

hierarchy -top AES

flatten

memory_collect

memory_map

proc; opt; techmap; opt

write_blif aes.blif

yosys finishes through everything and then throws the error "Found unmapped memories in module AES: unmapped memories are not supported in BLIF backend"

I am new to Yosys and Verilog; I would really appreciate any advice on how to get Yosys to finish creating a netlist for me.

Thanks!

-Bryan

[KrystalDelusion]

You need to run proc before the memory_* commands, if you check the log you'll see something like

4. Executing MEMORY_COLLECT pass (generating $mem cells).
Warning: Ignoring module sbox because it contains processes (run 'proc' command first).

5. Executing MEMORY_MAP pass (converting memories to logic and flip-flops).
Warning: Ignoring module sbox because it contains processes (run 'proc' command first).

[barguello]

I am now trying to get a bit-level, gate-level netlist.

I am trying:

read verilog ...
hierarchy -top AES
flatten
proc; opt; clean
memory_collect; memory_map; opt; clean
techmap; opt; clean
abc
write_verilog AES_bit_gate.v

When I try this, it returns a file with wire declarations and memory assignments, but no gates.
Do you know what I might be doing wrong?

[KrystalDelusion]

There should be a bunch of assignments like the following

  assign _0086_ = ~_0003_;
  assign _0096_ = ~_0004_;
  assign _0107_ = _0000_ | _0001_;
  assign _0118_ = _0086_ & _0107_;
  assign _0129_ = ~(_0001_ & _0002_);
  assign _0140_ = ~(_0000_ & _0002_);
  assign _0151_ = ~(_0002_ & _0107_);
  assign _0162_ = _0003_ | _0151_;
  assign _0173_ = _0002_ | ~(_0001_);

Those are the gates.

Btw, clean is shorthand for opt_clean, which is the last command in opt, so having opt; clean is redundant.

[barguello]

Thank you so much! That solved the problem.