Formal Verification Of Systems On Chips: Current & Future Directions
No Thumbnail Available
Authors
Elleithy, Khaled M.
Issue Date
2003
Type
Article
Language
Keywords
Formal verification , First order logic , High order logic , Temporal logic , Automated theorem provers , Object-oriented paradigm
Alternative Title
Abstract
In this tutorial we present the area of formal verification of systems on Chips. The paper discuss the following topics: different approaches of formal logic such as first order logic, high order logic, temporal logic. A case study of object-oriented paradigm is presented. A survey of the current research status in presented. The paper concludes with a section on the future directions.
Description
As we do not have a preprint copy of this article we cannot legally post it, so please use this record to request the article via interlibrary loan from your home library or you can find the final publication available from Springer by the link below.
Citation
K. M. Elleithy, "Formal Verification Of Systems On Chips: Current & Future Directions," System-on-chip for real-time applications, 2003.
Publisher
Kluwer Academic Publishing