1. A method of monitoring a computer simulation of an electrical circuit, the method comprising the steps of: analyzing a timing analyzer output to select an electrical path and specified transitions on the nodes of the electrical path, wherein an electrical path is an interconnected set of circuit nodes within the electrical circuit and having specified transitions occurring at each circuit node of the set of circuit nodes; calculating a logical expression in the syntax of a first computer language of each node of the set of circuit nodes in the electrical path as a function of existing expressions in the first computer language description of the electrical circuit; creating a node table containing, for each node of the set of circuit nodes in the electrical path, a node description including the calculated logical expression for that node, and pointers indicating the connectivity of that node with one or more nodes in the electrical path; generating one or more monitor files in the first computer language, wherein at least one of the monitor files contains path firing equations to indicate when the specified transition for every node in the electrical path is exercised, and wherein at least one of the monitor files contains the logical expression for each of the nodes in the electrical path.