20,273 research outputs found
From FPGA to ASIC: A RISC-V processor experience
This work document a correct design flow using these tools in the Lagarto RISC- V Processor and the RTL design considerations that must be taken into account, to move from a design for FPGA to design for ASIC
Formal and Informal Methods for Multi-Core Design Space Exploration
We propose a tool-supported methodology for design-space exploration for
embedded systems. It provides means to define high-level models of applications
and multi-processor architectures and evaluate the performance of different
deployment (mapping, scheduling) strategies while taking uncertainty into
account. We argue that this extension of the scope of formal verification is
important for the viability of the domain.Comment: In Proceedings QAPL 2014, arXiv:1406.156
Hardware/software codesign methodology for fuzzy controller implementation
This paper describes a HW/SW codesign methodology
for the implementation of fuzzy controllers on a platform
composed by a general-purpose microcontroller and specific
processing elements implemented on FPGAs or ASICs. The
different phases of the methodology, as well as the CAD tools
used in each design stage, are presented, with emphasis on the
fuzzy system development environment Xfuzzy. Also included is
a practical application of the described methodology for the
development of a fuzzy controller for a dosage system
Waveform Transition Graphs: a designer-friendly formalism for asynchronous behaviours
The paper proposes a new formal model for describing asynchronous behaviours involving the interplay of causality, concurrency and choice. The model is called Waveform Transition Graphs. Its main aim is simplifying the learning process for industrial engineers in accessing powerful synthesis tools provided for Signal Transition Graphs by sacrificing some of the expressive power of the latter. This formalism is developed based on feedback from engineers of Dialog Semiconductor.Peer ReviewedPostprint (author's final draft
- …