PalmVerify is a complete verification solution for CE-ATA designs. The tool provides a configurable bus functional model (BFM), protocol monitor, independence from any verification language and a GUI for easy configuration. The bus functional model can work as a CE-ATA host or device depending on the customers need. PalmVerify provides an extensive set of tasks to greatly enhance verification productivity while writing test procedures, and to ensure compliance and interoperability for CE-ATA designs.

• Full timing and bus functional modeling of MMC/CE-ATA specifications
• Supports the MMC commands necessary for CE-ATA
• CMD0 - CMD10
• CMD12 - CMD13
• CMD15
• CMD39
• Supports the reduced ATA command set
• IDENTIFY DEVICE
• READ DMA EXT
• WRITE DMA EXT
• FLUSH CACHE EXT
• STANDBY IMMEDIATE
• Software ATA reset
• Full support for all status and control registers as specified in CE-ATA specification Ver.1.1
• Models data storage
• Controllable protocol checkers
• Multiple language interface
• Extensive configurability based on implementation specifics
• Dual configuration interface via GUI and backdoor calls from simulation environment
• Error injection and detection capability in command, data and response phase
• Cumulative functional coverage reports
• Efficient debugging features
• Easy to integrate into any design environment

Following are some screen shots of PalmVerify showing the tools capabilities.

Screen shot of PalmVerify working as CE-ATA Host

Screen shot of coverage window

Screen shot of PalmVerify working as CE-ATA Device