Commit 0c144527 authored by Antonin Dudermel's avatar Antonin Dudermel
Browse files

start presentation

parent a13fcffe
\documentclass{beamer}
\addtobeamertemplate{navigation symbols}{}{%
\usebeamerfont{footline}%
\usebeamercolor[fg]{footline}%
\hspace{1em}%
\insertframenumber/\inserttotalframenumber
}
\mode<presentation>
{
\usetheme{metropolis}
%\usecolortheme{beaver}
% \setbeamercovered{transparent}
}
%\setbeamercolor{block body}{bg=mDarkTeal!30}
%\setbeamercolor{block title}{bg=mDarkTeal,fg=black!2}
\setbeamerfont{subsection in toc}{size=\footnotesize}
\usepackage[english]{babel}
\usepackage[T1]{fontenc}
\usepackage[utf8]{inputenc}
\usepackage{ulem}
\usepackage{listings}
\usepackage{tikz}
\usetikzlibrary{calc, shapes, decorations.markings}
%\usepackage{epigraph}
%\setlength\epigraphwidth{.8\textwidth}
\usepackage{amsmath,amsfonts,amssymb}
\usepackage{stmaryrd}
\usepackage{subfig}
\usepackage[export]{adjustbox}
% \newtheorem{defin}{Définition}
%\newtheorem{theo}{Théorème}
%\newtheorem{lm}{Lemme}
%\newtheorem{prop}{Propriété}
\makeatletter
\let\@@magyar@captionfix\relax
\makeatother
\title{Signal Annotation for Fixed-Point FAUST targets}
\subtitle{M2 internship Report}
\author%[Ad,Bc] % (optional, use only with lots of authors)
{Antonin Dudermel\inst{1} \\ supervised by\\ Florent de Dinechin\inst{2} \and Stéphane
Letz\inst{3} \and Yann Orlarey\inst{3} \and Tanguy Risset\inst{2} }
% - Use the \inst{?} command only if the authors have different
% affiliation.
\institute{ENSL\inst{1}, CITI\inst{2}, GRAME\inst{3}}
\date{2021-03-15}
% If you have a file called "university-logo-filename.xxx", where xxx
% is a graphic format that can be processed by latex or pdflatex,
% resp., then you can add a logo as follows:
% \pgfdeclareimage[height=0.5cm]{university-logo}{university-logo-filename}
% \logo{\pgfuseimage{university-logo}}
% Delete this, if you do not want the table of contents to pop up at
% the beginning of each subsection:
% If you wish to uncover everything in a step-wise fashion, uncomment
% the following command:
% \beamerdefaultoverlayspecification{<+->}
\begin{document}
\begin{frame}
\titlepage
\end{frame}
% ajouter une slide d'intros
\section{Introduction}
\subsection{The Faust Programming Language}
\subsection{The FAST\cite{fastproject} Project: Faust on FPGA}
\subsection{Implementing the Reals: Floating-Point VS Fixed-Point numbers}
\subsection{A Motivating Example: The Bell}
\subsection{Definitions}
\subsubsection*{Conventions}
\subsubsection{Signal Processing basics\cite{vetterli2014foundationssignal}}
\subsubsection{Fixed-Point numbers}
\section{Bounding Signals to Avoid Overflow (MSB)}
\subsection{Interval Arithmetic in Faust}
\subsection{The (possibly Turing-Complete) problem with Feedback Loops}
\subsubsection{Lattices in compilation}
\subsubsection{Improving the widening}
\subsubsection{Limitations}
\subsection{The Temptating Patch: Unsafe Handmade Annotations}
\section{Designing Accuracy for Small but Correct Computations (LSB)}
\subsection{Modelling Errors, how to make computer lies explicit}
\subsection{Another Use of Interval Arithmetic}
\subsection{Local Rules, easy to implement but hard to devise}
\subsubsection{From the Input to the Outputs, scale to best}
\subsubsection{From the Input to the Outputs, scale to worse}
\subsubsection{From the Outputs to the Inputs, satisfying requirements}
\subsection{One step beyond: Global Rules}
\section{Conclusion and Future Work}
\subsection{Short-term Perspectives}
\subsection{Medium-term Perspectives}
\subsection{Long-term Perspectives}
\end{document}
%%% Local IspellDict: en
\ No newline at end of file
\DeclareMathOperator{\sfix}{sfix}
\DeclareMathOperator{\ufix}{ufix}
\newcommand{\cint}{\texttt{int32\_t}}
\newcommand{\clong}{\texttt{int64\_t}}
\newcommand{\simple}{\texttt{binary32}}
\newcommand{\lsb}{\ell}
\newcommand{\msb}{m}
\DeclareMathOperator{\Cvx}{C}
\newcommand{\recSig}[3]{ % var, init, rec rel
\left\{
\begin{array}{lr}
#2 & #1 < 0\\
#3 & #1 \geq 0
\end{array}
\right.
}
\newcommand{\cpt}{\hat}
\newcommand{\rnd}{\circ}
\newcommand{\op}{\diamond}
\newcommand{\Ops}{\text{Ops}}
\newcommand{\ninf}[1]{\left\| #1 \right\|_\infty}
\newcommand{\ens}[1]{\left\{ #1 \right\}}
\newcommand{\Nat}{\mathbb{N}}
\newcommand{\Rel}{\mathbb{Z}}
\newcommand{\Rat}{\mathbb{Q}}
\newcommand{\Real}{\mathbb{R}}
\newcommand{\unif}{\mathcal{U}}
\newcommand{\IntR}{[-\infty, +\infty]}
\definecolor{shadethmcolor}{rgb}{0.8,0.8,0.8}
\newshadetheorem{defin}{Definition}
\newshadetheorem{theo}{Theorem}
\newtheorem{lm}{Lemma}
\newtheorem{rk}{Remark}
\newtheorem{prp}{Proposition}
\newtheorem*{note}{Note}
...@@ -11,7 +11,7 @@ ...@@ -11,7 +11,7 @@
\usepackage{algorithm} \usepackage{algorithm}
\usepackage{algpseudocode} \usepackage{algpseudocode}
\usepackage[final]{listings} \usepackage{listings}
\lstset{ \lstset{
language=c, language=c,
basicstyle=\ttfamily, basicstyle=\ttfamily,
...@@ -20,7 +20,6 @@ ...@@ -20,7 +20,6 @@
%numberstyle=\small %numberstyle=\small
} }
\usepackage{amsmath,amsfonts,amssymb, amsthm} \usepackage{amsmath,amsfonts,amssymb, amsthm}
\usepackage[pagebackref, final]{hyperref} \usepackage[pagebackref, final]{hyperref}
\usepackage{siunitx} \usepackage{siunitx}
...@@ -35,109 +34,8 @@ ...@@ -35,109 +34,8 @@
\usepackage{shadethm} \usepackage{shadethm}
\usepackage{subfiles} \usepackage{subfiles}
\input{../notations.tex}
\newcommand{\todo}[1]{\textcolor{red}{TODO: #1}} \input{../utils.tex}
\newcommand{\figref}[1]{figure \ref{#1}}
\newcommand{\doublefig}[9][]{ % [text before caption], caption, label&text,
% s1:caption&label, size in \textwidth, source file
% s2:caption&label, size in \textwidth, source file
% beforecaption
\begin{figure}
\centering
\hspace{\stretch{1}}
\subfloat[#4]{\includegraphics[width=#5\textwidth, valign=c]{#6}}
\hspace{\stretch{1}}
\subfloat[#7]{\includegraphics[width=#8 \textwidth, valign=c]{#9}}
\hspace{\stretch{1}}
#1
\caption{#2}
#3 %used for labels and comments
\end{figure}
}
\newcommand{\faustexfig}[8]{ % caption, label&text,
% size, png of the block diagram
% size, png of the signal graph
% formula, address of the code
\begin{figure}
\centering
\subfloat[block diagram]{
\includegraphics[width=#3\textwidth, valign=c]{#4}
}
\hspace{\stretch{1}}
\subfloat[signal graph]{
\includegraphics[width=#5 \textwidth, valign=c]{#6}
}\\
\subfloat[signal implemented]{ #7
}\\
\subfloat[faust code]{ \lstinputlisting{#8} }
\caption{#1}
#2 %used for labels and comments
\end{figure}
}
% \usepackage{endfloat}
% \renewcommand{\processdelayedfloats}{}
% \renewcommand{\doublefig}[9][]{}
\newcommand{\ie}{\emph{i.e.}}
\DeclareMathOperator{\sfix}{sfix}
\DeclareMathOperator{\ufix}{ufix}
\newcommand{\cint}{\texttt{int32\_t}}
\newcommand{\clong}{\texttt{int64\_t}}
\newcommand{\simple}{\texttt{binary32}}
\newcommand{\lsb}{\ell}
\newcommand{\msb}{m}
\DeclareMathOperator{\Cvx}{C}
\newcommand{\recSig}[3]{ % var, init, rec rel
\left\{
\begin{array}{lr}
#2 & #1 < 0\\
#3 & #1 \geq 0
\end{array}
\right.
}
\newcommand{\cpt}{\hat}
\newcommand{\rnd}{\circ}
\newcommand{\op}{\diamond}
\newcommand{\Ops}{\text{Ops}}
\newcommand{\ninf}[1]{\left\| #1 \right\|_\infty}
\newcommand{\ens}[1]{\left\{ #1 \right\}}
\newcommand{\Nat}{\mathbb{N}}
\newcommand{\Rel}{\mathbb{Z}}
\newcommand{\Rat}{\mathbb{Q}}
\newcommand{\Real}{\mathbb{R}}
\newcommand{\unif}{\mathcal{U}}
\newcommand{\IntR}{[-\infty, +\infty]}
\newcommand{\smallcode}[2][]{
\begin{minipage}{.5\linewidth}
\lstinputlisting[#1]{#2}
\end{minipage}
}
\definecolor{shadethmcolor}{rgb}{0.8,0.8,0.8}
\newshadetheorem{defin}{Definition}
\newshadetheorem{theo}{Theorem}
\newtheorem{lm}{Lemma}
\newtheorem{rk}{Remark}
\newtheorem{prp}{Proposition}
\newtheorem*{note}{Note}
\input{../f2defs.tex} \input{../f2defs.tex}
\input{../pictures/pic.tex} \input{../pictures/pic.tex}
......
\newcommand{\todo}[1]{\textcolor{red}{TODO: #1}}
\newcommand{\figref}[1]{figure \ref{#1}}
\newcommand{\doublefig}[9][]{ % [text before caption], caption, label&text,
% s1:caption&label, size in \textwidth, source file
% s2:caption&label, size in \textwidth, source file
% beforecaption
\begin{figure}
\centering
\hspace{\stretch{1}}
\subfloat[#4]{\includegraphics[width=#5\textwidth, valign=c]{#6}}
\hspace{\stretch{1}}
\subfloat[#7]{\includegraphics[width=#8 \textwidth, valign=c]{#9}}
\hspace{\stretch{1}}
#1
\caption{#2}
#3 %used for labels and comments
\end{figure}
}
\newcommand{\faustexfig}[8]{ % caption, label&text,
% size, png of the block diagram
% size, png of the signal graph
% formula, address of the code
\begin{figure}
\centering
\subfloat[block diagram]{
\includegraphics[width=#3\textwidth, valign=c]{#4}
}
\hspace{\stretch{1}}
\subfloat[signal graph]{
\includegraphics[width=#5 \textwidth, valign=c]{#6}
}\\
\subfloat[signal implemented]{ #7
}\\
\subfloat[faust code]{ \lstinputlisting{#8} }
\caption{#1}
#2 %used for labels and comments
\end{figure}
}
% \usepackage{endfloat}
% \renewcommand{\processdelayedfloats}{}
% \renewcommand{\doublefig}[9][]{}
\newcommand{\ie}{\emph{i.e.}}
\newcommand{\smallcode}[2][]{
\begin{minipage}{.5\linewidth}
\lstinputlisting[#1]{#2}
\end{minipage}
}
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment