VERIFICATION OF HIGH LEVEL MODELS OF DIGITAL DEVICES

被引：0
|
作者：
Syrevich, E. E.
机构：
来源：
RADIO ELECTRONICS COMPUTER SCIENCE CONTROL | 2006年 / 2卷
关键词：
D O I：
暂无
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
Verification strategy of digital devices models, which are represented with the help of hardware description languages. The main idea stays in distinguishing sequence generation for separate functional elements, their superposition, and interactive ethalon calculation.
引用
收藏
页码：74 / 77
页数：4
相关论文
共 50 条
  • [21] The method of equivalence verification for high level datapaths
    Li, Dong-Hai
    Ma, Guang-Sheng
    Hu, Jing
    Harbin Gongcheng Daxue Xuebao/Journal of Harbin Engineering University, 2008, 29 (06): : 583 - 588
  • [22] VERIFICATION OF HIGH-LEVEL PROTOCOL IMPLEMENTATIONS
    WEAVING, K
    COMPUTER COMMUNICATIONS, 1981, 4 (02) : 56 - 60
  • [23] Multivalued Models of Digital Devices for Logical and Functional Levels
    1600, (29):
  • [24] Estimation and Verification of Hybrid Heart Models for Personalised Medical and Wearable Devices
    Barbot, Benoit
    Kwiatkowska, Marta
    Mereacre, Alexandru
    Paoletti, Nicola
    COMPUTATIONAL METHODS IN SYSTEMS BIOLOGY, CMSB 2015, 2015, 9308 : 3 - 7
  • [25] VERIFICATION OF MODELS OF AUTOMATIC DEVICES FOR ELIMINATION OF ASYNCHRONOUS OPERATION IN POWER SYSTEMS
    Sauhats, Antans
    Kucajevs, Jevgenijs
    Chuvychin, Vladimirs
    Utans, Andrejs
    Bockareva, Galina
    Leite, Lilija
    Antonovs, Eduards
    ELECTRICAL AND CONTROL TECHNOLOGIES, 2010, : 182 - 186
  • [26] Low-Level Code Verification Based on CSP Models
    Kleine, Moritz
    Helke, Steffen
    FORMAL METHODS: FOUNDATIONS AND APPLICATIONS, 2009, 5902 : 266 - 281
  • [27] Challenges in using system-level models for RTL verification
    Ng, Kelvin
    2008 45TH ACM/IEEE DESIGN AUTOMATION CONFERENCE, VOLS 1 AND 2, 2008, : 812 - 815
  • [28] Design and verification of SystemC trans action-level models
    Habibi, A
    Tahar, S
    IEEE TRANSACTIONS ON VERY LARGE SCALE INTEGRATION (VLSI) SYSTEMS, 2006, 14 (01) : 57 - 68
  • [29] Automation of verification and calibration of digital electric-measuring devices: New capabilities
    Agamalov, Yu. R.
    AUTOMATION AND REMOTE CONTROL, 2015, 76 (01) : 133 - 138
  • [30] Automation of verification and calibration of digital electric-measuring devices: New capabilities
    Yu. R. Agamalov
    Automation and Remote Control, 2015, 76 : 133 - 138
12345