Looking for breakthrough ideas for innovation challenges? Try Patsnap Eureka!

A method of converting fpga hardware description language vhdl into common petri net

A hardware description language and common technology, applied in special data processing applications, instruments, electrical digital data processing, etc., can solve problems such as cumbersome workload, large number of states, high computational complexity, etc., and achieve simple logical thinking and program The effect of rigorous logic and concise excitation conditions

Inactive Publication Date: 2016-03-30
HUAQIAO UNIVERSITY
View PDF2 Cites 0 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

For example, in a railway traffic control system, the number of states of the system increases exponentially with the number of sensors and actuators. If a system has n sensors and actuators, the system states have 2 n , the number of states is very large, so FGPA faces the problem of high computational complexity
[0003] However, high computational complexity brings many practical problems, such as: VHDL program design and program debugging workload is cumbersome and huge, chip development cycle and cost cannot be adjusted; VHDL program simulation cannot verify each state (2 n ), the correctness and reliability of the program cannot be guaranteed, and program errors may cause serious accidents

Method used

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
View more

Image

Smart Image Click on the blue labels to locate them in the text.
Viewing Examples
Smart Image
  • A method of converting fpga hardware description language vhdl into common petri net
  • A method of converting fpga hardware description language vhdl into common petri net
  • A method of converting fpga hardware description language vhdl into common petri net

Examples

Experimental program
Comparison scheme
Effect test

Embodiment 1

[0049] Example 1: A car goes from site A to site B, and when it passes site A, the sensor at site A is triggered. When the car is driving in the middle section of sites A and B, other cars are not allowed to enter site A. When the car reaches site B , trigger the sensor of site B, and allow other cars to enter site A at this time.

[0050] Step 1: Find the input and output in the existing VHDL program: X, Y, that is, the input is a, b; the output is c;

[0051] Step 2: Get the logical expression about a,b,c: c=aor((notb)andc), where a,b,c are Boolean quantities, use '+' instead of 'or', use '*' instead of ' and', replacing 'not' with '-', gives

[0052] Step 3: Use Boolean operation rules: A + B * C = ( A + B ) ...

Embodiment 2

[0062] Example 2: Single-capacity water tank, sensor S, water inlet valve A, water outlet valve B, when the water level reaches S, the water inlet valve A is closed, and the water outlet valve B is opened, when the water level does not reach S, the water inlet valve A is opened, The outlet valve B is closed, such as Figure 4 shown.

[0063] Step 1: Find the input and output X, Y in the existing VHDL program, there are two outputs c in this system 1 , c 2 , the input is a;

[0064] Step 2: Get about c 1 ,c 2 , a logical expression: c 1 =nota, c 2 =a, use '-' to represent not, the expression becomes: c 2 =a;

[0065] Step 3: Use Boolean operation rules: A + B * C = ( A + B ) * ...

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to View More

PUM

No PUM Login to View More

Abstract

The invention provides a method for converting filed programmable gate array (FPGA) Vhsic hardware description language (VHDL) to an ordinary Petri network. Aiming at a compiled VHDL program, the logic relationship between input and output is obtained, the logic relation between the input and the output is simplified to a virtual-to-physical (V2P) Boolean expression, the V2P Boolean expression is transformed, and then the transformed Boolean expression is utilized to be converted into the ordinary Petri network. A modeling method for the VHDL program is provided, and is a powerful tool for the simulation and the verification of the FPGA VHDL.

Description

technical field [0001] The invention relates to a method for converting FPGA hardware description language VHDL into common Petri net. Background technique [0002] FPGA (Field-ProgrammableGateArray) is a product further developed on the basis of programmable devices such as PAL, GAL, and CPLD. It emerged as a semi-custom circuit in the field of application-specific integrated circuits (ASIC), which not only solved the shortcomings of the custom circuit, but also overcome the shortcomings of the limited number of gate circuits of the original programmable device. At present, the circuit design completed by hardware description language (VHDL) can be quickly burned to the FPGA for testing after simple synthesis and layout. The main application fields of FPGA (Field Programmable Logic Device) products are communications, consumer electronics, automotive electronics, industrial control, test and measurement, etc. With the increasing technical requirements, the scale and struc...

Claims

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to View More

Application Information

Patent Timeline
no application Login to View More
Patent Type & Authority Patents(China)
IPC IPC(8): G06F17/50
Inventor 叶丹丹罗继亮
Owner HUAQIAO UNIVERSITY
Who we serve
  • R&D Engineer
  • R&D Manager
  • IP Professional
Why Patsnap Eureka
  • Industry Leading Data Capabilities
  • Powerful AI technology
  • Patent DNA Extraction
Social media
Patsnap Eureka Blog
Learn More
PatSnap group products