diff --git a/groundtest/scripts/toaxe.py b/groundtest/scripts/toaxe.py
index 684770ae..fa75f059 100755
--- a/groundtest/scripts/toaxe.py
+++ b/groundtest/scripts/toaxe.py
@@ -1,5 +1,25 @@
 #!/usr/bin/env python
 
+# This file was originally written by Matthew Naylor, University of
+# Cambridge.
+#
+# This software was partly developed by the University of Cambridge
+# Computer Laboratory under DARPA/AFRL contract FA8750-10-C-0237
+# ("CTSRD"), as part of the DARPA CRASH research programme.
+# 
+# This software was partly developed by the University of Cambridge
+# Computer Laboratory under DARPA/AFRL contract FA8750-11-C-0249
+# ("MRC2"), as part of the DARPA MRC research programme.
+# 
+# This software was partly developed by the University of Cambridge
+# Computer Laboratory as part of the Rigorous Engineering of
+# Mainstream Systems (REMS) project, funded by EPSRC grant
+# EP/K008528/1. 
+
+# -------
+# Outline
+# -------
+
 # This script takes memory-subsystem traces produced by the groundtest
 # trace generator (see tracegen.scala) and puts them into a format
 # that can be validated by the axe tool (see
diff --git a/groundtest/src/main/scala/tracegen.scala b/groundtest/src/main/scala/tracegen.scala
index dc7a7f64..8d8c8777 100644
--- a/groundtest/src/main/scala/tracegen.scala
+++ b/groundtest/src/main/scala/tracegen.scala
@@ -1,7 +1,18 @@
-// Generate memory traces that result from random sequences of memory
-// operations.  These traces can then be validated by an external
-// tool.  A trace is a simply sequence of memory requests and
-// responses.
+// This file was originally written by Matthew Naylor, University of
+// Cambridge, based on code already present in the groundtest repo.
+//
+// This software was partly developed by the University of Cambridge
+// Computer Laboratory under DARPA/AFRL contract FA8750-10-C-0237
+// ("CTSRD"), as part of the DARPA CRASH research programme.
+// 
+// This software was partly developed by the University of Cambridge
+// Computer Laboratory under DARPA/AFRL contract FA8750-11-C-0249
+// ("MRC2"), as part of the DARPA MRC research programme.
+// 
+// This software was partly developed by the University of Cambridge
+// Computer Laboratory as part of the Rigorous Engineering of
+// Mainstream Systems (REMS) project, funded by EPSRC grant
+// EP/K008528/1.
 
 package groundtest
  
@@ -12,6 +23,15 @@ import rocket._
 import scala.util.Random
 import cde.{Parameters, Field}
 
+// =======
+// Outline
+// =======
+
+// Generate memory traces that result from random sequences of memory
+// operations.  These traces can then be validated by an external
+// tool.  A trace is a simply sequence of memory requests and
+// responses.
+
 // ==========================
 // Trace-generator parameters
 // ==========================