@User we don’t really care for the moment. Our goal with Yosys is verification. Sandia uses commercial tools for simulation AFAIK.