Skip to content

JackHack96/logic-synthesis

Repository files navigation

Legacy Logic Synthesis Software

This repository contains old logic synthesis software, from University of California Berkeley:

  • SIS
  • BALM
  • MVSIS

These are all refactored releases, for making sure they compile on modern systems like Ubuntu 18.04.

AUR ...

SIS

The repo contains SIS 1.4, an unofficial release of SIS, the logic synthesis system from UC Berkeley.

The primary features added on top of SIS 1.3 are:

  • Code refactoring for making sure it compiles under modern Linux systems like Ubuntu 18.04
  • Exploring and deleting unused/unuseful parts (like xsis)
  • Rewriting the sis shell using GNU readline

Compatibility

I've succesfully tested this release with the following distributions:

  • Ubuntu 18.04 / 18.10 / 16.04
  • Arch Linux

Some other platforms should be okay with little or no modifications. However, SIS is old software, and may not build or run correctly on modern systems.

Compilation and installation

If you're using a supported OS like Debian/Ubuntu, you can use the Debian package you can find in the "releases" tab. There's also an already compiled static binary, with installation and uninstallation scripts.

For compiling SIS, you'll need the following software:

  • GNU gcc (tested with version 7.3)
  • GNU make (tested with version 4.1)
  • GNU bison (tested with version 3.0.4)
  • GNU flex (tested with version 2.6.4)
  • GNU readline (tested with version 7) If you are using Ubuntu, you can easily install all these dependecies with
sudo apt install -y make gcc bison flex build-essential libreadline-dev

Then just run these commands:

./configure --prefix=<target install directory> <other options>
make
sudo make install

MVSIS/BALM

The repo also contains MVSIS 3.0 and BALM 2.0, with a small set of patches for allowing compilation under modern systems.

Compatibility

I've succesfully tested this release with the following distributions:

  • Ubuntu 18.04 / 18.10 / 16.04
  • Arch Linux

Some other platforms should be okay with little or no modifications. However, since this is old software, and may not build or run correctly on modern systems.

Compilation and installation

If you're using a supported OS like Debian/Ubuntu, you can use the Debian package you can find in the "releases" tab.

For compiling SIS, you'll need the following software:

  • GNU gcc, with the multilib option (tested with version 7.3)
  • GNU make (tested with version 4.1)
  • GNU readline (tested with version 7) If you are using Ubuntu, you can easily install all these dependecies with
sudo apt install build-essential gcc-multilib libreadline-dev

Then just run these commands:

./configure --prefix=<target install directory> <other options>
make
sudo make install