ANALYSIS TOOLS APPLIED TO VHDL

被引：0
|
作者：
OLCOZ, S [1 ]
COLOM, JM [1 ]
机构：
[1] TGI SA,DEPT ELECTR,E-28006 MADRID,SPAIN
来源：
MICROPROCESSING AND MICROPROGRAMMING | 1993年 / 38卷 / 1-5期
关键词：
8;
D O I：
10.1016/0165-6074(93)90200-5
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
This paper shows how formal methods can be applied inside the world of VHDL. The approach is based in a formal semantics of VHDL in terms of Coloured Petri nets. Verifications of properties use the Petri nets analysis theory, with special attention to the structural theory. Tools implementing this approach are currently under development in FORMAT project (ESPRIT III project # 6128).
引用
收藏
页码：597 / 604
页数：8
相关论文
共 50 条
  • [31] The Use of the Social Networks as New Tools Applied to Audience Analysis
    Echegaray Eizaguirre, Lazaro
    Penafiel Saiz, Carmen
    TRIPODOS, 2013, (33): : 157 - 172
  • [32] MATHEMATICAL TOOLS FOR APPLIED MULTIVARIATE-ANALYSIS - GREEN,PE
    BIELBY, WT
    CONTEMPORARY SOCIOLOGY-A JOURNAL OF REVIEWS, 1980, 9 (01) : 105 - 106
  • [33] Handbook of applied spatial analysis: software tools, methods and applications
    Cheshire, James
    ENVIRONMENT AND PLANNING B-PLANNING & DESIGN, 2010, 37 (06): : 1139 - 1140
  • [34] MATHEMATICAL TOOLS FOR APPLIED MULTIVARIATE-ANALYSIS - GREEN,PE
    BIBBY, J
    BIOMETRICS, 1979, 35 (03) : 704 - 704
  • [35] MATHEMATICAL TOOLS FOR APPLIED MULTIVARIATE-ANALYSIS - GREEN,PE
    WINSBERG, S
    PSYCHOMETRIKA, 1978, 43 (04) : 585 - 586
  • [36] VHDL - FEATURE DESCRIPTION AND ANALYSIS
    AYLOR, JH
    WAXMAN, R
    SCARRATT, C
    IEEE DESIGN & TEST OF COMPUTERS, 1986, 3 (02): : 17 - 27
  • [37] VHDL signal analysis in VALET
    Costi, Claudio
    Miller, D.Michael
    IEEE Pacific RIM Conference on Communications, Computers, and Signal Processing - Proceedings, 1999, : 297 - 300
  • [38] Information flow analysis for VHDL
    Tolstrup, TK
    Nielson, F
    Nielson, HR
    PARALLEL COMPUTING TECHNOLOGIES, 2005, 3606 : 79 - 98
  • [39] Bioengineering Tools Applied to Dentistry: Validation Methods for In Vitro and In Silico Analysis
    Melo de Matos, Jefferson David
    Queiroz, Daher Antonio
    Nomura Nakano, Leonardo Jiro
    Andrade, Valdir Cabral
    Ramos Ribeiro, Nathalia de Carvalho
    Souto Borges, Alexandre Luiz
    Bottino, Marco Antonio
    Scalzer Lopes, Guilherme da Rocha
    DENTISTRY JOURNAL, 2022, 10 (08)
  • [40] Signal analysis tools applied to the temporal characterization of ultrashort optical pulses
    Dorrer, C
    2005 Digest of the LEOS Summer Topical Meetings, 2005, : 159 - 160
12345