riscv
/
alliance
mirror of https://gitlab.lip6.fr/vlsi-eda/alliance.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity

- a new start ;) !

This commit is contained in:
Ludovic Jacomme 2004-07-14 22:37:14 +00:00
parent c8951d014d
commit 4c58fdd4a9
2 changed files with 34 additions and 101 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

15
alliance/src/documentation/tutorials/start/Makefile
View File

@ -1,12 +1,19 @@
# Generic Makefile for TeTeX projet
# (C) 1999, Czo
# $Id: Makefile,v 1.1 2002/10/24 14:49:52 czo Exp $
# $Id: Makefile,v 1.2 2004/07/14 22:37:14 ludo Exp $
MYFILE=start
%.eps : %.fig
fig2dev -L ps -c -p dummy $*.fig $*.eps
distrib : clean ps
ps2pdf $(MYFILE).ps
cp -f $(MYFILE).ps ..
cp -f $(MYFILE).pdf ..
$(MAKE) clean
view : ps
gv $(MYFILE).ps
@ -14,11 +21,5 @@ ps : $(MYFILE).tex
latex $(MYFILE).tex
dvips $(MYFILE).dvi -o $(MYFILE).ps
distrib : clean ps
ps2pdf $(MYFILE).ps
cp -f $(MYFILE).ps ..
cp -f $(MYFILE).pdf ..
$(MAKE) clean
clean :
rm -f $(MYFILE).ps $(MYFILE).pdf *.log *.dvi *.aux

112
alliance/src/documentation/tutorials/start/start.tex
View File

