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