Coverage Modeling For Verification Of Floating Point Arithmetic Units
Journal Title: International Journal of Research in Computer and Communication Technology - Year 2015, Vol 4, Issue 9
Abstract
Scope displaying is one of the key errands of the confirmation stream in frameworks improvement. The subsequent model is regularly used to assess the advancement and nature of the check process; it likewise gives a valuable deliberation to the era of test vector designs. This work shows a heuristic methodology for scope model definition in view of the ideas of equality classes and limit esteem investigation to address the check of skimming point number juggling units. As a contextual investigation, a scope model was intended to confirm the ADD operation of a drifting point module for the binary16 number configuration characterized in the IEEE 754-2008 standard, and a System Verilog test seat was actualized to perform the check process. The adequacy of the heuristic and the nature of the subsequent model are broke down by measuring the scope acquired in the execution of an outsider test suite, and by creating an arrangement of test vectors from the model and invigorating an outline under confirmation (DUV) to recognize bugs for configuration survey.
Authors and Affiliations
T. Seshagiri, T. Vishnu Murthy
Keywords
Related Articles
- EP ID EP28264
- DOI -
- Views 264
- Downloads 2
UM: A Novel Seclusion Model for Defending Structural Information of Social Network Data
Publishing or sharing the social network data for social science research and business analysis lack of privacy. Existing technique k-anonymity is used to prevent identification of micro data. Even though an attacke...
Online Clustering Of Multiple Data Streams
This paper presents an online Clustering of Data Stream Algorithm which can be used for on-line summarization of multiple data stream over fixed time length. A data stream is a large and continuously increasing seque...
e-Governance initiatives in the State of Punjab
e-Governance refers to the delivery of services provided by the government through the means of ICTs (Information and Communication Technologies). The NeGP (National e-Governance Plan) is initiated by the Government...
Single sample Overlapping Doppler filter bank for processing Real Time Continuous Data
Real time continuous Doppler filtering is used to calculate the spectrum of the input signal to detect the presence of random disturbances and properly isolate them. For continuous input data this can be done in two...
Outsourced Similarity Search on Metric Data Assets
Similarity querying of metric data which is stored in cloud is outsourced to a service provider. The data is to be revealed only to trusted users, not to the service provider or anyone else. Users query the server fo...