Formal verification of an industrial system-on-a-chip

2002 ◽  
Author(s):  
Hoon Choi ◽  
Myung-Kyoon Yim ◽  
Jae-Young Lee ◽  
Byeong-Whee Yun ◽  
Yun-Tae Lee
Keyword(s):  
Formal Verification ◽  
Industrial System ◽  
System On A Chip

Model Checking Formal Verification Methodology for Virtual Channel NoCs

2016 ◽  
Vol 850 ◽  
pp. 30-37
Author(s):  
Sherif Agamy ◽  
Ahmed Sayed ◽  
Rafik Guindi
Keyword(s):  
Model Checking ◽  
Formal Verification ◽  
Formal Methods ◽  
Virtual Channel ◽  
Time To Market ◽  
System On A Chip ◽  
Verification Methodology ◽  
Network On A Chip ◽  
Current Practices

The increasing complexity of System on a Chip (SOC) using Network on a Chip (NoC) results in significant increases in traditional verification times. Formal methods fully prove design properties, without deadline vs. coverage compromises, hence tremendously reducing time to market. In this work we use the CONNECT NOC to illustrate our new white box formal verification methodology. We develop constraints and assertions for properties verification. Our methodology is faster than the current methods; it also uncovered key gaps in current practices. In addition, our assertion checkers can be reused both in simulation and as monitors on silicon.

The usefulness of accounting research: A practitioner's point of view

2017 ◽  
pp. 67-74
Author(s):  
Giovanni Andrea Toselli
Keyword(s):  
Point Of View ◽  
Chief Financial Officers ◽  
Industrial System ◽  
Academic Institutions ◽  
Accounting Research ◽  
Strong Feeling ◽  
Financial Communication

This paper represents a contribution from the point of view of a practitioner who strongly believes that it is essential to continue to invest in accounting research. The cooperation between chief financial officers, auditors and academic institutions is central not only for improving the process of accounting regulations but also for relaunching, at the same time, the industrial system (and not only it), by creating a strong feeling of trust in general economic and financial communication, thus fostering higher level of accountability.

Formal Verification of Control System Software

2019 ◽  
Author(s):  
Pierre-Loïc Garoche
Keyword(s):  
Control System ◽  
Formal Verification ◽  
Formal Analysis ◽  
Critical Systems ◽  
System Software ◽  
Unified Approach ◽  
Verification Methods ◽  
Autonomous Cars ◽  
Computer Scientists ◽  
Verification Techniques

The verification of control system software is critical to a host of technologies and industries, from aeronautics and medical technology to the cars we drive. The failure of controller software can cost people their lives. This book provides control engineers and computer scientists with an introduction to the formal techniques for analyzing and verifying this important class of software. Too often, control engineers are unaware of the issues surrounding the verification of software, while computer scientists tend to be unfamiliar with the specificities of controller software. The book provides a unified approach that is geared to graduate students in both fields, covering formal verification methods as well as the design and verification of controllers. It presents a wealth of new verification techniques for performing exhaustive analysis of controller software. These include new means to compute nonlinear invariants, the use of convex optimization tools, and methods for dealing with numerical imprecisions such as floating point computations occurring in the analyzed software. As the autonomy of critical systems continues to increase—as evidenced by autonomous cars, drones, and satellites and landers—the numerical functions in these systems are growing ever more advanced. The techniques presented here are essential to support the formal analysis of the controller software being used in these new and emerging technologies.

Magistri Legis. Eine Studie zur dogmatischen Funktion im industriellen System

2011 ◽  
Vol 2 (2) ◽  
pp. 69-112
Author(s):  
Pierre Legendre
Keyword(s):  
Social Function ◽  
Modern Human ◽  
Human Behaviour ◽  
Cultural Reproduction ◽  
Industrial System ◽  
The West ◽  
History Of ◽  
History Of Law ◽  
New Look

"Der Beitrag reevaluiert die «dogmatische Funktion», eine soziale Funktion, die mit biologischer und kultureller Reproduktion und folglich der Reproduktion des industriellen Systems zusammenhängt. Indem sie sich auf der Grenze zwischen Anthropologie und Rechtsgeschichte des Westens situiert, nimmt die Studie die psychoanalytische Frage nach der Rolle des Rechts im Verhalten des modernen Menschen erneut in den Blick. </br></br>This article reappraises the dogmatic function, a social function related to biological and cultural reproduction and consequently to the reproduction of the industrial system itself. On the borderline of anthropology and of the history of law – applied to the West – this study takes a new look at the question raised by psychoanalysis concerning the role of law in modern human behaviour. "

Economic Development and Traditional Social Structures: Some Theoretical Considerations

1988 ◽  
Vol 27 (4II) ◽  
pp. 501-507 ◽  
Author(s):  
Soofia Mumtaz
Keyword(s):  
Third World ◽  
Development Process ◽  
Social Structures ◽  
Industrial System ◽  
Social Scientists ◽  
The Third ◽  
Nation States ◽  
Functional Logic ◽  
The Third World ◽  
Theoretical Considerations

This paper discusses some issues currently preoccupying social scientists with respect to the process of development and its implications for Third World countries. These issues have become highly significant considering the momentum and nature of the development process being launched in the so-called "underdeveloped" world, within the context of modern nation-states. Therefore, in this paper, we seek to identify: (a) What is meant by development; (b) How the encounter between this process and traditional social structures (with their own functional logic, based on earlier forms of production and social existence) takes place; (c) What the implications of this encounter are; and (d) What lessons we can learn in this regard from history and anthropology. Development as a planned and organized process, the prime issue concerning both local and Western experts in Third World countries, is a recent phenomenon in comparison to the exposure of Third World countries to the Western Industrial system. The former gained momentum subsequent to the decolonization of the bulk of the Third World in the last half of this century, whereas the latter dates to at least the beginning of this century, if not earlier, when the repercussions of colonization, and later the two World Wars, became manifest in these countries.

Localization of a Complex Failure by Combining ATPG and Customer-Oriented Application Testing

2013 ◽  
Author(s):  
Kai Wang ◽  
Rhys Weaver ◽  
David Johnson
Keyword(s):  
Failure Analysis ◽  
Semiconductor Device ◽  
Digital Design ◽  
Radio Communication ◽  
Communication Failure ◽  
Systemic Analysis ◽  
Rf Communication ◽  
System On A Chip ◽  
Electrical Diagnostics ◽  
Failure Location

Abstract A systemic analysis was chosen to evaluate a real case Bluetooth (BT) radio failure in the aspects of RF communication, digital design, firmware, application software, semiconductor device physics and processing, and failure analysis. This paper explores the range of testing, including customer application testing, required to confirm and localize a BT RF communication failure. It shows that the radio communication failure was not, as expected, caused by faulty radio hardware; it was rather linked to problematic encryption hardware at the assistance of the Synergy BT to mobile application. The paper also explores that the digital fault can only be detected by the timing sensitive transition fault scan patterns and how to obtain the physical failure location. Thus, the combination of ATPG and application testing provides a consistency between electrical diagnostics which yields a higher success rate at subsequent physical failure analysis of complex modern RF System on a Chip.

Sign in / Sign up

Export Citation Format

Share Document