17,321 research outputs found
Recommended from our members
Silicon compilation
Silicon compilation is a term used for many different purposes. In this paper we define silicon compilation as a mapping from some higher level description into layout. We define the basic issues in structural and behavioral silicon compilation and some possible solutions to those issues. Finally, we define the concept of an intelligent silicon compiler in which the compiler evaluates the quality of the generated design and attempts to improve it if it is not satisfactory
Recommended from our members
VSS : a VHDL synthesis system
This report describes a register transfer synthesis system that allows a designer to interact with the design process. The designer can modify the compiled design by changing the input description, selecting optimization and mapping strategies, or graphically changing the generated design schematic. The VHDL language is used for input and output descriptions. An intermediate representation which incorporates signal typing and component attributes simplifies compilation and facilitates design optimization. The compilation process consists of two phases. First, a design composed of generic components is synthesized from the input description. Second, this design is translated into components from a particular library by a mapper and optimized by a logic optimizer. Redesign to new technologies can be accomplished by changing only the component library
Integrating model checking with HiP-HOPS in model-based safety analysis
The ability to perform an effective and robust safety analysis on the design of modern safety–critical systems is crucial. Model-based safety analysis (MBSA) has been introduced in recent years to support the assessment of complex system design by focusing on the system model as the central artefact, and by automating the synthesis and analysis of failure-extended models. Model checking and failure logic synthesis and analysis (FLSA) are two prominent MBSA paradigms. Extensive research has placed emphasis on the development of these techniques, but discussion on their integration remains limited. In this paper, we propose a technique in which model checking and Hierarchically Performed Hazard Origin and Propagation Studies (HiP-HOPS) – an advanced FLSA technique – can be applied synergistically with benefit for the MBSA process. The application of the technique is illustrated through an example of a brake-by-wire system
Towards homeostatic architecture: simulation of the generative process of a termite mound construction
This report sets out to the theme of the generation of a ‘living’,
homeostatic and self-organizing architectural structure. The main research
question this project addresses is what innovative techniques of design,
construction and materials could prospectively be developed and eventually
applied to create and sustain human-made buildings which are mostly
adaptive, self-controlled and self-functioning, without option to a vast supply
of materials and peripheral services. The hypothesis is that through the
implementation of the biological building behaviour of termites, in terms of
collective construction mechanisms that are based on environmental stimuli,
we could achieve a simulation of the generative process of their adaptive
structures, capable to inform in many ways human construction. The essay
explicates the development of the 3-dimensional, agent-based simulation of
the termite collective construction and analyzes the results, which involve
besides physical modelling of the evolved structures. It finally elucidates the
potential of this emerging and adaptive architectural performance to be
translated to human practice and thus enlighten new ecological engineering
and design methodologies
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
AADLib, A Library of Reusable AADL Models
The SAE Architecture Analysis and Design Language is now a well-established language for the description of critical embedded systems, but also cyber-physical ones. A wide range of analysis tools is already available, either as part of the OSATE tool chain, or separate ones.
A key missing elements of AADL is a set of reusable building blocks to help learning AADL concepts, but also experiment already existing tool chains on validated real-life examples.
In this paper, we present AADLib, a library of reusable model elements. AADLib is build on two pillars: 1/ a set of ready-to- use examples so that practitioners can learn more about the AADL language itself, but also experiment with existing tools. Each example comes with a full description of available analysis and expected results. This helps reducing the learning curve of the language. 2/ a set of reusable model elements that cover typical building blocks of critical systems: processors, networks, devices with a high level of fidelity so that the cost to start a new project is reduced.
AADLib is distributed under a Free/Open Source License to further disseminate the AADL language. As such, AADLib provides a convenient way to discover AADL concepts and tool chains, and learn about its features
Model-based dependability analysis : state-of-the-art, challenges and future outlook
Abstract: Over the past two decades, the study of model-based dependability analysis has gathered significant research interest. Different approaches have been developed to automate and address various limitations of classical dependability techniques to contend with the increasing complexity and challenges of modern safety-critical system. Two leading paradigms have emerged, one which constructs predictive system failure models from component failure models compositionally using the topology of the system. The other utilizes design models - typically state automata - to explore system behaviour through fault injection. This paper reviews a number of prominent techniques under these two paradigms, and provides an insight into their working mechanism, applicability, strengths and challenges, as well as recent developments within these fields. We also discuss the emerging trends on integrated approaches and advanced analysis capabilities. Lastly, we outline the future outlook for model-based dependability analysis
Innovation as an Emerging System Property: An Agent Based Simulation Model
The paper elaborates the notion of innovation as an emerging property of complex system dynamics and presents an agent-based simulation model (ABM) of an economy where systemic knowledge interactions among heterogeneous agents are crucial for the recombinant generation of new technological knowledge and the introduction of innovations. In this approach the organization of the system plays a crucial role in assessing the chances of individual firms to actually introduce innovations because it qualifies the access to external knowledge, an indispensable input, together with internal learning and research activities, into the recombinant generation of new knowledge. The introduction of innovations is analyzed as the result of systemic knowledge interactions among myopic agents that are credited with an extended procedural rationality that includes forms of creative reaction. The creative reaction of agents may lead to the introduction of productivity enhancing innovations. This takes place only when the structural, organizational and institutional characteristics of the system are such that agents, reacting to out-of-equilibrium conditions, can actually take advantage of external knowledge available within the innovation system into which they are embedded to generate new technological knowledge. The ABM enables one to explore effects of alternative organizational features of the systems, namely different configurations of the intellectual property right regimes and different architectural configurations of the regional structure into which knowledge interactions take place, on the rates of introduction of technological innovations. The results of the ABM suggest that the dissemination of knowledge favors the emergence of creative reactions and hence faster rates of introduction of technological innovations.Complex System Dynamics, Innovation, Emergent Property, Technological Knowledge, Intellectual Property Rights, Knowledge Dissemination
Efficient Simulation of Structural Faults for the Reliability Evaluation at System-Level
In recent technology nodes, reliability is considered a part of the standard design ¿ow at all levels of embedded system design. While techniques that use only low-level models at gate- and register transfer-level offer high accuracy, they are too inefficient to consider the overall application of the embedded system. Multi-level models with high abstraction are essential to efficiently evaluate the impact of physical defects on the system. This paper provides a methodology that leverages state-of-the-art techniques for efficient fault simulation of structural faults together with transaction-level modeling. This way it is possible to accurately evaluate the impact of the faults on the entire hardware/software system. A case study of a system consisting of hardware and software for image compression and data encryption is presented and the method is compared to a standard gate/RT mixed-level approac
- …