Accellera Systems Initiative is an independent, not-for profit organization dedicated to create, support, promote, and advance system-level design, modeling, and verification standards for use by the worldwide electronics industry. We are composed of a broad range of members that fully support the work of our technical committee to develop technology standards that are balanced, open, and benefit the worldwide electronics industry. Leading companies and semiconductor manufacturers around the world are using our electronic design automation (EDA) and intellectual property (IP) standards in a wide range of projects in numerous application areas to develop consumer, mobile, wireless, automotive, and other “smart” electronic devices. Through an ongoing partnership with the IEEE, standards and technical implementations developed by Accellera Systems Initiative are contributed to the IEEE for formal standardization and ongoing governance.

1101: Formal Verification Approach To Verifying Stream Decoders: Methodology & Findings

Tuesday, March 5, 2024 9:00 am — 11:00 am

This paper investigates a novel formal verification approach for validating the functionality of stream decoders, essential components in modern SoCs responsible for interpreting encoded data. Stream decoders are crucial for tasks such as compression, decompression, error-correction, and secure transmission. Traditional methodologies, including simulation and testing, struggle to address the complexities of evolving formats and standards. Formal verification, a systematic method, offers mathematical proof of design correctness, ensuring reliable operation in all situations. The paper explores the methodology and presents findings that emphasize the effectiveness of formal verification, promoting it as a rigorous tool for ensuring the accuracy and reliability of stream decoders in various digital systems.