Improve import of memories via Verific
authorClifford Wolf <clifford@clifford.at>
Thu, 15 Mar 2018 17:20:37 +0000 (18:20 +0100)
committerClifford Wolf <clifford@clifford.at>
Thu, 15 Mar 2018 17:20:37 +0000 (18:20 +0100)
commit7cf9d8802832a12b46a32cebb039d161586f414f
treec7766d4be5e218b8f61910ae18b75dbca648641c
parentbf402a806a4312cf29056d86872245be3a254fce
Improve import of memories via Verific

Signed-off-by: Clifford Wolf <clifford@clifford.at>
frontends/verific/verific.cc