More README improvements

Author: kmurray

README.md

@@ -3,25 +3,24 @@
 [![Build Status](https://travis-ci.org/kmurray/tatum.svg?branch=master)](https://travis-ci.org/kmurray/tatum)
 
 ## Overview
-Tatum is primarily a library (`libtatum`) which provides a fast and flexible Static Timing Analysis (STA) engine for digital circuits.
-
-Tatum is a block-based timing analyzer suitable for integration with Computer-Aided Design (CAD) tools used to optimize and implement digital circuits.
-Tatum supports both setup (max) and hold (min) analysis, clock skew and multiple clocks.
+Tatum is a block-based Static Timing Analysis (STA) engine suitable for integration with Computer-Aided Design (CAD) tools, which analyze, implement and optimize digital circuits.
+Tatum supports both setup (max-delay) and hold (min-delay) analysis, clock skew, multiple clocks and a variety of timing exceptions.
 
+Tatum is provided as a library (`libtatum`) which can be easily integrated into the host application.
 Tatum operates on an abstract *timing graph* constructed by the host application, and can be configured to use an application defined delay calculator.
 
 Tatum is optimized for high performance, as required by optimizing CAD tools.
 In particular:
-  * Tatum performs only a single set of graph traversals to calculate timing information for all clocks.
+  * Tatum performs only a *single* set of graph traversals to calculate timing information for all clocks and analyses (setup and hold).
   * Tatum's data structures are cache optimized
   * Tatum supports parallel analysis using multiple CPU cores
 
 ## How to Cite
-If your work uses Tatum please cite the following paper as a general citation:
+If your work uses Tatum please cite the following as a general citation:
 
 K. E. Murray and V. Betz, "Tatum: Parallel Timing Analysis for Faster Design Cycles and Improved Optimization", *IEEE International Conference on Field-Programmable Technology (FPT)*, 2018
 
-Bibtex:
+**Bibtex:**
 ```
 @inproceedings{c:tatum,
     author = {Murray, Kevin E. and Betz, Vaughn},
@@ -31,20 +30,22 @@ Bibtex:
 }
 ```
 
-## Download
+## Documentation
 Comming soon.
 
-## Documentation
+## Download
 Comming soon.
 
-## Uses of Tatum
+## Projects using Tatum
 
 Tatum is designed to be re-usable in a variety of appliations.
 
 Some of the known uses are:
   * The [Verilog to Routing (VTR)](https://verilogtorouting.org) project for Field-Programmable Gate Array (FPGA) Architecture and CAD research. Tatum is used as the STA engine in the VPR placement and routing tool.
   * The [CGRA-ME](http://cgra-me.ece.utoronto.ca/) framework for Coarse-Grained Reconfigurable Array (CGRA) Architecture research.
 
+*If your project is using Tatum please let us know!*
+
 ## History
 
 ### Why was Tatum created?