Index: /anr/section-2.1.tex
===================================================================
--- /anr/section-2.1.tex	(revision 172)
+++ /anr/section-2.1.tex	(revision 173)
@@ -92,5 +92,5 @@
 design environments:
 \begin{enumerate}
-  \item a virtual prototyping environment for system level exploration,
+  \item a virtual prototyping environment such as SoCLib for system level exploration,
   \item an architecture compiler (such as SOPC Builder from \altera, or System generator
   from \xilinx) to define the hardware architecture,