Patent Application
20070240032
The novel features believed characteristic of the invention are set forth in the appended claims. The invention itself, however, as well as a preferred mode of use, further objects and advantages thereof, will best be understood by reference to the following detailed descriptions of an illustrative embodiment when read in conjunction with the accompanying drawings, wherein:
The present invention provides a method, system, and computer program product for performing sequential equivalence checking with multiple initial states. The present invention includes a method for denoting which registers are to have constant and non-constant initial values, for identifying correspondence of initial states of one design to states of the other, and for performing an equivalence check upon the designs with all of their corresponding initial states in parallel. The present invention enables dramatic savings in computational resources for designs with multiple initial states in allowing them to run in parallel, and simplifies the process of specifying nontrivial initial value mappings between the two designs.
With reference now to the figures, and in particular with reference to
Within RAM 102, data processing system 100 stores several items of data and instructions while operating in accordance with a preferred embodiment of the present invention. These include an operating system 130, a copy buffer 144, a browser 120, and applications 128. Browser 120 enables the viewing of a downloaded HTML file 140 containing a table 142. Within browser 120, a controller 122 guides the operation of an HTML interpreter 124, a DOM interpreter 126, driver software 132, and HTTP client 134 and a network interface 138. HTML interpreter 124 interpreter and document object model (DOM) interpreter 124 translate the content of downloaded HTML file 140 and provide output to driver 132 for provision to operating system 130 and direction to user I/O 114 through I/O controller 108 and wired or wireless link 116. HTTP client 134 handles the acquisition of data from network 110 over network cable 112 through the manipulation of operating system 130 under the supervision of network interface 138.
Turning now to
Referring now to
The process then moves to step 308. At step 308, controller 122 passes loaded HTML data from downloaded HTML file 140 to DOM interpreter 126. The process then proceeds to step 310, which depicts DOM interpreter 126 parsing data to navigable XML or other formatted data structures. The process next proceeds to step 312. At step 312 DOM interpreter 126 identifies a cursor location from user I/O 114 of the initial selection within downloaded HTML file 140. The process then proceeds to step 314.
At step 314, DOM interpreter 126 makes note of the specific column number within table 142 of downloaded HTML file 140 indicated by user I/O 114. The process then proceeds to step 316, which illustrates DOM interpreter 126 navigating up two parent nodes within table 142 of downloaded HTML file 140. The process then proceeds to step 318. At step 318, DOM interpreter 126 navigates through each row of table 142. The process next moves to step 320.
At step 320, for each row that a user enters with user I/O 114 while dragging a cursor, controller 122 identifies a value of table 142 in downloaded HTML file 140, passing contents to controller 122 to identify, highlight and treat as selected data. The process then moves to step 322. At step 322, controller 122 uses DOM interpreter 126 to continue through each row, selecting contents of the identified column as selected data. The process then ends at step 324. The user can then copy the data to a copy buffer 144.
While the invention has been particularly shown as described with reference to a preferred embodiment, it will be understood by those skilled in the art that various changes in form and detail may be made therein without departing from the spirit and scope of the invention. It is also important to note that although the present invention has been described in the context of a fully functional computer system, those skilled in the art will appreciate that the mechanisms of the present invention are capable of being distributed as a program product in a variety of forms, and that the present invention applies equally regardless of the particular type of signal bearing media utilized to actually carry out the distribution. Examples of signal bearing media include, without limitation, recordable type media such as floppy disks or CD ROMs and transmission type media such as analog or digital communication links.
