picoArray 技术:工具的故事
硬件体系结构
2011-11-09 v1
摘要
本文简要介绍了 picoArray 架构,特别是其确定性的内部通信结构。文中解释了为调试和验证使用 picoArray 系列器件的系统所开发的方法。为了最大化这些器件的计算能力,硬件调试支持被保持在最低限度,并开发了相应的方法和工具以应对这一情况。
引用
@article{arxiv.0710.4814,
title = {picoArray Technology: The Tool's Story},
author = {Andrew Duller and Daniel Towner and Gajinder Panesar and Alan Gray and Will Robbins},
journal= {arXiv preprint arXiv:0710.4814},
year = {2011}
}
评论
Submitted on behalf of EDAA (http://www.edaa.com/)
相关论文
查看更多相关论文 →
硬件体系结构 · 计算机科学
Enabling Effective FPGA Debug using Overlays: Opportunities and Challenges
Fatemeh Eslami, Eddie Hung, Steven J. E. Wilton
2016-06-22
人机交互 · 计算机科学
Wire Your Way: Hardware-Contextualized Guidance and In-situ Tests for Personalized Circuit Prototyping
Punn Lertjaturaphat, Jungwoo Rhee, Jaewon You, Andrea Bianchi
2026-03-06
密码学与安全 · 计算机科学
Analysis and Improvement of Heterogeneous Hardware Support in Docker Images
Panagiotis Gkikopoulos, Valerio Schiavoni, Josef Spillner
2021-06-10
密码学与安全 · 计算机科学
Paths Not Taken: A Secure Computing Tutorial
William Earl Boebert
2025-04-24
软件工程 · 计算机科学
Toward Practical Deductive Verification: Insights from a Qualitative Survey in Industry and Academia
Lea Salome Brugger, Xavier Denis, Peter Müller
2026-01-26
密码学与安全 · 计算机科学
Interactive Proof-of-stake
Alexander Chepurnoy
2016-01-12
密码学与安全 · 计算机科学
Combining Different Existing Methods for Describing Steganography Hiding Methods
Steffen Wendzel, Christian Krätzer, Jana Dittmann, Luca Caviglione +4
2025-06-03
密码学与安全 · 计算机科学
Hardware Obfuscation of Digital FIR Filters
Levent Aksoy, Alexander Hepp, Johanna Baehr, Samuel Pagliarini
2022-02-22
计算机科学中的逻辑 · 计算机科学
Coquet: a Coq library for verifying hardware
Thomas Braibant
2011-08-23
计算机视觉与模式识别 · 计算机科学
Are Explainability Tools Gender Biased? A Case Study on Face Presentation Attack Detection
Marco Huber, Meiling Fang, Fadi Boutros, Naser Damer
2023-06-16
软件工程 · 计算机科学
Support for Debugging Automatically Parallelized Programs
Robert Hood, Gabriele Jost
2007-05-23
软件工程 · 计算机科学
A Tracer Driver for Versatile Dynamic Analyses of Constraint Logic Programs
Ludovic Langevine, Mireille Ducasse
2007-05-23
信号处理 · 电气工程与系统科学
Deep Unfolding for Communications Systems: A Survey and Some New Directions
Alexios Balatsoukas-Stimming, Christoph Studer
2019-10-09
材料科学 · 物理学
Accessing topological feature of polycrystalline microstructure using object detection technique
Mridhula Venkatanarayanan, P G Kubendran Amos
2023-01-02
软件工程 · 计算机科学
Systematic Debugging of Attribute Grammars
Yohei Ikezoe, Akira Sasaki, Yoshiki Ohshima, Ken Wakita +1
2007-05-23
计算复杂性 · 计算机科学
Pseudorandomness and Combinatorial Constructions
Luca Trevisan
2007-05-23
计算机科学中的逻辑 · 计算机科学
Understanding and maintaining tactics graphically OR how we are learning that a diagram can be worth more than 10K LoC
Yuhui Lin, Gudmund Grov, Rob Arthan
2016-12-16
机器人学 · 计算机科学
Replay Debugging of Complex Real-Time Systems: Experiences from Two Industrial Case Studies
Daniel Sundmark, Henrik Thane, Joel Huselius, Anders Pettersson +3
2009-09-29
系统与控制 · 电气工程与系统科学
Analysis and Design of Uncertain Cyber-Physical Systems
Alessandro Pinto
2023-08-02
计算机科学中的逻辑 · 计算机科学
Safety Verification and Refutation by k-invariants and k-induction (extended version)
Martin Brain, Saurabh Joshi, Daniel Kroening, Peter Schrammel
2015-06-30
信息论 · 计算机科学
On the information-theoretic structure of distributed measurements
David Balduzzi
2012-08-01
分布式、并行与集群计算 · 计算机科学
Control and Debugging of Distributed Programs Using Fiddle
Joao Lourenco, Jose C. Cunha, Vitor Moreira
2007-05-23
计算机科学中的逻辑 · 计算机科学
Tinker, tailor, solver, proof
Gudmund Grov, Aleks Kissinger, Yuhui Lin
2014-10-31
人机交互 · 计算机科学
Understanding and Supporting Debugging Workflows in Multiverse Analysis
Ken Gu, Eunice Jun, Tim Althoff
2023-06-06
密码学与安全 · 计算机科学
Biometric Systems Private by Design: Reasoning about privacy properties of biometric system architectures
Julien Bringer, Herve Chabanne, Daniel Le Metayer, Roch Lescuyer
2017-03-03