Refinement-based verification of elastic pipelined systems


A formal verification procedure to check the correctness of synchronous elastic pipelined systems against their synchronous specification systems was developed. The procedure can deal with elastic systems that incorporate early evaluation. Note that the goal of the verification procedure is not to establish the correctness of the algorithm for synthesising elastic circuits, but instead, to find bugs and formally prove the correctness of elasticised designs. Dataflow through elastic architectures is complicated by the insertion of any number of elastic buffers in any place in the design. The authors introduce elastic token-flow diagrams, which are used to track the flow of data in elastic architectures. The authors provide a method to construct such diagrams. The authors also develop a highly automated and systematic procedure based on elastic token-flow diagrams that computes functions that map states of elastic systems to states of the synchronous parent systems. Such functions, known as refinement maps are used to compare behaviours of elastic and synchronous systems and hence prove their equivalence. The effectiveness of our methods is demonstrated by verifying 14 elastic pipelined processor models, eight of which incorporate early evaluation.

Did you like this research project?

To get this research project Guidelines, Training and Code... Click Here

PROJECT TITLE : Multi-Core Embedded Wireless Sensor Networks Architecture and Applications - 2014 ABSTRACT: Technological advancements in the silicon industry, as predicted by Moore's law, have enabled integration of billions
PROJECT TITLE : Multicast Capacity in MANET with Infrastructure Support - 2014 ABSTRACT: We study the multicast capacity under a network model featuring both node's mobility and infrastructure support. Combinations between
PROJECT TITLE : Efficient Data Collection for Large-Scale Mobile Monitoring Applications - 2014 ABSTRACT: Radio frequency identification (RFID) and wireless sensor networks (WSNs) have been popular in the industrial field,
PROJECT TITLE :Distance Bounding A Practical Security Solution for Real-Time Location Systems - 2013ABSTRACT:The need for implementing adequate security services in industrial applications is increasing. Verifying the physical
PROJECT TITLE :Distributed Web Systems Performance Forecasting Using Turning Bands Method - 2013ABSTRACT:With the increasing development of distributed computer systems (DCSs) in networked industrial and manufacturing applications

Ready to Complete Your Academic MTech Project Work In Affordable Price ?

Project Enquiry