JADE: An Embedded Systems Specification, Code Generation and Optimization Tool

Authors:
C. L. Pereira;D. C. ,. Jr. da Silva;R. G. Duarte;A. O. Fernandes;L. H. Canaan;C. J. N. ,. Jr. Coelho;L. L. Ambrosio
Affiliations:
-;-;-;-;-;-;-
Venue:
SBCCI '00 Proceedings of the 13th symposium on Integrated circuits and systems design
Year:
2000

Citing 0
Cited 3

An automated, FPGA-based reconfigurable, low-power RFID tag

Microprocessors & Microsystems
Radio frequency identification prototyping

ACM Transactions on Design Automation of Electronic Systems (TODAES)
A design automation and power estimation flow for RFID systems

ACM Transactions on Design Automation of Electronic Systems (TODAES)

Quantified Score

Hi-index	0.00

Visualization

Abstract

Market pressures with ever-increasing complexity and shorter time urges the use of formal methods in the system development process to produce new systems faster and cheaper due to the capacity to automate the verification, simulation and code generation. A problem that comes up, however, is that code generated from formal languages is not the most efficient because of the mapping between the specification and the implementation models. To cope with this, we present an optimization technique to enhance the performance of SDL (Specification and Description Language) derived system implementations as well as JADE, a tool that supports the complete development process, from the specification to the implementation.