Abstract | ||
---|---|---|
There exists a strong necessity for a formal interpretation of VHDL. This paper address this aspect. The formal model used for this purpose are Colored Petri Nets because they can cover all aspects of VHDL. We start from the underlying executable model of VHDL based on interactive processes. The formal model of a VHDL description results from the specification in Petri Net terms of an intermediate model. This consists of the userdefined processes resulting from the elaboration of a VHDL description, the kernel process (VHDL simulator) and the communicating links between them. |
Year | DOI | Venue |
---|---|---|
1995 | 10.1007/BF01383875 | Formal Methods in System Design |
Keywords | Field | DocType |
discrete event-driven simulation,formal verification,Colored Petri Nets | Kernel (linear algebra),Petri net,Existential quantification,Computer science,Stochastic Petri net,Theoretical computer science,Real-time computing,Process architecture,VHDL,Executable,Formal verification,Distributed computing | Journal |
Volume | Issue | ISSN |
7 | 1-2 | 0925-9856 |
Citations | PageRank | References |
2 | 0.40 | 3 |
Authors | ||
2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Serafín Olcoz | 1 | 17 | 3.18 |
José Manuel Colom | 2 | 341 | 31.92 |