The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
The lack of interoperability is considered as the most important barrier to achieve the global integration of Internet-of-Things (IoT) ecosystems across borders of different disciplines, vendors and standards. Indeed, the current IoT landscape consists of a large set of isolated islands that do not constitute a real Internet, preventing the exploitation of the huge potential expected by Information...
On the contrary to the digital world, no coverage definition exists in the Analog/Mixed-Signal (AMS) context. As digital coverage helps digital designers and verification engineers to evaluate their verification progress, analog designers do not have such metrics. This paper proposes a set of different analog coverage metrics, which improve the confidence in AMS circuit verification. We will demonstrate,...
The complexity and heterogeneity of today's mixed-signal systems makes verification a challenge. A particular challenge is the sensitivity of analog parts to variations in parameters, inputs, or initial conditions. We present a methodology for formal verification of mixed-signal systems that verifies the impact of variations of parameters, inputs, or initial conditions on specified properties. Compared...
Analog-/Mixed-Signal (AMS) design verification is one of the most challenging and time consuming tasks of todays complex system on chip (SoC) designs. In contrast to digital system design, AMS designers have to deal with a continuous state space of conservative quantities, highly nonlinear relationships, non-functional influences, etc. enlarging the number of possibly critical scenarios to infinity...
In today's systems, analog and mixed-signal (AMS) circuits are tightly interwoven with HW/SW systems and the application. Hence, a verification of the AMS part alone is not sufficient any more, in particular considering its application in Cyber-Physical Systems. In order to guarantee ‘first time right’, the accuracy of the models, the validation of the application fitness, and in changing, uncertain...
With increasing complexity of systems, specifications are becoming more and more comprehensive and often inconsistent or incomplete. To validate a system regarding realistic use cases, systems are simulated “in the loop”, including the application and usage scenarios. This paper describes a first approach to analyze software systems “in the loop” in a more comprehensive way by symbolic simulation...
The paper describes an approach for semi-symbolic analysis of mixed-signal systems that contain discontinuous functions, e.g. due to modeling comparators. For modeling and semi-symbolic simulation, we use extended Affine Arithmetic. Affine Arithmetic is currently limited to accurate analysis of linear functions and mild non-linear functions, but not yet discontinuities. In this paper we extend the...
The increased design complexity of analog/mixed signal (AMS) systems puts a high pressure on researchers to find the efficient solutions for the verification of these systems. In contrast to digital designs, the nonlinear nature and higher sensitivity of AMS systems to parameter variations make the verification process more difficult. The focus of this paper is the verification of system robustness...
This paper describes a calculation framework for the simulation of systems being affected by parameter deviations. These unpredictable factors are described with the help of affine arithmetic noise symbols in the modeling domain. Methods for a semi-symbolic output signal calculation containing linear and nonlinear operators must be provided. For a nonlinear composition of two affine arithmetic forms...
This paper describes a novel method to verify typical properties of systems with parameter deviations. These parameter deviations have an impact on a system behavior causing it to deviate from its ideal behavior. The concept of Affine Arithmetic is used to model typical errors and uncertainties in today's analog-mixed signal systems. The method which is proposed is a combination of assertions and...
Range based system simulations are increasingly preferred in recent years to cope with the performance issues inherent with standard multi-run simulations. Traditionally, deviations of nominal system parameters are considered statistically by steadily varying the system parameters and simulating all of these parameter space realizations in multiple simulation runs. In range based or semi-symbolic...
Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.