Abstract: Method and systems of improving the response of public safety personnel to or evacuation from a desired location are provided. In addition to path information obtained through traditional sources, information is used to determine the optimal route for emergency personnel to an emergency situation and for aiding emergency personnel to route people from the situation. The information may also be used to automatically prioritize vehicles and personnel to optimize response time. Further, the information may also be used to in situations in which it is advantageous for the vehicle or personnel to be tactically positioned in nearby locations rather than at the incident scene. Although the descriptions below will primarily focus on routes to a particular location, similar methods can be used for evacuations from the location. The optimal route may use historical information stored in a database local or remote to the dispatcher and/or real-time information updated during the emergency situation.

Abstract: Method and systems of improving the response of public safety personnel to or evacuation from a desired location are provided. In addition to path information obtained through traditional sources, information is used to determine the optimal route for emergency personnel to an emergency situation and for aiding emergency personnel to route people from the situation. The information may also be used to automatically prioritize vehicles and personnel to optimize response time. Further, the information may also be used to in situations in which it is advantageous for the vehicle or personnel to be tactically positioned in nearby locations rather than at the incident scene. Although the descriptions below will primarily focus on routes to a particular location, similar methods can be used for evacuations from the location. The optimal route may use historical information stored in a database local or remote to the dispatcher and/or real-time information updated during the emergency situation.

Abstract: Method and apparatus for assessing coverage of production rules of a programming language by one or more test programs. A set of production rules that define the programming language is input, along with a test program. The production rules that are covered by the test program are determined and coverage of production rules by the test program is reported.

Abstract: A method of post-implementation simulation of a hardware description language (HDL) net list file, that does not match a HDL design file from which it was synthesized, comprises the steps of: creating a remap file which translates ports between the HDL net list file and the HDL design file; and simulating the HDL net list file utilizing the remap file and a (HDL) test bench file created for pre-implementation simulation of the HDL design file. The method may be executed in an integrated software environment or a batch software environment.

Abstract: Method and apparatus for automatically eliminating inferred latches created by hardware design language (HDL) source code is described. A node tree is built from the HDL source code based on the HDL's Language Reference Manual. The node tree is scanned to identify one or more conditional logic constructs that are sources for creation of inferred latches. A modified node tree is generated by automatically adding and/or modifying sub-productions of the conditional language constructs that create the inferred latches.

Abstract: A computer implemented apparatus and method that automates the entry, modification, analysis, and generation of test benches from electrical circuits, both of which are specified as hardware description language (HDL) files. The computer implemented-method and apparatus also provides a unique mechanism that blends entry and display of timing requirements that must be met by the electric circuit.