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期

关键词：

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 条

[1] A SET OF TOOLS FOR VHDL DESIGN
REINTJES, P
LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, 1992, 636 : 242 - 251
[2] Web nets in VHDL tools
不详
ELECTRONIC ENGINEERING, 1996, 68 (839): : 27 - 27
[3] New VHDL tools for FPGA
不详
ELECTRONIC ENGINEERING, 1997, 69 (843): : 28 - 28
[4] VHDL COMPLEMENTS CAE TOOLS
MILNE, B
ELECTRONIC DESIGN, 1989, 37 (04) : 117 - 118
[5] SYNOPSIS BUYS ZYCADS VHDL TOOLS
FORKNER, L
COMPUTER DESIGN, 1990, 29 (18): : 4 - 4
[6] VHDL TOOLS SURVIVE REALITY CHECK
MARKOWITZ, MC
EDN, 1990, 35 (26) : 54 - &
[7] Mathematical tools for applied multivariate analysis
Hand, DJ
JOURNAL OF CLASSIFICATION, 1999, 16 (02) : 312 - 314
[8] NEWEST VHDL TOOLS ENCOURAGE CONFORMITY TO STANDARD
DONLIN, M
COMPUTER DESIGN, 1992, 31 (04): : 30 - &
[9] Formal methods: Tools for VHDL introduced to Europe
Mann, D
ELECTRONIC ENGINEERING, 1997, 69 (845): : 21 - 21
[10] A WISE CHOICE OF VHDL TOOLS MAXIMIZES PRODUCTIVITY
STRICKLAND, T
COMPUTER DESIGN, 1994, 33 (09): : A25 - A28

← 1 2 3 4 5 →