-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathmain.tex
119 lines (102 loc) · 3.23 KB
/
main.tex
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
% rubber : module pdftex
\documentclass[conference]{IEEEtran}
\usepackage{algorithm}
\usepackage{algorithmic}
\usepackage{hyphenat}
\usepackage{xspace}
\usepackage{float} \floatstyle{ruled} \restylefloat{figure} \restylefloat{table}
\usepackage{listings}
\lstset{basicstyle=\sffamily\small,showstringspaces=false,columns=fullflexible,}
\usepackage[square,sort&compress,numbers]{natbib}
\usepackage{tikz}
\usetikzlibrary{shapes,arrows}
\usepackage{graphicx}
\DeclareGraphicsExtensions{.pdf,.jpeg,.png}
\usepackage{xcolor}
\definecolor{darkblue}{rgb}{0.0, 0.18, 0.39}
\definecolor{darkgreen}{rgb}{0.18, 0.31, 0.31}
\definecolor{light-gray}{gray}{0.75}
\usepackage[pdftex]{hyperref}
\hypersetup{
draft, % don't include links
letterpaper=true,
pagebackref=false, % links back from references to body text
plainpages=false, % needed if Roman numbers in frontpages
pdfpagelabels=true, % adds page number as label in Acrobat's page count
bookmarks=false, % don't include bookmarks
unicode=false, % non-Latin characters in Acrobat's bookmarks
pdftoolbar=true, % show Acrobat's toolbar?
pdfmenubar=true, % show Acrobat's menu?
pdffitwindow=false, % window fit to page when opened
pdfstartview={FitH}, % fits the width of the page to the window
pdfnewwindow=true, % links in new window
colorlinks=true, % false: boxed links; true: colored links
linkcolor=darkblue, % color of internal links
citecolor=darkgreen, % color of links to bibliography
filecolor=magenta, % color of file links
urlcolor=blue % color of external links
}
\hypersetup{ % override some previously defined hyperref options
%% colorlinks,%
citecolor=black,%
filecolor=black,%
linkcolor=black,%
urlcolor=black
}
\lstdefinelanguage{manifold}
{
morekeywords={
primitive,
port,
node,
infer,
public,
import,
Type,
true,
false
},
morecomment=[l]{//},
morecomment=[s]{/*}{*/},
morestring=[b]"
}
\lstset{
language={manifold},
basicstyle=\small\ttfamily,
captionpos=b,
tabsize=2,
columns=fixed,
keepspaces=true,
showstringspaces=false,
breaklines=true,
frame=single,
numberstyle=\tiny\ttfamily,
commentstyle=\textit,
keywordstyle=\textbf
}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\begin{document}
\title{Manifold 2.0 \\ \vspace{-1ex} {\Large A Hardware Description Language for Microfluidic Devices}}
\author{\IEEEauthorblockN{Nicholas Klassen, Michael Lyons, Michael Prysiazny,
Paul Roth, Peter Socha, \\
Murphy Berzish, Atulan Zaman, and Derek Rayside}
\IEEEauthorblockA{Electrical and Computer Engineering\\
University of Waterloo, Canada\\
\url{[email protected]}}
}
\maketitle
\begin{abstract}
\input{abstract}
\end{abstract}
\begin{IEEEkeywords}
Microfluidics, Design automation, Hardware description language.
\end{IEEEkeywords}
\input{intro}
\input{body}
\input{conclusion}
% disabling macros that are used only for UW Faculty of Engineering reports
\providecommand{\StudentAuthor}{}
\providecommand{\PostDocAuthor}{}
\bibliographystyle{IEEEtranN}
\bibliography{IEEEabrv,bib/strings-long,main,bib/microfluidics,bib/derek,bib/proceedings}
\end{document}