Formal Verification Of Systems On Chips: Current & Future Directions

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.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.http://link.springer.com/chapter/10.1007%2F978-1-4615-0351-4_