This Veriest Solutions and Valens Semiconductors presentation from Cadence Live Israel 2019 showcases an innovative approach to verification environment configuration using Specman macros. The presentation demonstrates how specialized macros were developed to simplify complex test creation for HDBaseT technology, a standard for transmitting high-definition content and power over a single cable. By implementing an easy-to-use API with Specman macros, the team successfully managed verification challenges in a complex 16-port switch with multiple configurations, reducing 180 lines of code to just 15 lines in test scenarios. The approach enabled both junior and senior engineers to efficiently write tests, resulting in accelerated verification and on-time tape-out for an ASIC with 185,000 registers.
Strive big and you may achieve it
Formal Verification of a Custom Microcontroller: A Case Study