From c196fe0621e7af5f1b39261dcf4df4c01613126e Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Th=C3=A9ophile=20Bastian?= Date: Sat, 19 Aug 2017 20:41:46 +0200 Subject: [PATCH] First draft of an abstract --- report/report.tex | 23 ++++++++++++++++++++++- 1 file changed, 22 insertions(+), 1 deletion(-) diff --git a/report/report.tex b/report/report.tex index 3bc15a4..c52149d 100644 --- a/report/report.tex +++ b/report/report.tex @@ -34,7 +34,28 @@ \maketitle \begin{abstract} - \todo{abstract} + \todo{enhance abstract?} + + The present report describes and summarizes my 1st year of Master's + degree's internship at the university of Chalmers, Göteborg, Sweden. I + worked under supervision of Carl-Johan Seger and Mary Sheeran. + + The project's goal was to contribute to VossII, a hardware proving tool + cloning fl, developed at Intel by Carl Seger for internal usage only. It + led me to work on \emph{pattern-matching} on electronic circuits for a + \emph{search-and-replace} method, allowing one to apply previously proved + transformations to a circuit. + + This problem turns out to be more or less the \emph{subgraph isomorphism + problem}, which is NP-complete, and must nevertheless be solved fast on + processor-sized circuits on this particular case. + + During my internship, I developed a C++ library to perform this task that + will be integrated in VossII, based on a few well-known algorithms as well + as some ad-hoc heuristics and algorithm tweaks to better match the context + of circuits. One of my objectives all along was also to keep a clean and + well-documented codebase, as the tool will have to be maintainable by + others later. \end{abstract} \tableofcontents