Abstract: A method of arbitrating access to a shared resource that includes receiving requests from sources to access the shared resource. Each request has an associated traffic intensity of the respective source and an associated pendency of the request (e.g., age or waiting time). The method includes allocating access of the shared resource to each source in an order based on the associated traffic intensity and pendency of each request. The traffic intensity of a source may be the number of unacknowledged requests issued by that source at a time of generation of the associated request. The pendency of the request may be a difference between the generation time of the request and an arbitration cycle time.

Abstract: A system and method of verifying an electronic system. A verification kernel is provided and the electronic system is expressed as a logic design. A wrapper is defined, wherein the wrapper is an interface between the logic design and the verification kernel. Tests to be run against the logic design are placed within a diagnostic program and an interface between the diagnostic program and the verification kernel is defined. The tests are then executed against the logic design. The results of the tests are captured and validated against expected results.