UB ScholarWorks

Formal Verification Of Systems On Chips: Current & Future Directions

Show simple item record

dc.contributor.advisor Elleithy, Khaled M. en_US
dc.contributor.author Elleithy, Khaled M. en_US
dc.date.accessioned 2014-07-16T16:33:26Z
dc.date.available 2014-07-16T16:33:26Z
dc.date.issued 2003 en_US
dc.identifier.citation K. M. Elleithy, "Formal Verification Of Systems On Chips: Current & Future Directions," System-on-chip for real-time applications, 2003.
dc.identifier.other a0b494fd-46e8-dfaa-333c-e6db7e24a44e en_US
dc.identifier.uri https://scholarworks.bridgeport.edu/xmlui/handle/123456789/456
dc.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.
dc.description.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. en_US
dc.description.uri http://link.springer.com/chapter/10.1007%2F978-1-4615-0351-4_9 en_US
dc.publisher Kluwer Academic Publishing en_US
dc.subject Formal verification en_US
dc.subject First order logic en_US
dc.subject High order logic en_US
dc.subject Temporal logic en_US
dc.subject Automated theorem provers en_US
dc.subject Object-oriented paradigm en_US
dc.title Formal Verification Of Systems On Chips: Current & Future Directions en_US
dc.type Article en_US
dc.publication.name System-on-chip for real-time applications en_US

Files in this item

Files Size Format View

There are no files associated with this item.

This item appears in the following Collection(s)

Show simple item record

Search ScholarWorks

Advanced Search


My Account