Rolling release repository for VossII
To install a binary version of VossII simply issue the command: tar xfj vossII<version>.tar.gz2
Voss II is a software suite for describing and reasoning about circuits. Circuits, and properties about them, are described in a functional language called fl.
Fl is a statically typed language with call-by-need semantics (also known as lazy evaluation) and binary decision diagrams built right into the language itself.
Voss II has been tested and found to work on Debian, Ubuntu, Fedora, Red Hat and OpenSUSE. If you're using it on another distribution, we'd love to hear from you!
There is a "Getting Started with VossII and fl" tutorial in the doc/fl_tutorial directory (you can do firefox doc/fl_tutorial/fl_tutorial.html or your choice of browser to see it)
There is also a more extensive User's Guide
Clone this repository and unpack them to your directory of choice (by issuing the command: tar xfj vossII<version>.tar.bz2), then put /bin in your search path and you will be able to run the fl interpreter by simply invokng fl. Note that you need the /bin in your search path for the Verilog reader to work, and it must be earlier than any paths containing other versions of yosys!
Voss II depends on Tk for its graphical bits. If the fl interpreter dies with
an angry message about not being able to find wish, you need to install it:
- On Ubuntu/other Debian-based
sudo apt install tk
- On Fedora/Red Hat
sudo yum install tk
- On SUSE
sudo zypper install tk