Google scholar arxiv informatics ads IJAIS publications are indexed with Google Scholar, NASA ADS, Informatics et. al.

Call for Paper

-

July Edition 2021

International Journal of Applied Information Systems solicits high quality original research papers for the July 2021 Edition of the journal. The last date of research paper submission is June 15, 2021.

Design of SD/eMMC Protocol Compliance Solutions

Aparna N, Mamatha H R, Dheerendra Singh Tomar, Rakesh Kumar Published in Circuits And Systems

International Journal of Applied Information Systems
Year of Publication: 2014
© 2013 by IJAIS Journal
10.5120/ijais14-451215
Download full text
  1. Aparna N, Mamatha H R, Dheerendra Singh Tomar and Rakesh Kumar. Article: Design of SD/eMMC Protocol Compliance Solutions. International Journal of Applied Information Systems 7(7):33-36, August 2014. BibTeX

    @article{key:article,
    	author = "Aparna N and Mamatha H R and Dheerendra Singh Tomar and Rakesh Kumar",
    	title = "Article: Design of SD/eMMC Protocol Compliance Solutions",
    	journal = "International Journal of Applied Information Systems",
    	year = 2014,
    	volume = 7,
    	number = 7,
    	pages = "33-36",
    	month = "August",
    	note = "Published by Foundation of Computer Science, New York, USA"
    }
    

Abstract

Protocol Validation is an important step in validating the I/O interface of the System on Chip (SoC). In developing the protocol compliance solutions for validating the Secure Digital/Embedded Multi Media Controller (SD/eMMC) protocol, the main intention is to capture the behavior of protocol under various physical conditions using a Logic Analyzer (LA). LA facilitates more capture of data and offers more number of channels and is more cost effective compared to existing Digital Storage Oscilloscope (DSO) methodology. In addition to decode, the solution is capable of carrying out the analysis of the data captured and decoded from LA. Analysis functionality includes command-response analysis, cyclic redundancy check, integrity check and flow analysis that assess and reports the functionality and performance of the protocol under variations of temperature & voltage conditions. Analyzer helps in tracing out all kind of deviations from the specifications and standards defined for SD and eMMC.

Reference

  1. Digital Storage Oscilloscope specifications, Agilent http://www. home. agilent. com/en/pd-1632466-pn- MSO9404A/oscilloscope-4-ghz-4-analog-plus-16-digital-channels
  2. Logic Analyzer, Saleae, https://www. saleae. com/logic
  3. Embedded Multi-Media card, JEDEC eMMC Electrical Standard, Ver4. 5, http://www. jedec. org/sites/default/files/docs/JESD84- A441. pdf
  4. Secure Digital card, SD Physical layer simplified specificationVer3. 01, https://www. sdcard. org/downloads/pls/simplified_specs/part1_410. pdf
  5. Pytables user's guide, http://pytables. github. io/usersguide/tutorials. html
  6. Fey G, Drechsler R, "Improving simulation based verification based on formal methods" In Proc. Design Automation Conference (DAC) pp 640-643, January 2004
  7. Nguyen, M. D. , Thalmaier, M. Wedler, M. , Stoffel, D. , Kunz, W. ; Bormann, J. , "A re-use methodology for formal SoC protocol compliance verification" In Proc. IEEE International Symposium VLSI, pp. 1-6, 2005
  8. Ping Yeung, Larsen K, "Practical Assertion based formal verification for SoC design" In Proc. IEEE International Symposium VLSI, pp. 58-61,November 2005
  9. LI Hai, YU Yue-yue, LIU Chang, CUI Li-na, "A protocol Analysis Platform based on open source software" In Proc. IEEE Conference on Instrumentation & Measurement, Computer, Communication and Control, pp. 846-849, June 2012
  10. Data sheet, Agilent Technologies, http://cp. literature. agilent. com/litweb/pdf/59903746EN. Pdf
  11. Intel documents: High level architectures, Board schematics, Equipment user guides
  12. Chipsets details, Intel documents, http://www. download. intel. com/design/chipsets/labtour/PVPT_WhitePaper. pdf
  13. Pattern search algorithm, Knuth Morris Pratt, Wikipedia, http://en. wikipedia. org/wiki/Knuth%E2%80%93Morris%E2%80%93Pratt_algorithm

Keywords

Digital Storage Oscilloscope Embedded Multi Media Controller, Logic Analyzer, Secure Digital, System on Chip.