How can I solve this error for that line 7164

What is on line 7164? The code you show is a different line Also, the message suggests ifdefing out the verification constructs which yosys doesn't support, have you tried that? Sorry, that might be a different issue and looks like it is unrelated