Design of SD/eMMC Protocol Compliance Solutions
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
- Digital Storage Oscilloscope specifications, Agilent http://www. home. agilent. com/en/pd-1632466-pn- MSO9404A/oscilloscope-4-ghz-4-analog-plus-16-digital-channels
- Logic Analyzer, Saleae, https://www. saleae. com/logic
- Embedded Multi-Media card, JEDEC eMMC Electrical Standard, Ver4. 5, http://www. jedec. org/sites/default/files/docs/JESD84- A441. pdf
- Secure Digital card, SD Physical layer simplified specificationVer3. 01, https://www. sdcard. org/downloads/pls/simplified_specs/part1_410. pdf
- Pytables user's guide, http://pytables. github. io/usersguide/tutorials. html
- Fey G, Drechsler R, "Improving simulation based verification based on formal methods" In Proc. Design Automation Conference (DAC) pp 640-643, January 2004
- 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
- Ping Yeung, Larsen K, "Practical Assertion based formal verification for SoC design" In Proc. IEEE International Symposium VLSI, pp. 58-61,November 2005
- 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
- Data sheet, Agilent Technologies, http://cp. literature. agilent. com/litweb/pdf/59903746EN. Pdf
- Intel documents: High level architectures, Board schematics, Equipment user guides
- Chipsets details, Intel documents, http://www. download. intel. com/design/chipsets/labtour/PVPT_WhitePaper. pdf
- 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.