diff --git a/cosimulation/cver/README.txt b/cosimulation/cver/README.txt
new file mode 100644
index 00000000..73ab5dbb
--- /dev/null
+++ b/cosimulation/cver/README.txt
@@ -0,0 +1,17 @@
+A working cver installation is required.
+
+Use the makefile corresponding to your platform to generate a 'myhdl.so'
+PLI module. Currently, the following makefiles are available:
+
+  makefile.lnx  - for Linux
+
+To test whether it works, go to the 'test' subdirectory and run the
+tests with 'python test_all.py'. 
+
+For co-simulation with MyHDL, 'cver' should be run with the 'myhdl.so'
+PLI module, using the '+loadvpi' option, and with the 'vpi_compat_bootstrap'
+routine as the bootstrap routine. The Verilog code should contain the 
+appropriate calls to the '$to_myhdl' and 'from_myhdl' tasks.
+
+The 'myhdl.c' module was developed and verified with cver version
+GPLCVER_1.10f on Linux.
diff --git a/cosimulation/icarus/README.txt b/cosimulation/icarus/README.txt
index 34a407d1..6f3511c2 100644
--- a/cosimulation/icarus/README.txt
+++ b/cosimulation/icarus/README.txt
@@ -6,13 +6,16 @@ PLI module. Install it in an appropriate location, where 'vvp' can
 find it. Note that you can use the '-m' flag to vvp to specify the PLI
 module path.
 
+To test whether it works, go to the 'test' subdirectory and run the
+tests with 'python test_all.py'. 
+
 For co-simulation with MyHDL, 'vvp' should be run with the 'myhdl.vpi'
 PLI module, and the Verilog code should contain the appropriate calls
 to the '$to_myhdl' and 'from_myhdl' tasks.
 
 The 'myhdl.vpi' module was developed and verified with Icarus 0.7.
 
-Between snapshot 20030518 (used in MyHDL 0.3), and 2001009, the
+Between snapshot 20030518 (used in MyHDL 0.3), and 20031009, the
 Icarus scheduler has been improved. This requires a small update
 of myhdl.c. The current version is supposed to work with recent
-snapshot - the older version is availabele in myhdl.c.20030518.
+snapshot - the older version is available in myhdl.c.20030518.