Hazard detection in a GALS wrapper: a case study

被引：9
|
作者：
Stahl, C [1 ]
Reisig, W [1 ]
Krstic, M [1 ]
机构：
[1] Humboldt Univ, D-10099 Berlin, Germany
来源：
ACSD2005: Fifth International Conference on Application of Concurrency to System Design, Proceedings | 2005年
关键词：
D O I：
10.1109/ACSD.2005.20
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
An asynchronous wrapper of a fabricated GALS system is analyzed for hazards. For this purpose a Petri net based modelling approach of this GALS wrapper is presented. In our model the question whether a hazard can occur in a gate is reduced to a model checking problem: the reachability of a particular marking in the Petri net. In order to alleviate state space explosion two techniques to reduce the model's state space are presented. By use of these techniques we detected several potential hazards and a deadlock in the wrapper
引用
收藏
页码：234 / 243
页数：10
相关论文
共 50 条
  • [1] A High Throughput GALS Wrapper with Virtual Channels
    Shang, Shitong
    Guan, Xuguang
    Yang, Yintang
    ADVANCED MATERIALS AND COMPUTER SCIENCE, PTS 1-3, 2011, 474-476 : 2171 - 2176
  • [2] An asynchronous wrapper with novel handshake circuits for GALS systems
    Zhuang, SX
    Li, WD
    Carlsson, J
    Palmkvist, K
    Wanhammar, L
    2002 INTERNATIONAL CONFERENCE ON COMMUNICATIONS, CIRCUITS AND SYSTEMS AND WEST SINO EXPOSITION PROCEEDINGS, VOLS 1-4, 2002, : 1521 - 1525
  • [3] Novel Asynchronous Wrapper and Its Application to GALS Systems4
    庄圣贤
    彭安金
    Lars Wanhammar
    Journal of Southwest Jiaotong University, 2006, (01) : 34 - 40
  • [4] A Core-based Multi-function Security Processor with GALS Wrapper
    Cao, Dan
    Han, Jun
    Zeng, Xiao-yang
    Lu, Shi-ting
    2008 9TH INTERNATIONAL CONFERENCE ON SOLID-STATE AND INTEGRATED-CIRCUIT TECHNOLOGY, VOLS 1-4, 2008, : 1831 - 1834
  • [5] Protective wrapper development: A case study
    Anderson, T
    Feng, M
    Riddle, S
    Romanovsky, A
    COTS-BASED SOFTWARE SYSTEMS, PROCEEDINGS, 2003, 2580 : 1 - 14
  • [6] Asynchronous Wrapper-Based Low-Power GALS Structural QDMA
    Vinay, B. K.
    Mala, S. Pushpa
    Deekshitha, S.
    IETE JOURNAL OF RESEARCH, 2023, 69 (10) : 7208 - 7217
  • [7] A GALS Delay-insensitive Self-timed Wrapper for Network on Chips
    Guan, Xuguang
    Zhou, Duan
    Yang, Yintang
    Zhu, Zhangming
    PROCEEDINGS OF THE 2009 PACIFIC-ASIA CONFERENCE ON CIRCUITS, COMMUNICATIONS AND SYSTEM, 2009, : 265 - 268
  • [8] PrObeD: Proactive Object Detection Wrapper
    Asnani, Vishal
    Kumar, Abhinav
    You, Suya
    Liu, Xiaoming
    ADVANCES IN NEURAL INFORMATION PROCESSING SYSTEMS 36 (NEURIPS 2023), 2023,
  • [9] Deep learning-based debris flow hazard detection and recognition system: a case study
    Wu, Fei
    Zhang, Jianlin
    Liu, Dunlong
    Maier, Andreas
    Christlein, Vincent
    SCIENTIFIC REPORTS, 2025, 15 (01):
  • [10] Approximately repetitive structure detection for wrapper induction
    Gao, XY
    Andreae, P
    Collins, R
    PRICAI 2004: TRENDS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2004, 3157 : 585 - 594
12345