The constant increase in digital systems complexity definitely demands the automation of the corresponding synthesis process. This paper presents a computational environment designed to produce both software and hardware implementations of a system. The tool for code generation has been named ACG8051. As for the hardware synthesis there has been produced a larger environment consisting of four programs, namely: PIPE2TAB, AGPS, TABELA, and TAB2VHDL. ACG8051 and PIPE2TAB use place/transition net descriptions from PIPE as inputs. ACG8051 is aimed at generating assembly code for the 8051 micro-controller. PIPE2TAB produces a tabular version of a Mealy type finite state machine of the system, its output is fed into AGPS that is used for state al...
A method for implementing communication protocols in hardware is presented. A design automation syst...
Abstract. This paper discusses how the FPGA architectures affect the implementation of Petri net spe...
In this paper a new method of Petri net array-based synthesis is proposed. The method is based on de...
This paper describes a program for the automatic generation of code for Intel's 8051 microcontroller...
The design of digital systems has reached a degree of complexity that virtually prevents their effec...
Conferência: 39th Annual Conference of the IEEE Industrial-Electronics-Society (IECON), Vienna, Aust...
Abstract: Design, validation and synthesis of digital systems, are currently done with the aid of CA...
The paper describes a new method for the synthesis of the application specific logic controllers, ta...
Published in IEEE International Symposium on Industrial Electronics (ISIE 2010)This work presents a ...
International audienceThis paper deals with the automatic translation of interpreted generalized Pet...
One specific model of a digital system in different types of Petri nets is presented. The formal def...
In the paper an implementation of algorithm of Petri net array-based synthesis is presented. The met...
AbstractPetri Net is an important tool to model discrete event system. In this paper, Hardware Descr...
: This thesis describes a framework for implementing and evaluating ideas on how to use Extended Tim...
The paper presents a new method of structured encoding of global internal states and events in Recon...
A method for implementing communication protocols in hardware is presented. A design automation syst...
Abstract. This paper discusses how the FPGA architectures affect the implementation of Petri net spe...
In this paper a new method of Petri net array-based synthesis is proposed. The method is based on de...
This paper describes a program for the automatic generation of code for Intel's 8051 microcontroller...
The design of digital systems has reached a degree of complexity that virtually prevents their effec...
Conferência: 39th Annual Conference of the IEEE Industrial-Electronics-Society (IECON), Vienna, Aust...
Abstract: Design, validation and synthesis of digital systems, are currently done with the aid of CA...
The paper describes a new method for the synthesis of the application specific logic controllers, ta...
Published in IEEE International Symposium on Industrial Electronics (ISIE 2010)This work presents a ...
International audienceThis paper deals with the automatic translation of interpreted generalized Pet...
One specific model of a digital system in different types of Petri nets is presented. The formal def...
In the paper an implementation of algorithm of Petri net array-based synthesis is presented. The met...
AbstractPetri Net is an important tool to model discrete event system. In this paper, Hardware Descr...
: This thesis describes a framework for implementing and evaluating ideas on how to use Extended Tim...
The paper presents a new method of structured encoding of global internal states and events in Recon...
A method for implementing communication protocols in hardware is presented. A design automation syst...
Abstract. This paper discusses how the FPGA architectures affect the implementation of Petri net spe...
In this paper a new method of Petri net array-based synthesis is proposed. The method is based on de...