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 条
  • [41] Bioanalytical tools for the discovery of eukaryotic glycoproteins applied to the analysis of bacterial glycoproteins
    Balonova, Lucie
    Hernychova, Lenka
    Bilkova, Zuzana
    EXPERT REVIEW OF PROTEOMICS, 2009, 6 (01) : 75 - 85
  • [42] Digital Manufacturing Tools Applied to Energy Analysis and Decision in Manufacturing Systems
    Antoniol, Rodrigo L.
    Lima, Fabio
    PORTLAND INTERNATIONAL CONFERENCE ON MANAGEMENT OF ENGINEERING AND TECHNOLOGY (PICMET 2016): TECHNOLOGY MANAGEMENT FOR SOCIAL INNOVATION, 2016, : 721 - 729
  • [43] Data analysis and tools applied to modeling and simulation of a PV system in Ecuador
    Benavides, D. J.
    Jurado, F.
    Gonzalez, L. G.
    ENFOQUE UTE, 2018, 9 (04): : 1 - 12
  • [44] A workflow for quality control in surface texture analysis applied to teeth and tools
    Calandra, Ivan
    JOURNAL OF ARCHAEOLOGICAL SCIENCE-REPORTS, 2022, 46
  • [45] Comparison of Aerodynamic Analysis Tools Applied to a Propeller-Blown Wing
    Ahuja, Vivek
    Litherland, Brandon L.
    AIAA SCITECH 2023 FORUM, 2023,
  • [46] Clinimetric analysis of recently applied quantitative tools in evaluation of vitiligo treatment
    Mikhael, Nancy Wadea
    Sabry, Hanan Hasan
    El-Refaey, Asmaa M.
    Salem, Rehab Mohammed
    El-Gendk, Mahmoud Fawzi
    Farid, Shaymaa Ahmed
    INDIAN JOURNAL OF DERMATOLOGY VENEREOLOGY & LEPROLOGY, 2019, 85 (05) : 466 - 474
  • [47] Critical analysis of economic tools and economic measurement applied to rheumatoid arthritis
    Her, M.
    Kavanaugh, A.
    CLINICAL AND EXPERIMENTAL RHEUMATOLOGY, 2012, 30 (04) : S107 - S111
  • [48] Experimental Analysis of 31 Risk Estimation Tools Applied to Safety of Machinery
    Gauthier, Francois
    Lambert, Serge
    Chinniah, Yuvin
    INTERNATIONAL JOURNAL OF OCCUPATIONAL SAFETY AND ERGONOMICS, 2012, 18 (02) : 245 - 265
  • [49] Tools for academic success: TQM tools applied in education
    Ritter, DS
    40TH ANNUAL EOQ CONGRESS, BERLIN, 1996 - PROCEEDINGS, VOL 2, 1996, : 137 - 145
  • [50] A Methodology to Build Decision Analysis Tools Applied to Distributed Reinforcement Learning
    Prigent, Cedric
    Cudennec, Loic
    Costan, Alexandru
    Antoniu, Gabriel
    2022 IEEE 36TH INTERNATIONAL PARALLEL AND DISTRIBUTED PROCESSING SYMPOSIUM WORKSHOPS (IPDPSW 2022), 2022, : 1053 - 1062
12345