From 066adbdeacd659497a31d9a22bc18cce4374d8cc Mon Sep 17 00:00:00 2001
From: Robert Jordens <jordens@gmail.com>
Date: Sat, 11 Apr 2015 15:49:36 -0600
Subject: [PATCH] pipistrello: timing report

---
 soc/targets/artiq_pipistrello.py | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/soc/targets/artiq_pipistrello.py b/soc/targets/artiq_pipistrello.py
index 1d9528970..97b7cec2f 100644
--- a/soc/targets/artiq_pipistrello.py
+++ b/soc/targets/artiq_pipistrello.py
@@ -53,6 +53,9 @@ class _Peripherals(BaseSoC):
 
     def __init__(self, platform, cpu_type="or1k", **kwargs):
         BaseSoC.__init__(self, platform, cpu_type=cpu_type, **kwargs)
+        platform.toolchain.ise_commands += """
+trce -v 12 -fastpaths -o {build_name}.twr {build_name}.ncd {build_name}.pcf
+"""
         platform.add_extension(nist_qc1.papilio_adapter_io)
 
         self.submodules.leds = gpio.GPIOOut(Cat(