A HARDWARE IMPLEMENTATION OF THE CSP PRIMITIVES AND ITS VERIFICATION

被引：0
|
作者：
RON, D
ROSEMBERG, F
PNUELI, A
机构：
来源：
LECTURE NOTES IN COMPUTER SCIENCE | 1984年 / 172卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：423 / 435
页数：13
相关论文
共 50 条
  • [31] Hardware Primitives for the Synthesis of Multithreaded Elastic Systems
    Dimitrakopoulos, G.
    Seitanidis, I.
    Psarras, A.
    Tsiouris, K.
    Mattheakis, P. M.
    Cortadella, J.
    2014 DESIGN, AUTOMATION AND TEST IN EUROPE CONFERENCE AND EXHIBITION (DATE), 2014,
  • [32] AN ALTERNATIVE IMPLEMENTATION OF COMMUNICATION PRIMITIVES
    VANDESNEPSCHEUT, JLA
    UDDING, JT
    INFORMATION PROCESSING LETTERS, 1986, 23 (05) : 231 - 238
  • [33] TEMPORAL LOGIC BASED HARDWARE DESCRIPTION AND ITS VERIFICATION WITH PROLOG
    FUJITA, M
    TANAKA, H
    MOTOOKA, T
    NEW GENERATION COMPUTING, 1983, 1 (02) : 195 - 203
  • [34] IMPLEMENTATION OF A MASK VERIFICATION LANGUAGE AND ITS COMPILER
    BROWN, AD
    THOMAS, PR
    IEE PROCEEDINGS-E COMPUTERS AND DIGITAL TECHNIQUES, 1990, 137 (03): : 207 - 217
  • [35] Reduction techniques of workflow verification and its implementation
    李沛武
    卢正鼎
    付湘林
    Journal of Harbin Institute of Technology, 2004, (01) : 109 - 113
  • [36] Reduction techniques of workflow verification and its implementation
    Li, Pei-Wu
    Lu, Zheng-Ding
    Fu, Xiang-Lin
    Journal of Harbin Institute of Technology (New Series), 2004, 11 (01) : 109 - 113
  • [37] HARDWARE IMPLEMENTATION AND VERIFICATION OF FIR FILTER UTILIZING M-BIT PDA
    Jeng, Shiann-Shiun
    Lin, Hsing-Chen
    Chen, Chun-Chyuan
    Chang, Shu-Ming
    JOURNAL OF CIRCUITS SYSTEMS AND COMPUTERS, 2010, 19 (02) : 503 - 517
  • [38] Design Implementation and Verification of a Flexible I3C Hardware Architecture
    Gao, Peng
    Xu, Neng
    Zheng, Xin
    Gong, Jian
    Zhong, Xu
    2024 13TH INTERNATIONAL CONFERENCE ON COMMUNICATIONS, CIRCUITS AND SYSTEMS, ICCCAS 2024, 2024, : 148 - 153
  • [39] A hardware oriented fuzzification algorithm and its VLSI implementation
    Javadi, Mohammad Haji Seyed
    Mahdiani, Hamid Reza
    Kh, Esmaeil Zeinali
    SOFT COMPUTING, 2013, 17 (04) : 683 - 690
  • [40] A novel deadlock avoidance algorithm and its hardware implementation
    Lee, J
    Mooney, VJ
    INTERNATIONAL CONFERENCE ON HARDWARE/SOFTWARE CODESIGN AND SYSTEM SYNTHESIS, 2004, : 200 - 205
12345