67 lines
1.4 KiB
TeX
67 lines
1.4 KiB
TeX
\documentclass[titlepage,a4paper,12pt]{article}
|
|
|
|
\usepackage[ngerman]{babel}
|
|
\usepackage[utf8]{inputenc}
|
|
\usepackage[T1]{fontenc}
|
|
\usepackage{customtitle}
|
|
|
|
%\newcounter{RegelCounter}
|
|
%\setcounter{RegelCounter}{1}
|
|
%\newcommand{\regel}[1]{\par\noindent\textbf{Regel \theRegelCounter: } #1\stepcounter{RegelCounter}\par}
|
|
|
|
\newcounter{RegelCounter}
|
|
\setcounter{RegelCounter}{1}
|
|
\newenvironment{regel}{\noindent{\large\textbf{Regel \theRegelCounter:}\\}}{\stepcounter{RegelCounter}\par}
|
|
|
|
% For title page
|
|
\newcommand{\thx}[2]{\textbf{#1}\\#2\par}
|
|
|
|
% Info on titlepage
|
|
\heading{Studienarbeit}
|
|
\title{Trace-basierte Verifikation der FPGA-Implementierung eines MIPS-Prozessors}
|
|
\author{Valentin Gehrke}
|
|
\leftbox{
|
|
\thx{Betreuer}{Martin Zabel}
|
|
}
|
|
\rightbox{
|
|
\thx{Betreuender HSL}{Prof.\ Dr.\ Rainer Spallek}
|
|
}
|
|
|
|
\begin{document}
|
|
|
|
%Title page
|
|
\makecustomtitle
|
|
|
|
\tableofcontents
|
|
|
|
\section{Einführung}
|
|
\subsection{Was ist Gummi?}
|
|
|
|
Gummi halt...
|
|
|
|
\subsection{Regeln}
|
|
|
|
\begin{regel}
|
|
Kein Gummi
|
|
\end{regel}
|
|
\begin{regel}
|
|
Baum
|
|
\end{regel}
|
|
\begin{regel}
|
|
K"ase
|
|
\end{regel}
|
|
|
|
\subsection{Was ist ein A-Schlauch?}
|
|
|
|
Eine genormte Feuerwehrschlauchgröße.
|
|
|
|
\subsection{Was ist CUDA und OpenCL?}
|
|
|
|
So was mit Grafikkarten, weiß auch nicht. Frag Wikipedia
|
|
|
|
\section{Kombination}
|
|
|
|
\subsection{Was kann man jetzt mit all dem machen?}
|
|
|
|
Nix... glaub ich...
|
|
\end{document}
|