.. -*- Mode: rst -*-

.. include:: ../etc/definitions.rst

|newpage|


Complete Design Flow & Examples
===============================

While |Coriolis| can be used stand-alone, it is in fact part of a more complete
design flow build upon |Yosys| and |Alliance|. In addition, a set of demos and
examples are supplied in the repository |alliance-check-toolkit|.

* |Yosys| : http://www.clifford.at/yosys/

  An |rpm| packaged version is available here:

  https://ftp.lip6.fr/pub/linux/distributions/slsoc/soc/7/addons/x86_64/repoview/yosys.html

* Alliance : https://www-soc.lip6.fr/equipe-cian/logiciels/alliance/

* |alliance-check-toolkit| |git| repository:

  https://www-soc.lip6.fr/git/alliance-check-toolkit.git/