search

YosysHQ / sby

SymbiYosys (sby) -- Front-end for Yosys-based formal verification flows
Other
379 stars 74 forks source link

Hierarchy Checks Command Syntax Error #251

Closed Shreesh-Kulkarni closed 8 months ago

Shreesh-Kulkarni commented 8 months ago

image I received this error while running a simple formal verification task for Verilog using bounded model checking via the smtbmc engine. It shows up with this error regarding invalid syntax and I'm unable to debug or understand what this means. Would appreciate if anyone could help me out.

jix commented 8 months ago

This error is due to using a recent SBY version with a Yosys version that is too old. Since a while ago there are also tags indicating the supported Yosys version here in the SBY repository, although the Yosys version producing this error might be too old to have a matching tag.