Abstract: Devices, methods, and systems for adjusting aircraft ground movement routes are described herein. One device includes a user interface, a memory, and a processor configured to execute executable instructions stored in the memory to receive a touch selection of a portion of an aircraft ground movement route displayed in the map of the airfield and a touch drag of the selected portion of the route to a different intersection of the airfield displayed in the map, display, responsive to the selected portion of the route being touch dragged to the different intersection of the airfield, a zoomed-in view of the different intersection, receive a touch selection of a portion of the different intersection in the zoomed-in view, adjust the aircraft ground movement route according to the received touch selection of the portion of the different intersection, and display, in the map, the adjusted aircraft ground movement route.

Abstract: The present disclosure relates to a method for verifying a digital design using a computing device. The method may include determining one or more tests associated with verifying the digital design and generating, using the computing device, a verification result by performing one or more verification runs on the digital design. The method may further include merging coverage data generated by the one or more verification runs and ranking the one or more tests based upon, at least in part, a first verification run having a first configuration and a second verification run having a second configuration, wherein the first and second configurations differ.