yosys-smtbmc command not found

Introduction

When you run more command in linux terminal / console, you get the following error message

yosys-smtbmc: command not found

or when using sudo you get the following error message

sudo: yosys-smtbmc: command not found

Solutions to yosys-smtbmc: command not found

How To Fix yosys-smtbmc: command not found in Ubuntu / Debian / Kali Linux / Raspbian

In Ubuntu yosys-smtbmc is provided by yosys package.

yosys is:

This is a framework for Verilog RTL synthesis. It currently has extensive Verilog-2005 support and provides a basic set of synthesis algorithms for various application domains.

Yosys can be adapted to perform any synthesis job by combining the existing passes (algorithms) using synthesis scripts and adding additional passes as needed by extending the yosys C++ code base.

To fix this problem, we can install more using the command below.

sudo apt-get -y install yosys

This command might take some time to finish depending on your machine internet connection.

You can also use apt command to install yosys.

sudo apt -y install yosys

Or if you have aptitude installed you can use the following command.

sudo aptitude install yosys

Summary

In this tutorial we learn how to fix yosys-smtbmc command not found error in Ubuntu / Debian / Kali Linux or Raspbian distribution.