@ -5,7 +5,7 @@
% Version for Alliance releases 2.0 and up by Frederic Petrot
% Modified by czo for Alliance release 4.0 (01/2000)
% TODO : no fully working, needs some adjustements
% $Id: start.tex,v 1.1 2002/10/24 14:49:52 czo Exp $
% $Id: start.tex,v 1.2 2004/07/14 22:37:14 ludo Exp $
%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\documentclass{article}
@ -64,7 +64,7 @@ tools, whose use is briefly explained in the tutorials.
These texts are meant to be simple and comprehensive, and are to be used
to get \emph{into} the system.
Should something be unclear or wrong, please indicate this by sending
an e-mail to \texttt{alliance-support@lip6.fr}.
an e-mail to \texttt{alliance-users@asim.lip6.fr}.
\rm
\end{quote}
\end{center}
@ -73,38 +73,34 @@ an e-mail to \texttt{alliance-support@lip6.fr}.
\section{Introduction}
In these tutorials, you will learn the practical use of some basic
\textbf{Alliance} tools by building some very simple circuits from scratch.
It is recommended that you read the \texttt{overview.ps} file before
It is recommended that you read the \texttt{overview.pdf} file before
proceeding, as it describes the main steps of the design conceptually.
\section{Before starting}
In those tutorials you will learn the practical use of the following
\textbf{Alliance} tools :
In the first tutorial (tutorial1/ directory) :
In the first tutorial (simulation/ directory) :
\begin{itemize}
\item \textbf{asimut} : VHDL compiler and simulator.
\item \textbf{genpat} : patterns generator.
\item \textbf{genlib} : Netlist capture.
\item \textbf{xpat} : Graphical pattern viewer.
\end{itemize}
In the second tutorial (tutorial2/ directory) :
In the second tutorial (place\_route/ directory) :
\begin{itemize}
\item \textbf{scr} : Standard cell placer and router.
\item \textbf{ocp} : Standard cell placer.
\item \textbf{ocr} : Over cell router (obsolete)
\item \textbf{nero} : Over cell router
\item \textbf{druc} : Design rule checker.
\item \textbf{ring} : Core to pads router.
\item \textbf{lynx} : Symbolic layout extractor.
\item \textbf{cougar} : Symbolic layout extractor.
\item \textbf{lvx} : Netlist comparator.
\item \textbf{graal} : Graphic layout editor.
\end{itemize}
In the third tutorial (tutorial3/ directory) :
\begin{itemize}
\item \textbf{yagle} : Functionnal abstractor.
\item \textbf{proof} : Formal proof between two behavioral descriptions.
\item \textbf{tas} : Timing analysis static.
\end{itemize}
In the forth tutorial (tutorial5/ directory) :
In the forth tutorial (synthesis/ directory) :
\begin{itemize}
\item \textbf{syf} : Finite state machine synthesizer.
\item \textbf{boom} : Boolean optimization of a logic level behavioral
@ -120,13 +116,13 @@ If you run a \texttt{c-like} shell, like \texttt{csh} or \texttt{tcsh},
try to run the following command :
\begin{phraseverbatim}
~alp/addaccu %-) source /usr/local/alliance/share/etc/alc_env.csh
~alp/addaccu %-) source /alliance/etc/alc_env.csh
\end{phraseverbatim}
Otherwise, if you run a \texttt{sh-like} shell, try to run the following
command :
\begin{phraseverbatim}
~alp/addaccu %-) source /usr/local/alliance/share/etc/alc_env.sh
~alp/addaccu %-) source /alliance/alc_env.sh
\end{phraseverbatim}
\\
Before we proceed to the tutorial, you must make sure that the
@ -139,72 +135,6 @@ The prompt in represented in the following text by the symbol~:
In this system, \texttt{alp} is the user, \texttt{addaccu} is the current
directory, and \texttt{\%-)} is supposed to give us courage!
Try issuing the following command to check that \textbf{Alliance} is
correctly installed:
\begin{phraseverbatim}
~alp/addaccu %-) ali
\end{phraseverbatim}
If everything is working, you get the following result:
\begin{figure}[H]\center\leavevmode
\begin{framedverbatim}
@ @@@@ @
@ @@ @@@
@@@ @@ @
@@@ @@
@ @@ @@ @@@@
@ @@ @@ @@
@ @@ @@ @@
@@@@@@@ @@ @@
@ @@ @@ @@
@ @@ @@ @@
@@@@ @@@@ @@@@@@ @@@@@@
ALliance Information
Alliance CAD System 4.0.8, ali 1.0
Copyright (c) 1999-2001, ASIM/LIP6/UPMC
E-mail support: alliance-support@asim.lip6.fr
Alliance settings :
ALLIANCE_OS = Linux
ALLIANCE_TOP = /usr/local/alliance/archi/Linux
ALLIANCE_VERSION = '"4.0.8"'
DREAL_TECHNO_NAME=/usr/local/alliance/archi/Linux/etc/cmos_7.dreal
ELP_TECHNO_NAME=/usr/local/alliance/archi/Linux/etc/prol10_11.elp
GENVIEW_TECHNO_NAME=/usr/local/alliance/archi/Linux/etc/cmos_11.genview
GRAAL_TECHNO_NAME=/usr/local/alliance/archi/Linux/etc/cmos_11.graal
MBK_C4_LIB=./cellsC4
MBK_CATAL_NAME=CATAL
MBK_CATA_LIB=.:/usr/local/alliance/archi/Linux/cells/sxlib:/usr/local/alliance/a
rchi/Linux/cells/padlib
MBK_IN_LO=vst
MBK_IN_PH=ap
MBK_OUT_LO=vst
MBK_OUT_PH=ap
MBK_SCALE_X=100
MBK_TARGET_LIB=/usr/local/alliance/archi/Linux/cells/sxlib
MBK_VDD=vdd
MBK_VSS=vss
MBK_WORK_LIB=.
RDS_TECHNO_NAME=/usr/local/alliance/archi/Linux/etc/cmos_11.rds
VH_BEHSFX=vbe
VH_DLYSFX=dly
VH_MAXERR=10
VH_PATSFX=pat
XFSM_PARAM_NAME=/usr/local/alliance/archi/Linux/etc/xfsm.par
XPAT_PARAM_NAME=/usr/local/alliance/archi/Linux/etc/xpat.par
XSCH_PARAM_NAME=/usr/local/alliance/archi/Linux/etc/xsch.par
\end{framedverbatim}
\caption{\textbf{Alliance} environment variables.}
\label{ali}
\end{figure}
\section{Execution environment set up}
Later, before you will start examining alliance tools, you will probably want
to know the environment variables setup.
@ -221,22 +151,20 @@ MBK_OUT_PH=ap
MBK_CATAL_NAME=CATAL
MBK_SCALE_X=100
MBK_VSS=vss
MBK_CATA_LIB=.:/usr/local/alliance/archi/Linux/cells/sxlib:
/usr/local/alliance/archi/Linux/cells/padlib
MBK_CATA_LIB=.:/alliance/cells/sxlib:/alliance/cells/padlib
MBK_WORK_LIB=.
MBK_VDD=vdd
MBK_C4_LIB=./cellsC4
MBK_IN_LO=vst
MBK_IN_PH=ap
MBK_TARGET_LIB=/usr/local/alliance/archi/Linux/cells/sxlib
MBK_TARGET_LIB=/alliance/cells/sxlib
MBK_OUT_LO=vst
\end{framedverbatim}
\caption{\label{mbk} \texttt{MBK} environment variables.}
\end{figure}
In figure \ref{mbk} you can see all of them. All these variables are documented
at least with a manual page. However, some variables are documented in each
tutorial.
All these variables are documented at least with a manual page. However, some
variables are documented in each tutorial.
\section{File Formats}
One of the interesting features of \textbf{Alliance} is that different
@ -254,11 +182,15 @@ So, prior to generate a specification netlist, you shall type:
~alp/addaccu %-) setenv MBK_OUT_LO vst
\end{phraseverbatim}
Otherwise, if you are running a \texttt{sh-like} shell:
\begin{phraseverbatim}
~alp/addaccu %-) MBK_OUT_LO=vst; export MBK_OUT_LO
\end{phraseverbatim}
But if you wish to extract a netlist from the layout then you'll do:
\begin{phraseverbatim}
~alp/addaccu %-) setenv MBK_OUT_LO al
\end{phraseverbatim}
You are now ready to actually do all tutorials.
\end{document}