diff options
author | Naoki Pross <np@0hm.ch> | 2021-10-05 00:35:29 +0200 |
---|---|---|
committer | Naoki Pross <np@0hm.ch> | 2021-10-05 00:35:29 +0200 |
commit | 6701f05ebcefa0c01fb76dbd78104f80dbc6951a (patch) | |
tree | 665f459766861395d747300033b926f38a923ca8 | |
parent | Update README.md (diff) | |
download | DigME-6701f05ebcefa0c01fb76dbd78104f80dbc6951a.tar.gz DigME-6701f05ebcefa0c01fb76dbd78104f80dbc6951a.zip |
On constraints
Diffstat (limited to '')
-rw-r--r-- | DigME.tex | 27 | ||||
-rw-r--r-- | build/DigME.pdf | bin | 85962 -> 93293 bytes |
2 files changed, 20 insertions, 7 deletions
@@ -65,17 +65,30 @@ \section{Design constraints and static timing analysis (STA)} +Synthesis and implementation tools can reduce VHDL code into a set of combinatoric and sequetial logic parts, but for the last step information about the hardware is required. Such information is given through the \emph{constraints} defined through XDC\footnote{Xilix Design Constraints, proprietary format.} or SDC\footnote{Synopsys Design Contraints, industry standard.} files. Both file formats are mostly a set ot TCL commands. + +Constraints should be generally organized in three sections (or separate files): +\begin{itemize} + \item Physical constraints: described below, usually before timing. + \item Timing assertions: primary clocks, virtual clocks, generated clocks, clock groups, input and output delay constraints. + \item Timing exceptions: false paths, min / max delay, multicycle paths, case analysis, disable timing. +\end{itemize} + \subsection{Physical constraints} +Physical contraints include: I/O contraints, Netlist constraints, Placement constraints, Routing constraings. Physical constraints are usually given through the graphical user interface. + \subsection{Timing constraints} -\begin{figure}[h] - \centering - \begin{tikztimingtable}[] - Clock & ccccccccccc\\ - \end{tikztimingtable} -\end{figure} + +% \begin{figure}[h] +% \centering +% \begin{tikztimingtable}[] +% Clock & ccccccccccc\\ +% \end{tikztimingtable} +% \end{figure} + \[ - t_\text{input} + t_\text{slack} = T - t_\text{arrival} \] \section{System level VHDL} diff --git a/build/DigME.pdf b/build/DigME.pdf Binary files differindex 1bb0675..dab5a91 100644 --- a/build/DigME.pdf +++ b/build/DigME.pdf |