Reset domain crossing design verification closure using advanced data analytics techniques
RDC verification using data mining
In reset domain crossing (RDC) design verification, engineers face a major challenge in fixing the most common RDC problems related to incorrect or missing constraints for reset ordering and reset grouping. Typically, there can be hundreds of RDC paths that may have a common root cause, and if we are able to get some initial information about possible common causes of a number of RDC violations, this data will help users to quickly solve a lot of issues and hence save a lot of time and effort.
The progressive application of supervised data processing and data analytics techniques helps accelerated RDC verification closure by analyzing RDC results to recognize patterns and suggesting set up related constraints.
In a case study we observed that the application of advanced data analytic techniques resulted in a major reduction of unsynchronized RDC crossings detected in a design. RDC verification closure time was reduced from around ten days to less than four, as up to 60% of violations on average were resolved.