Verification test set and test bench map maintenance

摘要

Aspects of the invention provide for the maintenance of user modified portions of a map between a test bench and a test set generator during an iterative electronic design process. Various implementations of the invention provide for matching sections within a design for an electronic device with corresponding sections in a map between the elements in the design to elements in a graph representation of the design. The matched sections are then compared to determine if any discrepancies exists, such as, for example, if the design has been recently changed. If any discrepancies do exist, then it is determined whether the section of the map can be updated or must be replaced entirely to resolve the discrepancies. Various implementations of the invention provide that the process can be repeated during an iterative design flow such that as the design is modified during the iterative design flow, the map can be updated to reflect the changes.

主权项

1. A method, comprising:
modifying, by a computing device, a first section of a map in accordance with user input requesting a customization to the first section of the map, wherein the map correlates elements of an electronic design under test to corresponding elements of a graph-based representation of the electronic design, and wherein the customization to the first section of the map is based on a customization of a hardware description language in which the electronic design is expressed; applying, to the elements of the electronic design, one or more test sequences that were generated based on the graph-based representation of the electronic design; modifying a first section of the electronic design based on an analysis of results from applying the one or more test sequences; determining that the first section of the map needs to be updated based on the first section of the electronic design being modified; and updating the first section of the map such that the customization to the first section of the map is preserved.