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

- idem

This commit is contained in:
Ludovic Jacomme 2004-07-15 16:15:56 +00:00
parent 520ba3a840
commit 711db75d8e
4 changed files with 1314 additions and 1285 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
alliance/src/documentation/tutorials/simulation/tex/Makefile
View File

@ -15,6 +15,9 @@ simulation.dvi : simulation.tex addac.eps
simulation.pdf : simulation.dvi simulation.pdf : simulation.dvi
dvipdf simulation.dvi dvipdf simulation.dvi
simulation.ps : simulation.dvi
dvips simulation.dvi -o simulation.ps
$(EPS) : $(FIG) $(EPS) : $(FIG)
$(TEX:.tex=.ps) : $(TEX:.tex=.dvi) $(TEX:.tex=.ps) : $(TEX:.tex=.dvi)

36
alliance/src/documentation/tutorials/simulation/tex/simulation.tex
View File

@ -87,7 +87,8 @@ xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
} }
\date{} \date{}
\author{Frederic AK \hspace{2cm} Kai-shing LAM \author{Frederic AK \hspace{2cm} Kai-shing LAM\\
Modified by LJ
} }
\maketitle \maketitle
@ -135,11 +136,11 @@ manual page.
{1.2} Behavioral Description {1.2} Behavioral Description
{1.3} Stimuli of test {1.3} Stimuli format
{1.4} Simulation {1.4} Simulation
{1.5}Delay\\ {1.5} Simulation with Delay\\
\\ \\
{2} {\bf Structural VHDL} {2} {\bf Structural VHDL}
@ -166,7 +167,7 @@ All the files used in this part are located in the \\
This directory contains two subdirectories and one Makefile : This directory contains two subdirectories and one Makefile :
\begin{itemize} \begin{itemize}
\item The Makefile allows you to validate automatically the entire simulation part \item The Makefile allows you to validate automatically the entire simulation part
\item {\bf addaccu\_beh} = the behavioral description \item {\bf addaccu\_beh} = the behavioral description (Register Transfert Level)
\begin{itemize} \begin{itemize}
\item Makefile to validate automatically the entire behavioral description \item Makefile to validate automatically the entire behavioral description
@ -174,6 +175,7 @@ This directory contains two subdirectories and one Makefile :
\item patterns.pat is the simulation patterns for addaccu \item patterns.pat is the simulation patterns for addaccu
\item addaccu\_dly.vbe is the behavioral description of addaccu with delay \item addaccu\_dly.vbe is the behavioral description of addaccu with delay
\item patterns\_dly.pat is the simulation patterns for addaccu with delay \item patterns\_dly.pat is the simulation patterns for addaccu with delay
\item addaccu4.vhdl is the behavioral description of addaccu using standard VHDL subset
\end{itemize} \end{itemize}
\item {\bf addaccu\_struct} = the structural view \item {\bf addaccu\_struct} = the structural view
@ -195,6 +197,7 @@ This directory contains two subdirectories and one Makefile :
The {\bf ALLIANCE} tools used are : The {\bf ALLIANCE} tools used are :
\begin{itemize}\itemsep=-.8ex \begin{itemize}\itemsep=-.8ex
\item {\bf vasy} : {\bf VHDL} analyzer and convertor.
\item {\bf asimut} : {\bf VHDL} Compiler and Simulator. \item {\bf asimut} : {\bf VHDL} Compiler and Simulator.
\item{\bf genpat} : Procedural generator of stimuli. \item{\bf genpat} : Procedural generator of stimuli.
\end{itemize} \end{itemize}
@ -330,6 +333,29 @@ under C Shell :
The meaning of these variables is to be discovered in the {\bf The meaning of these variables is to be discovered in the {\bf
man} of {\bf ASIMUT} tool. man} of {\bf ASIMUT} tool.
\subsection{Description with Standard VHDL subset}
Alliance tools use a very particular and restricted {\bf VHDL} subset (vbe and
vst file format).
If you want to describe the behavior of your circuit (at Register Transfert Level)
with a more common {\bf VHDL} subset you can use {\bf VASY\}
to automatically convert your {\bf VHDL} descriptions in
Alliance subset.
The file addaccu4.vhdl is a description of the addaccu circuit,
using classical {\bf VHDL} subset (with process statements,
IEEE 1164 VHDL types, aritmetic operators etc ...)
You can convert this description to the {\bf .vbe} file format using
{\bf VASY}~:
\begin{commandline}
> vasy -Vao addaccu4.vhdl
\end{commandline}
You can then compile and simulate the generated file addaccu4.vbe
using {\bf asimut} exactly as it has been done with the addaccu.vbe file.
\subsection{Stimuli of test} \subsection{Stimuli of test}
Once the behavioral description compiled successfully (without any Once the behavioral description compiled successfully (without any
@ -608,7 +634,7 @@ behavioral description of the block by its structural view:
\begin{itemize}\itemsep=-.8ex \begin{itemize}\itemsep=-.8ex
\item Write the structural view of the block { \bf (vst) }. \item Write the structural view of the block { \bf (vst) }.
\item \item
Compile this block (asimut - C $<$block\_name$>$) to validate its Compile this block (asimut -c $<$block\_name$>$) to validate its
syntax syntax
\item Remove its identifier from the { \bf CATAL } file. \item Remove its identifier from the { \bf CATAL } file.
\item Simulate circuit addaccu again: \par \item Simulate circuit addaccu again: \par

23
alliance/src/documentation/tutorials/synthesis/tex/Makefile
View File

@ -1,32 +1,25 @@
TEX = synthesis.tex TEX = synthesis.tex
FIG = automate.fig ex_digicode.fig clavier.fig synthese.fig T_RC.fig graphe1.fig graphe_solution_digicode.fig hier.fig bloc.fig graphe1.fig datap.fig exemple1.fig exemple2.fig ctl-mrs-1.fig ctl-wen-1.fig dpt-all-1.fig dpt-alu-1.fig ctldecode.fig ctldecodebw.fig dptbanc.fig ctl-alu-1.fig FIG = automate.fig ex_digicode.fig clavier.fig synthese.fig T_RC.fig graphe1.fig graphe_solution_digicode.fig hier.fig bloc.fig graphe1.fig datap.fig exemple1.fig exemple2.fig ctl-mrs-1.fig ctl-wen-1.fig dpt-all-1.fig dpt-alu-1.fig ctldecode.fig ctldecodebw.fig dptbanc.fig ctl-alu-1.fig
EPS = $(FIG:.fig=.eps) EPS = $(FIG:.fig=.eps)
PDF = $(EPS:.eps=.pdf)
all : synthesis.pdf
cp synthesis.pdf ../../
%.pdf : %.tex synthesis.pdf : synthesis.dvi
pdflatex $< dvipdf $< $@
%.dvi : %.tex synthesis.ps : synthesis.dvi
dvips $< -o $@
synthesis.dvi : synthesis.tex $(EPS)
latex $< latex $<
latex $< latex $<
%.ps : %.dvi
dvips -o $@ $<
%.pdf : %.eps
epstopdf $<
%.eps : %.fig %.eps : %.fig
fig2dev -L eps $< > $@ fig2dev -L eps $< > $@
all : $(TEX:.tex=.ps) $(TEX:.tex=.pdf)
$(EPS) : $(FIG) $(EPS) : $(FIG)
$(PDF) : $(EPS) $(PDF) : $(EPS)
$(TEX:.tex=.ps) : $(TEX:.tex=.dvi)
$(TEX:.tex=.dvi) : $(EPS)
$(TEX:.tex=.pdf) : $(PDF)
clean : clean :
rm -f *~ *.aux *.log *.pdf *.dvi *.ps *.out *.toc *.eps rm -f *~ *.aux *.log *.pdf *.dvi *.ps *.out *.toc *.eps

269
alliance/src/documentation/tutorials/synthesis/tex/synthesis.tex
View File

@ -70,7 +70,7 @@ xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
{\Huge ALLIANCE TUTORIAL\\} {\Huge ALLIANCE TUTORIAL\\}
{\large {\large
Pierre \& Marie Curie University \\ Pierre \& Marie Curie University \\
Year 2001 - 2002\\ Year 2001 - 2004\\
} }
\vspace{1cm} \vspace{1cm}
{\huge {\huge
@ -96,9 +96,11 @@ xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
\def\myfbox#1{\vspace*{3mm}\fbox{#1}\vspace{3mm}} \def\myfbox#1{\vspace*{3mm}\fbox{#1}\vspace{3mm}}
\newpage \newpage
\large{ The goal of this tutorial is to allow a rapid use of some { \bf ALLIANCE } tools, developed at the LIP6 laboratory of Pierre and Marie Curie University. \large{ The purpose of this tutorial is to provide a quick turn of some { \bf
ALLIANCE } tools, developed at the LIP6 laboratory of Pierre and Marie Curie
University.
The tutorial is composed of 3 great parts independent from each other: The tutorial is composed of 3 main parts independent from each other:
\begin{itemize}\itemsep=-.8ex \begin{itemize}\itemsep=-.8ex
\item {VHDL modeling and simulation} \item {VHDL modeling and simulation}
@ -106,14 +108,15 @@ The tutorial is composed of 3 great parts independent from each other:
\item {Place and route} \item {Place and route}
\end{itemize} \end{itemize}
Before any handling you must ensure that all the environment variables are Before going further you must ensure that all the environment variables are
correctly positioned and that the Alliance properly set (source alcenv.sh or alcenv.csh file)
tools are readily available when invoking them at the prompt. All and that the Alliance tools are available when invoking them at the shell
the tools used in this tutorial are documented at least with a prompt.
All tools used in this tutorial are documented at least with a
manual page. manual page.
\newpage \newpage
{\bf Contents}\\ {\bf Contents}\\
\\ \\
{1} {\bf Introduction} {1} {\bf Introduction}
@ -172,7 +175,7 @@ manual page.
\\ \\
{6} {\bf AMD2901 structure} {6} {\bf AMD2901 structure}
\\ \\
{7} {\bf Part controls realization } {7} {\bf Part controls design }
{7.1}{ \bf genlib } description example {7.1}{ \bf genlib } description example
@ -180,7 +183,7 @@ manual page.
{7.3} Part controls description {7.3} Part controls description
\\ \\
{8} {\bf Data-path realization} {8} {\bf Data-path design}
{8.1} Example of description with genlib macro-functions {8.1} Example of description with genlib macro-functions
@ -219,7 +222,7 @@ This directory contents four subdirectories and one Makefile :
\item amdfindbug.pat : tests file \item amdfindbug.pat : tests file
\item several files amd.vbe : behavioral description \item several files amd.vbe : behavioral description
\end{itemize} \end{itemize}
\item meter \item counter
\begin{itemize}\itemsep=-.8ex \begin{itemize}\itemsep=-.8ex
\item Makefile \item Makefile
\item cpt5.fsm : description in fsm \item cpt5.fsm : description in fsm
@ -258,7 +261,7 @@ This directory contents four subdirectories and one Makefile :
\begin{itemize}\itemsep=-.8ex \begin{itemize}\itemsep=-.8ex
\item Logical synthesis tools { \bf SYF, BOOM, BOOG, LOON, SCAPIN }; \item Logical synthesis tools { \bf SYF, BOOM, BOOG, LOON, SCAPIN };
\item Data-path generation tool{\bf GENLIB }; \item Data-path generation tool{\bf GENLIB };
\item { \it netlist } graphic visual display { \bf XSCH }; \item { \it netlist } graphical viewer { \bf XSCH };
\item formal proof Tools {\bf FLATBEH, PROOF}; \item formal proof Tools {\bf FLATBEH, PROOF};
\item The simulator { \bf ASIMUT }; \item The simulator { \bf ASIMUT };
\end{itemize} \end{itemize}
@ -276,13 +279,13 @@ generation and the control part } of AMD2901.
\subsection{Introduction} \subsection{Introduction}
A pure combinative circuit does not have internal registers. So A pure combinatorial circuit has no internal registers. So
its outputs depend only on its primary inputs. Conversely, a its outputs depend only on its primary inputs. On the contrary
synchronous sequential circuit having internal registers sees its a synchronous sequential circuit having internal registers sees its
outputs changing according to its inputs but also memorized values outputs changing according to its inputs but also memorized values
in its registers. Consequently, the circuit state at the moment in its registers. As consequence, the circuit state at the moment
t+1 also depends on its state at the moment t. This type of t+1 also depends on its state at the moment t. This type of
circuit can be modelled by a { \bf finite states machine}. circuit can be formally modelized as a { \bf finite states machine}.
\begin{figure}[H]\centering \begin{figure}[H]\centering
\includegraphics[width=9cm]{ex_digicode.eps} \includegraphics[width=9cm]{ex_digicode.eps}
@ -297,9 +300,9 @@ clock-edges. The inputs can thus move between two clock-edges
without modifying the outputs. But in the case of MEALY automaton, without modifying the outputs. But in the case of MEALY automaton,
the variation of the inputs can modify at any time the value of the variation of the inputs can modify at any time the value of
the outputs. It will be essential to separate the generation the outputs. It will be essential to separate the generation
function from the transition function (Moore automaton). For that, function from the transition function (Moore automaton).
two distinct processes will materialize the next state calculation Two distinct processes will then modelize the next state computation
and its update. and the current state register update.
\begin{figure}[H]\centering \begin{figure}[H]\centering
\includegraphics[width=15cm]{automate.eps} \includegraphics[width=15cm]{automate.eps}
@ -311,28 +314,29 @@ and its update.
\subsection{SYF and VHDL} \subsection{SYF and VHDL}
%----------------------- %-----------------------
In order to describe the automatons, we use a particular {\bf VHDL } In order to describe the automatons, we use a particular {\bf VHDL }
style description that defines architecture "fsm" ({ \bf style description that defines architecture "FSM" ({ \bf
f}inite-{\bf s}tate { \bf m}achine). F}inite-{\bf S}tate { \bf M}achine).
The corresponding file also has the extension { \bf fsm }. From The corresponding file also has the extension { \bf fsm }. From
this file, the tool { \bf SYF } makes the automaton synthesis and this file, the tool { \bf SYF } makes the automaton synthesis and
transforms this abstracted automaton into a Boolean network. { \bf after state encoding, it transforms this abstracted automaton into
SYF } thus generates a { \bf VHDL } file with the format {\bf vbe a Boolean network and a state register.
}. Like the majority of the tools used in alliance, it is { \bf SYF } then generates a { \bf VHDL } file using the
necessary to position some variables before using { \bf SYF }. To {\bf vbe } subset.
know them, you defer to the { \bf man } of { \bf syf }. Like most of all tools used in alliance, it is
necessary to set some variables before using { \bf SYF }.
You can refer to the { \bf man } page of { \bf syf } for more details.
\subsection{Example} \subsection{Example}
%------------------- %-------------------
In order to familiarize with the syntax description of a { In order to take in hand the particular syntax of a {
\bf fsm } file, an example of { \bf three } "1" successive meter \bf fsm } file, an example of { \bf three } successive "1" counter
is presented. Its vocation is to detect for example on a is presented. Its vocation is to detect for example on a
connection series, a sequence of { \bf three } "1" successive. The connection series, a sequence of { \bf three } successive "1" counter.
states graph is represented on the figure The state graph is represented on the figure
\ref{Fig:graphe1}.\\ \ref{Fig:graphe1}.\\
The { \bf fsm } format is also described in a { \bf man }. Think The { \bf fsm } format is detailed in the man page { \bf fsm(5) }.
of consulting it.
\begin{sourcelisting} \begin{sourcelisting}
entity circuit is entity circuit is
@ -406,7 +410,7 @@ of consulting it.
\begin{figure}[H]\centering \begin{figure}[H]\centering
\includegraphics[height=8cm]{graphe1.eps} \includegraphics[height=8cm]{graphe1.eps}
\caption{states graph of three "1" successive meter} \caption{states graph of three successive "1" counter}
\label{Fig:graphe1} \label{Fig:graphe1}
\end{figure} \end{figure}
@ -414,8 +418,8 @@ of consulting it.
\subsection{Step to follow} \subsection{Step to follow}
%--------------------------------- %---------------------------------
Now used the example to write the description of a { \bf five } "1" successive Now you can use this example to write the description of a { \bf five } successive "1"
meter in a{\bf Moore } automaton. counter in a{\bf Moore } automaton.
\begin{itemize}\itemsep=-.8ex \begin{itemize}\itemsep=-.8ex
\item position the environment variables . \item launch { \bf \item position the environment variables . \item launch { \bf
@ -436,10 +440,9 @@ SYF } with the coding options { \bf -a, -J, -m, -O, -R }
> syf -CEV -a <fsm_source> > syf -CEV -a <fsm_source>
\end{commandline} \end{commandline}
\item visualize the files { \bf enc }. Those files contains one state \item visualize the files { \bf enc }. Those files contains one state
name followed by its hexadecimal code. name followed by its hexadecimal code value.
\item write test \item write stimuli (test vectors) and simulate with { \bf ASIMUT }.
vectors and simulate under { \bf ASIMUT }.
\end{itemize} \end{itemize}
%\subsection{Utilisation d'un chemin de test ({\it scan-path}\/)} %\subsection{Utilisation d'un chemin de test ({\it scan-path}\/)}
@ -471,9 +474,9 @@ vectors and simulate under { \bf ASIMUT }.
\section{Automaton for digicode} \section{Automaton for digicode}
%------------------------------- %-------------------------------
We want to realize a chip for digicode whose keyboard is We want to design a digicode circuit whose keyboard is
represented on the figure \ref{Fig:keyboard}. The specifications represented on the figure \ref{Fig:keyboard}.
are as follows: The specifications are as follows:
\begin{figure}[H]\centering \begin{figure}[H]\centering
\includegraphics[width=7cm,height=7cm]{clavier.eps} \includegraphics[width=7cm,height=7cm]{clavier.eps}
@ -488,7 +491,7 @@ are as follows:
\item A: 1010 \item A: 1010
\item B: 1011 \item B: 1011
\end{itemize} \end{itemize}
\item The digicode work in two modes: \item The digicode works in two modes:
\begin{itemize}\itemsep=-.8ex \begin{itemize}\itemsep=-.8ex
\item Day Mode: The door opens while pressing on "O" or if entering the good code \item Day Mode: The door opens while pressing on "O" or if entering the good code
\item Night Mode: The door opens only if the code is correct. \item Night Mode: The door opens only if the code is correct.
@ -501,14 +504,14 @@ idle state if nothing
returned to the keyboard at the end of 5 seconds returned to the keyboard at the end of 5 seconds
or if alarm sounded during 2mn - signal { \it \bf reset } -. For that it receives a signal or if alarm sounded during 2mn - signal { \it \bf reset } -. For that it receives a signal
from { \bf reset } external timer. from { \bf reset } external timer.
\item The chip work at 10MHz. \item The chip works at 10MHz.
\item Any pressure of a key of the keyboard is accompanied by the signal { \it \bf press\_kbd }. \item Any pressure of a key of the keyboard is then followed by the signal { \it \bf press\_kbd }.
This one announces to the chip that the output data of the This one announces to the chip that the output data of the
keyboard is valid. This signal is to 1 during a clock-edge. keyboard is valid. This signal is set to 1 during a clock-edge.
\end{itemize} \end{itemize}
The code is { \bf 53A17 } (but you can take the code who agrees to The code is { \bf 53A17 } (but you can take the code who agrees to
you). The interface of the automaton is as follows: you). The interface of this automaton is as follows:
\begin{itemize}\itemsep=-.8ex \begin{itemize}\itemsep=-.8ex
\item in {\bf ck} \item in {\bf ck}
@ -532,16 +535,16 @@ you). The interface of the automaton is as follows:
%--------------------------------- %---------------------------------
\begin{itemize}\itemsep=-.8ex \begin{itemize}\itemsep=-.8ex
\item draw the states graph . \item write it in the { \bf fsm \item draw the states graph.
} format . \item synthesize with { \bf SYF } by using the coding \item describe it in the { \bf fsm } format .
options \item synthesize your description with { \bf SYF } using
different state encoding algorithms
{ \bf -a, -j, -m, -o, -r } and by using the options { \bf -CEV}.\\ { \bf -a, -j, -m, -o, -r } and by using the options { \bf -CEV}.\\
\begin{commandline} \begin{commandline}
> syf -CEV -a <fsm_source> > syf -CEV -a <fsm_source>
\end{commandline} \end{commandline}
\item write test vectors. \item write stimuli (test vectors).
\item simulate with { \bf \item simulate with { \bf ASIMUT } all the resulting {\bf vbe} descriptions.
ASIMUT } all the behavioral views obtained.
\end{itemize} \end{itemize}
\newpage \newpage
@ -555,12 +558,13 @@ ASIMUT } all the behavioral views obtained.
\subsubsection{Logical synthesis} \subsubsection{Logical synthesis}
%--------------------------------- %---------------------------------
The logical synthesis makes it possible to obtain a { \it netlist } The logical synthesis permits to obtain a { \it netlist } of
gates starting from a Boolean network (format { \bf vbe }). Several tools are available: gates given a Boolean network (format { \bf vbe }).
Several tools are available:
\begin{itemize}\itemsep=-.8ex \begin{itemize}\itemsep=-.8ex
\item The tool { \bf BOOM } allows the Boolean network optimization before synthesis. \item The tool { \bf BOOM } allows the Boolean network optimization before mapping with { \bf BOOG }.
\item The tool { \bf BOOG } makes it possible to synthesize a { \it netlist } by using a library \item The tool { \bf BOOG } synthesizes a { \it netlist } by using a library
with predefined cells such as { \bf SXLIB }. with predefined cells such as { \bf SXLIB }.
The { \it netlist } can be either with the format { \bf vst } or with the format { \bf al }. The { \it netlist } can be either with the format { \bf vst } or with the format { \bf al }.
Check the environment variable { \bf MBK\_OUT\_LO}=vst. Check the environment variable { \bf MBK\_OUT\_LO}=vst.
@ -568,18 +572,17 @@ ASIMUT } all the behavioral views obtained.
\subsubsection{Solve fan-out problems } \subsubsection{Solve fan-out problems }
%----------------------------------------------------- %-----------------------------------------------------
The { \it netlist}\/s generated contain sometimes intern signals attacking a Generated { \it netlist}\/s may contain internal signals that drive a
significant number of gates (large FAN-OUT). This results in a clock edges deterioration significant number of gates (large FAN-OUT).
. In order to solve these problems, the tool In order to solve this problem, the tool
{ \bf LOON } replaces the cells having a fan-out too large by more powerful { \bf LOON } replaces the cells having a too large fan-out by more powerful
cells or insert buffers. cells and/or insert buffers.
\subsubsection{Long path visualization } \subsubsection{Long path visualization }
%----------------------------------------------------- %-----------------------------------------------------
At any moment, the { \it netlist}\/s can be graphically edited . At any moment, the { \it netlist}\/s can be graphically displayed using {\bf XSCH}.
The tool { \bf XSCH } makes it possible to visualize the longest This tool permits also to highlight the longest path on the schematic thanks to the files { \bf
path thanks to the files { \bf xsc } and { \bf vst } generated at xsc } and { \bf vst } generated by { \bf BOOG } and { \bf LOON }.
the same time by { \bf BOOG } and { \bf LOON }.
\begin{figure}[H]\centering \begin{figure}[H]\centering
\includegraphics[]{T_RC.eps} \includegraphics[]{T_RC.eps}
@ -598,14 +601,16 @@ cell.
%----------------------------------------------------- %-----------------------------------------------------
The netlist must be validated. For that, you have { \bf ASIMUT }, The netlist must be validated. For that, you have { \bf ASIMUT },
but also the tool { \bf PROOF } which proceeds to a formal comparison of two behavioral but also the tool { \bf PROOF } which proceeds to a formal comparison of two behavioral
descriptions ({ \bf vbe }). The tool { \bf FLATBEH } makes it possible to obtain the descriptions ({ \bf vbe }). The tool { \bf FLATBEH } is usefull to obtain a
new behavioral file starting from the { \it netlist }. new behavioral file starting from a { \it netlist }
(given a {\bf vbe} file for each leave cells of the hierarchy).
\subsubsection{Scan-path insertion} \subsubsection{Scan-path insertion}
%----------------------------------------------------- %-----------------------------------------------------
With { \bf SCAPIN } its possible to introduce a scan-path into the netlist. With { \bf SCAPIN } we can insert a scan-path into the netlist.
The scan-path allow you to observe in test mode the contains of all registers of your circuit. The path is created by changing the registers into mux\_register or inserting a multiplexer The scan-path allow the designer to observe in test mode the value of all registers of your circuit.
in front of these registers. The path is created by changing each registers into a mux\_register (or by inserting a multiplexer
in front of all registers).
\newpage \newpage
@ -617,30 +622,34 @@ cell.
For each Boolean network obtained previously: For each Boolean network obtained previously:
\begin{itemize}\itemsep=-.8ex \begin{itemize}\itemsep=-.8ex
\item position the environment variables; \item synthesize the \item set properly environment variables;
structural view: \item synthesize the structural view:
\begin{commandline} \begin{commandline}
> boog <vbe_source> > boog <vbe_source>
\end{commandline} \end{commandline}
\item launch { \bf BOOG } on different {\it netlist}\/s to \item launch { \bf BOOG } on different {\it netlist}\/s to observe {\bf SYF}
observe {\bf SYF} options influence . \item validate the work of options influence (different state encoding technics).
{ \bf BOOG }with { \bf ASIMUT }, the { \it netlist}\/s obtained \item validate the work of { \bf BOOG } with { \bf ASIMUT },
with test vectors which were used to validate the initial Boolean the { \it netlist}\/s obtained with stimuli which were used to
network. validate the initial Boolean network.
\end{itemize}\itemsep=-.8ex \end{itemize}\itemsep=-.8ex
\subsubsection{Netlist visualization} \subsubsection{Netlist visualization}
%---------------------------------------------------------- %----------------------------------------------------------
\begin{itemize}\itemsep=-.8ex \begin{itemize}\itemsep=-.8ex
\item The long path is described in the { \bf xsc } file produced \item The longest path (critical path) is described in the { \bf xsc } file produced
by { \bf boog }. The { \bf XSCH } tool will use it to colour its by { \bf boog }.
way. To launch the graphic editor: The { \bf XSCH } tool will use it to highlight this path on the schematic.
To launch the graphical schematic viewer:
\begin{commandline} \begin{commandline}
>xsch -I vst -l <vst_source> >xsch -I vst -l <vst_source>
\end{commandline} \end{commandline}
\item The red color indicates the critical path. \item The red color indicates the critical path.
\item If you use the option '{ \it - slide }' which makes it possible to post a whole of netlists, do not forget to press on the keys ' { \it + } ' or ' { \it - } ' to edit your files! \item you can use the option '{ \it -slide }' followed by netlist names to display one by one a set of
schematics.
The keys ' { \it + } ' and ' { \it - }' can then be used to display respectively next and previous
netlist.
\end{itemize}\itemsep=-.8ex \end{itemize}\itemsep=-.8ex
@ -682,20 +691,20 @@ values on the outputs.
to carry out on the best of your { \it netlist}\/s: to carry out on the best of your { \it netlist}\/s:
\begin{itemize}\itemsep=-.8ex \begin{itemize}\itemsep=-.8ex
\item validate the work of { \bf LOON } by using under { \bf \item validate the work of { \bf LOON } by running { \bf ASIMUT }
ASIMUT } the { \it netlist}\/s obtained on the different { \it netlist}\/s obtained, using the stimuli
with the test vectors which were used to validate the initial behavioral view. that were defined to validate the initial behavioral view.
\item Make a formal checking of your netlist by comparing \item Make a formal comparison of your netlist with
it with the origin behavioral file resulting from { \bf SYF }: the original behavioral file resulting from { \bf SYF }:
\begin{commandline} \begin{commandline}
>flatbeh <vst_source> <vbe_dest> >flatbeh <vst_source> <vbe_dest>
\end{commandline} \end{commandline}
\begin{commandline} \begin{commandline}
>proof -d <vbe_origine> <vbe_dest> >proof -d <vbe_origin> <vbe_dest>
\end{commandline} \end{commandline}
\end{itemize} \end{itemize}
Compare if the files are quite identical. Checks if the files are formally identicals.
\subsubsection{Scan-path insertion in the netlist} \subsubsection{Scan-path insertion in the netlist}
%------------------- %-------------------
@ -734,22 +743,23 @@ END_CONNECTOR
\subsection{exercise} \subsection{exercise}
For beginning here is an exercise to understand AMD2901 First of all, here is an exercise to understand the AMD2901
functionality, to conceive it in the continuation of chip functionality. The goal is to design it
this tutorial. To explore all the functionalities, you will have using Alliance, as described in the following parts of
to validate the behavioral view that will be provided. this tutorial.
The DATA will be find in appendix.
The validation will have to be carried out using test vectors To explore all functionalities, you will have
generated with {\bf genpat}. The vectors must be carefully written to validate the behavioral view that will be provided.
to enable you to detect a { \bf BUG } insidiously inserted in your All needed informations will be find in appendix.
behavioral file { \bf .vbe }. Approximately 500 patterns will be
enough for debugging your AMD 2901. The validation will have to be done using stimuli
generated by {\bf genpat}. The vectors must be carefully written
to enable you to detect { \bf BUG } in your behavioral file { \bf .vbe }.
Approximately 500 patterns will be enough for debugging your AMD 2901.
\subsection{step to follow} \subsection{step to follow}
It is necessary to generate test vectors which methodically test It is necessary to generate stimuli that tests all the parts and all functions
all the parts and function of the AMD following the specifications of the AMD following the specifications described in the documentation.
contained in the documentation.
\begin{itemize}\itemsep=-.8ex \begin{itemize}\itemsep=-.8ex
\item filling and reading the 16 boxes memories of the RAM . \item filling and reading the 16 boxes memories of the RAM .
@ -764,12 +774,12 @@ contained in the documentation.
\subsection{error found} \subsection{error found}
you can notice that for the RAM shifter values "101" and "111" of You can notice that for the RAM shifter values "101" and "111" of
i[8:6], the AMD causes a shift of the accumulator that should not i[8:6], the AMD causes a shift of the accumulator that should not
take place. take place.
for the values "000" and "001" of i[8:6], we have the writing of for the values "000" and "001" of i[8:6], the circuit writes the
ALU in the RAM . ALU output in RAM .
The AMD carries out the operation R xor S for The AMD carries out the operation R xor S for
I[5:3]=111 instead of carrying out the operation for I[5:3]=110. I[5:3]=111 instead of carrying out the operation for I[5:3]=110.
@ -790,9 +800,9 @@ Organization \label{bloc}}
\begin{itemize}\itemsep=-.8ex \begin{itemize}\itemsep=-.8ex
\item The data-path contains the Amd2901 regular parts , the \item The data-path contains the Amd2901 regular parts , the
registers and the arithmetic logic unit. \item The control part registers and the arithmetic logic unit.
contains irregular logic, the instructions decoding and the flags \item The control part contains irregular logic,
calculation. the instructions decoding and the flags computation.
\end{itemize} \end{itemize}
\newpage \newpage
@ -822,7 +832,7 @@ generation
\newpage \newpage
\section{Part controls realization } \section{Part controls design }
This part of irregular logic will be carried out with the cells of the library {\bf SXLIB}.\\ This part of irregular logic will be carried out with the cells of the library {\bf SXLIB}.\\
@ -847,7 +857,7 @@ here a simple circuit:
\epsffile{exemple1.eps} \epsffile{exemple1.eps}
\end{figure} \end{figure}
The file { \bf genlib } correspondent is as follows: The equivalent { \bf genlib } file is as follows:
\begin{sourcelisting} \begin{sourcelisting}
#include <genlib.h> #include <genlib.h>
@ -886,8 +896,7 @@ the command : \
\end{commandline} \end{commandline}
You obtain the file `` circuit.vst ''. (if is not it, it may be You obtain the file `` circuit.vst ''. (if is not it, it may be
that your environment is badly configured for { \bf genlib }). In due to environment variables that are not properly set for { \bf genlib }).
this case, pass to the section `` Part controls description ''.
\subsection{provided files checking} \subsection{provided files checking}
Create the file { \bf CATAL } in your simulation directory . It Create the file { \bf CATAL } in your simulation directory . It
@ -898,19 +907,19 @@ amd2901_ctl C
amd2901_dpt C amd2901_dpt C
\end{commandline} \end{commandline}
That causes to indicate to the simulator which should be taken the It makes the simulator use the
behavioral files (.vbe) of `` amd2901\_ctl '' and of `` amd2901\_dpt ' '. \\ behavioral files (.vbe) of `` amd2901\_ctl '' and of `` amd2901\_dpt ' '. \\
\begin{commandline} \begin{commandline}
> asimut amd2901_chip pattern result > asimut amd2901_chip pattern result
\end{commandline} \end{commandline}
You can control the result by using { \bf xpat } on the file `` You can verify the resulting patterns by using { \bf xpat } on the file ``
result ''. result ''.
\subsection{Part controls description } \subsection{Part controls description }
The diagrams corresponding to the signals list to realize are The diagrams corresponding to the signals list to design are
provided to you. %To supplement the file `` amd2901\_ctl.c '' then provided to you. %To supplement the file `` amd2901\_ctl.c '' then
compile it by using the steps below. \\ compile it by using the steps below. \\
@ -957,17 +966,16 @@ of problem, do not hesitate to use { \bf xpat }.
\end{commandline} \end{commandline}
After having validated the functional behavior of the netlist, After having validated the functional behavior of the netlist,
simulate with delay. Modify times between the patterns. Indeed, { simulate it using propagation delays.
Modify time values between the patterns. Indeed, {
\bf asimut } is able to evaluate the propagation times for each \bf asimut } is able to evaluate the propagation times for each
gates of the netlist. but beware asimut can just evaluate and cell of the netlist (taken into account the "after" clauses
the route cannot be considered.This is not of course possible step for a specify in vbe files).
behavioral file.
%%%%%%%%%%%%%%%%%%%% %%%%%%%%%%%%%%%%%%%%
\newpage \newpage
\section{Data-path realization} \section{Data-path design}
The data path is formed by the regular logic of the circuit. In The data path is formed by the regular logic of the circuit. In
order to benefit from this regularity, we generates the signals order to benefit from this regularity, we generates the signals
list in the vectorial operators form (or columns) { \it via } the list in the vectorial operators form (or columns) { \it via } the
@ -1060,14 +1068,13 @@ may be that your environment is badly configured for { \bf genlib
pass to the section `` Data path description''.\\ pass to the section `` Data path description''.\\
{\bf Note:} { \bf genlib } can also create the physical placement {\bf Note:} { \bf genlib } can also create the physical placement
(the drawing) of structural description .\\ (the drawing) of a structural description .\\
\subsection{Data-path description} \subsection{Data-path description}
The diagrams corresponding to the signals list to realize are The diagrams corresponding to the signals list to design are
provided to you. %To supplement the file `` amd2901\_dpt.c '' then given. %To supplement the file `` amd2901\_dpt.c '' then
compile it by using Compile it following the steps below .\\
the steps below .\\
%Positionner les variables d'environnement sp\'ecifiant les formats des diff\'erentes vues ainsi que les librairies de cellules utilis\'ees.\\ %Positionner les variables d'environnement sp\'ecifiant les formats des diff\'erentes vues ainsi que les librairies de cellules utilis\'ees.\\
% %
@ -1082,15 +1089,15 @@ the steps below .\\
%}\\ %}\\
Generate the signals list { \bf vst } starting from the file { \bf c } by the command: \\ Generate the signals list { \bf vst } starting from the { \bf c } file,
using the command: \\
\ \\ \ \\
\begin{commandline} \begin{commandline}
> genlib amd2901_dpt > genlib amd2901_dpt
\end{commandline} \end{commandline}
Validate the netlist in the same way as for the part Validate the netlist in the same way as it has been done for the control part.
controls. Remove file CATAL and simulate the circuit with { \bf Remove CATAL file and simulate the circuit with { \bf asimut }.
asimut }.
\begin{commandline} \begin{commandline}
> asimut -zerodelay amd2901_chip pattern result > asimut -zerodelay amd2901_chip pattern result
@ -1103,7 +1110,7 @@ asimut }.
\newpage \newpage
\section{The { \it Makefile } or how to manage tasks dependency } \section{The { \it Makefile } or how to manage tasks dependencies }
%------------------------------------------------------------------------------- %-------------------------------------------------------------------------------
The synthesis under { \bf Alliance } breaks up into several tools The synthesis under { \bf Alliance } breaks up into several tools