Digital system design process automation using place/transition petri nets


Autoria(s): Marranghello, Norian; Da Silva, Alexandre C.R.; Pereira, Aledir S.
Contribuinte(s)

Universidade Estadual Paulista (UNESP)

Data(s)

27/05/2014

27/05/2014

01/12/2009

Resumo

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 allocation. The resulting digital system is then input to TABELA, which minimizes control functions and outputs of the digital system. Finally, the output generated by TABELA is fed to TAB2VHDL that produces a VHDL description of the system at the register transfer level. Thus, we present here a set of tools designed to take a high-level description of a digital system, represented by a place/transition net, and produces as output both an assembly code that can be immediately run on an 8051 micro-controller, and a VHDL description that can be used to directly implement the hardware parts either on an FPGA or as an ASIC.

Formato

84-89

Identificador

http://dx.doi.org/10.3182/20091006-3-ES-4010.00017

IFAC Proceedings Volumes (IFAC-PapersOnline), v. 4, n. PART 1, p. 84-89, 2009.

1474-6670

http://hdl.handle.net/11449/71347

10.3182/20091006-3-ES-4010.00017

2-s2.0-79960933497

Idioma(s)

eng

Relação

IFAC Proceedings Volumes (IFAC-PapersOnline)

Direitos

closedAccess

Palavras-Chave #Design automation #Digital system synthesis #Finite state machine #Petri net #Assembly code #Code Generation #Computational environments #Control functions #Design automations #Digital system #Digital system design #Hardware implementations #Hardware synthesis #High level description #Place/transition Petri nets #Register transfer level #Synthesis process #VHDL description #Automation #Computer aided design #Computer hardware description languages #Finite automata #Hardware #Multiprocessing systems #Petri nets #Systems analysis
Tipo

info:eu-repo/semantics/conferencePaper