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 条
  • [1] Formal Hardware Verification of InfoSec Primitives
    Basiri, Mohamed Asan M.
    Shukla, Sandeep K.
    [J]. 2019 IEEE COMPUTER SOCIETY ANNUAL SYMPOSIUM ON VLSI (ISVLSI 2019), 2019, : 140 - 146
  • [2] Towards a Unifying CSP approach to Hierarchical Verification of Asynchronous Hardware
    Wang, X.
    Kwiatkowska, M.
    Theodoropoulos, G.
    Zhang, Q.
    [J]. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2005, 128 (06) : 231 - 246
  • [3] Hardware Implementation of ADABOOST ALGORITHM and Verification
    Shi, Yuehua
    Zhao, Feng
    Zhang, Zhong
    [J]. 2008 22ND INTERNATIONAL WORKSHOPS ON ADVANCED INFORMATION NETWORKING AND APPLICATIONS, VOLS 1-3, 2008, : 343 - 346
  • [4] TRANSACTION PROCESSING PRIMITIVES AND CSP
    WOODCOCK, JCP
    [J]. IBM JOURNAL OF RESEARCH AND DEVELOPMENT, 1987, 31 (05) : 535 - 545
  • [5] Design, Implementation and Analysis of Efficient Hardware-based Security Primitives
    Anandakumar, N. Nalla
    Sanadhya, Somitra Kumar
    Hashmi, Mohammad S.
    [J]. 2020 IFIP/IEEE 28TH INTERNATIONAL CONFERENCE ON VERY LARGE SCALE INTEGRATION (VLSI-SOC), 2020, : 198 - 199
  • [6] Algorithms for logical control: Their description, verification and hardware implementation
    Zakrevskij, AD
    Zakrevski, L
    [J]. PDPTA'2001: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED PROCESSING TECHNIQUES AND APPLICATIONS, 2001, : 712 - 718
  • [7] Semantics Driven Hardware Design, Implementation, and Verification with ReWire
    Procter, Adam
    Harrison, William L.
    Graves, Ian
    Becchi, Michela
    Allwein, Gerard
    [J]. ACM SIGPLAN NOTICES, 2015, 50 (05)
  • [8] Implementation and verification of Nonlinear chirp signals in hardware system
    Sysak, Dawid
    Jaromi, Grzegorz
    Biernacki, Pawel
    [J]. 2021 IEEE REGION 10 SYMPOSIUM (TENSYMP), 2021,
  • [9] Verification of Various Numerical Methods Using Hardware Implementation
    Mehta, Sandip
    Trivedi, Tej
    [J]. 2015 1ST INTERNATIONAL CONFERENCE ON FUTURISTIC TRENDS ON COMPUTATIONAL ANALYSIS AND KNOWLEDGE MANAGEMENT (ABLAZE), 2015, : 542 - 547
  • [10] SVM-based speaker verification system for match-on-card and its hardware implementation
    Choi, Woo-Yong
    Ahn, Dosung
    Pan, Sung Bum
    Chung, Kyo Il
    Chung, Yongwha
    Chung, Sang-Hwa
    [J]. ETRI JOURNAL, 2006, 28 (03) : 320 - 328
12345