Rewrite abstract

abstract.tex

@@ -1,8 +1,11 @@
-We are describing our most recent progress on the Manifold systems design language and toolchain.
-Manifold is a generic high-level system design language built to resemble modern functional programming languages.
-It has been applied in the past to describe digital and microfluidic circuits, with most recent work focusing on microfluidics.
-The Manifold toolchain allows engineers to describe their systems in a simple and high-level abstraction using domain specific libraries.
-The syntax of the frontend language has been expanded with several useful features, including a type system, importable modules, and tuples.
-For the domain-specific microfludics backend, the framework now supports code generation for Modelica modeling language for running time-domain simulations.
-By integrating with tools such as the dReal satisfiability solver Manifold allows the design verification process to be automated.
-We also demonstrate the process for Manifold code input to be synthesized into schematics for MapleSim for simulation and possibly for additional tools in the future.
+We describe our work in creating version two of the Manifold systems design language and toolchain.
+Manifold is a generic high-level system design language built to resemble modern functional
+programming languages. It has been applied in the past to describe digital and microfluidic
+circuits, with the most recent work focusing on microfluidics. The Manifold toolchain allows
+engineers to describe their systems using simple and high-level abstractions with domain specific
+libraries. The syntax of the frontend language has been expanded with several useful features,
+including a type system, importable modules, and tuples. Manifold 2.0 supports Modelica code
+generation to run time-domain simulations in the microfluidics backend. By integrating with tools
+such as the dReal satisfiability solver, Manifold allows the design verification process to be
+increasingly automated. We also demonstrate the process of synthesizing Manifold files into
+schematics for simulation using MapleSim as well as additional tools in the future.

main.tex

@@ -99,6 +99,9 @@
 \begin{abstract}
 \input{abstract}
 \end{abstract}
+\begin{IEEEkeywords}
+Microfluidics, Design automation, Hardware description language.
+\end{IEEEkeywords}
 
 \input{intro}
 \input{body}