Verification of Non-Mainline Functions in Todays Processor Chips

Abstract

In a modern chip development cycle non-mainline / nonfunctional verification is gaining importance compared to traditional functional verification tasks and takes up to one third of the total verification effort. The purpose of nonmainline logic is to operate, maintain, and debug the chip. Ever-increasing complexity of the chip, thus, directly affects the complexity of the non-mainline logic and as a result, the verification thereof. Moreover, the non-mainline world is no longer pure hardware, but an intricate mix of software and hardware.We claim that traditional constrained-random verification methods are not valid for the non-mainline domain and the verification should be based on usage scenarios. Moreover, these scenarios must be formally specified to avoid ambiguity and allow collaboration of different teams involved in the chip development.

Design & verification of automotive SoC firmware

“…Nevertheless, starting firmware development after silicon (i.e., the chip) is available poses several challenges and risks, e.g., late detection of hardware firmware interaction bugs, which can be extremely costly to fix [4,5]. Beside these problems, starting firmware development at this time point unnecessarily increases time-to-market of the final product.…”