Author: claimsbot

1. A method for establishing trust between a management processor and a management server comprising:
establishing trust between a scanning device and the management server by scanning a server code on the management server;
establishing trust between the scanning device and the management processor by scanning a processor code on the management;
creating a secure channel between the management server and the management processor through the scanning device; and
establishing trust between the management server and the management processor through the secure channel.
2. The method of claim 1, wherein establishing trust between the scanning device and the management server by scanning the server code includes the scanning device scanning the server code.
3. The method of claim 1, wherein establishing trust between the scanning device and the management processor by scanning the processor code includes the scanning device scanning the processor code.
4. The method of claim 1, wherein scanning the server code includes scanning a set of login data and a network address that correspond to the management server and the processor code includes a set of login data that corresponds to the management processor.
5. The method of claim 1, wherein establishing trust between the management server and the management processor through the secure channel includes the management server transmitting the processor code to the management processor and the management processor transmitting the server code to the management server.
6. A non-transitory computer-readable medium storing instructions for establishing trust between a management processor and a management server executable by a computer to cause the computer to:
receive a scanned server code that corresponds to the management server with a scanning device to establish trust between the scanning device and the management server;
receive a scanned processor code that corresponds to the management processor with the scanning device to obtain a set of processor login data of the management processor; and
send the set of processor login data to the management server to allow the management server to login to the management processor.
7. The medium of claim 6, wherein the server code includes a server universally unique identifier (UUID), a server security token, and a server network address that correspond to the server code.
8. The medium of claim 7, wherein establishing trust between the scanning device and the management server includes:
using the server UUID and the server network address to identify the management server and to establish a connection to the management server; and
using the server security token to establish trust with the management server.
9. A system for establishing trust between a management processor and a management server, comprising:
a server code that provides a set of server login data wherein the server code corresponds to the management server;
a processor code that provides a set of processor login data wherein the processor code corresponds to the management processor;
wherein the management processor receives the set of server login data and logs into the management server with the set of server login data; and
wherein the management server receives the set of processor login data and logs into the management processor with the set of processor login data.
10. The system of claim 9, wherein the management processor receives the set of server login data through a secured wireless connection and the management server receives the set of processor login data through the secured wireless connection.
11. The system of claim 9, wherein:
the server code is presented by the management server through a monitor that is connected to the management server upon a request by a scanning device; and
the processor code is provided on a processor housing that houses the management processor and is generated during a manufacturing process.
12. The system of claim 11, wherein the management server incorporates a server universally unique identifier (UUID), a server security token, and a server network address into the server code and display the server code on a monitor for the scanning device to scan.
13. The system of claim 11, wherein the processor code includes a unique processor UUID that identifies a management processor and a unique processor security token.
14. The system of claim 9, wherein the server code includes a server quick response (QR) code and the processor code includes a processor QR code.
15. The medium of claim 9, wherein the server code includes a server universal product code (UPC) and the processor code includes a processor UPC.

The claims below are in addition to those above.
All refrences to claim(s) which appear below refer to the numbering after this setence.

1. A method for verifying a design of a circuit, comprising:
selecting a first portion of a model of the design, wherein the first portion has a plurality of first inputs and outputs;
providing a property for the design, wherein the property defines a predetermined behavior of one or more of the first outputs;
determining whether a first stimulus exists that, when applied to the first inputs, can produce a behavior other than the predetermined behavior at the one or more first outputs;
when the stimulus exists, determining whether the model can produce the first stimulus at the first inputs; and
when the stimulus cannot be produced by the model at the inputs, preserving a first description of the first stimulus for analysis.
2. The method of claim 1, further comprising:
outputting the description.
3. The method of claim 1, further comprising:
generating a counterexample describing states of the first portion and a further portion of the model for one or more cycles.
4. The method of claim 3, further comprising:
outputting the counterexample.
5. The method of claim 1, further comprising:
selecting a second portion of the model, wherein the second portion has a plurality of second inputs and outputs, and wherein at least one of the second outputs is provided to at least one of the first inputs;
determining whether a second stimulus exists that, when applied to the inputs of, can produce a behavior other than the predetermined behavior at the one or more outputs of the first portion;
when the second stimulus exists, determining whether the model can produce the second stimulus at the second inputs; and
when the second stimulus cannot be produced by the model at the second inputs of the second portion, preserving a second description of the second stimulus for analysis.
6. The method of claim 5, further comprising:
outputting the second description.
7. The method of claim 5, further comprising:
generating a counterexample describing states of the first portion and the second portion for one or more cycles.
8. The method of claim 7, further comprising:
outputting the counterexample.
9. The method of claim 1, further comprising:
providing the model.
10. The method of claim 1, further comprising:
asserting that the first portion contains a fault when no stimulus exists that, when applied to the first inputs, can produce a behavior other than the predetermined behavior at the one or more outputs.
11. The method of claim 1, wherein:
the first portion is selected based on the property for the design.
12. A semiconductor verified by the method of claim 1.
13. A computer program stored on a tangible computer medium embodying instructions executable by a computer for verifying a design of a circuit, the computer program comprising:
selecting a first portion of a model of the design, wherein the first portion has a plurality of first inputs and outputs;
providing a property for the design, wherein the property defines a predetermined behavior of one or more of the first outputs;
determining whether a first stimulus exists that, when applied to the first inputs, can produce a behavior other than the predetermined behavior at the one or more first outputs;
when the first stimulus exists, determining whether the model can produce the first stimulus at the first inputs; and
when the stimulus cannot be produced by the model at the first inputs, preserving a first description of the first stimulus for analysis.
14. The computer program of claim 13, further comprising:
generating a counterexample describing states of the first portion and a second portion of the model for one or more cycles.
15. The computer program of claim 13, further comprising:
selecting a second portion of the model, wherein the second portion has a plurality of second inputs and outputs, and wherein at least one of the second outputs is provided to at least one of the first inputs;
determining whether a second stimulus exists that, when applied to the second inputs, can produce a behavior other than the predetermined behavior at the one or more first outputs;
when the second stimulus exists, determining whether the model can produce the second stimulus at the second inputs; and
when the second stimulus cannot be produced by the model at the second inputs, preserving a description of the second stimulus for analysis.
16. The computer program of claim 15, further comprising:
generating a counterexample describing states of the first portion and the second portion for one or more cycles.
17. The computer program of claim 13, further comprising:
providing the model.
18. The computer program of claim 13, further comprising:
asserting that the first portion contains a fault when no stimulus exists that, when applied to the first inputs, can produce a behavior other than the predetermined behavior at the one or more first outputs.
19. The computer program of claim 13, wherein:
the first portion is selected based on the property for the design.
20. A semiconductor verified by the computer program of claim 13.
21. A method for verifying a design of a circuit, comprising:
selecting a portion of a model of the design, wherein the portion has a plurality of inputs and outputs;
providing a property for the design, wherein the property defines a predetermined behavior of one or more of the outputs;
determining whether a stimulus exists that, when applied to the inputs, can produce a behavior other than the predetermined behavior at the one or more outputs;
determining whether the model can produce the stimulus at the inputs based on said stimulus existence determination; and
preserving a description of the stimulus for analysis when the stimulus cannot be produced by the model.

1. A method comprising:
storing a plurality of reference documents in a memory device, including storing reference data for each reference document of the plurality of reference documents, wherein the reference data comprises data representing human-readable content from an associated reference document of the plurality of reference documents, wherein the human-readable content includes actual content from the associated reference document of the plurality of reference documents;
receiving, at a data processing system from a mobile device in communication with the data processing system, digital audio data captured by the mobile device from audio voice signals identifying actual content of a source document, wherein the digital audio data comprises digital data converted from the audio voice signals;
extracting at least a portion of the digital audio data as scanning data;
retrieving the reference data for at least one reference document from the memory device;
comparing the scanning data with the retrieved reference data, wherein comparing the scanning data with the retrieved reference data includes comparing human-language content in the scanning data with actual text content in the retrieved reference data of the at least one reference document;
if comparing the scanning data with the retrieved reference data indicates at least the portion of the scanning data matches at least a portion of the retrieved reference data, identifying the at least one reference document of the plurality of reference documents associated with the matched at least a portion of the retrieved reference data as being the same document as the source document.
2. The method of claim 1 wherein the scanning data includes data identifying a name of the source document.
3. The method of claim 1 wherein the scanning data includes data identifying at least one of the author, title and reference number of the source document.
4. The method of claim 1 wherein the memory device is a remote storage device.
5. The method of claim 1, further comprising:
identifying, when the scanning data matches at least a portion of the reference data associated with a second reference document of the plurality of reference documents, the second reference document as an alternative identified document; and
sending at least a portion of the alternative identified document to the mobile device.
6. The method of claim 5, further comprising:
receiving an indication from the mobile device indicating the at least a portion of the at least one reference document or the at least a portion of the second reference document as being equivalent to the source document.
7. The method of claim 1 further comprising sending at least a portion of the at least one reference document to the mobile device.
8. The method of claim 7, wherein the sending comprises:
attaching the identified at least one reference document to an e-mail message, and
sending the e-mail message to a data processing system.
9. The method of claim 7, wherein the step of sending includes sending the identified at least one reference document to a receiving address.
10. The method of claim 7, wherein the step of sending includes sending an image of at least a portion of at least one reference document.
11. The method of claim 1, wherein extracting includes:
extracting at least a portion of the captured digital audio data as scanning data by converting digital audio data to text-based digital data.
12. The method of claim 1, wherein at least one of the steps of receiving, retrieving, comparing and identifying are performed by a data processing system of a server connected to the mobile device by a wireless network connection.
13. A method comprising:
capturing digital audio data regarding a document utilizing a mobile device, wherein the digital audio data comprises audio data representing actual content from the document;
establishing a communications path between the mobile device and a data processing system;
sending the captured digital audio data from the mobile device to the data processing system via the communications path; and
receiving, at the mobile device from the data processing system, data representing at least a portion of the actual content of the document.
14. The method of claim 13 wherein the step of receiving includes receiving the entire document.
15. The method of claim 13, further comprising receiving at least a portion of a reference document as an alternative identified document; and sending at least a portion of the alternative identified document to the mobile device.
16. The method of claim 15 further comprising:
receiving an indication from the mobile device indicating the at least a portion of the alternative identified document as being equivalent to the document.
17. The method of claim 13 wherein the entire document is sent to address data provided by the mobile device.
19. The method of claim 13 wherein capturing the digital audio data includes:
receiving the digital audio data as spoken audio, and converting the spoken audio to a digital audio signal; and
wherein storing the captured digital audio data includes storing the digital audio signal.
20. The method of claim 13 further comprising storing the captured digital audio data in a memory of the mobile device.
21. The method of claim 13 further comprising storing the captured digital audio data in a remote storage device.
22. The method of claim 13 further wherein the captured digital audio data includes data identifying at least one of the author, title and reference number of the source document.
23. A data processing system for identifying one of a plurality of reference documents from information received from a handheld device in communication with the data processing system, the data processing system coupled to the data network and each reference document having reference data, the data processing system comprising:
at least one memory device in which a plurality of instructions are stored; and
a processor coupled to the at least one memory device and capable of executing instructions in the memory device to: (i) access the reference data in the at least one memory device, and (ii) receive the information from the handheld device, wherein the information comprises data scanned from a document by the handheld device, wherein execution of the instructions causing a plurality of steps to be performed including:

storing a plurality of reference documents in a memory device, including storing reference data for each reference document of the plurality of reference documents, wherein the reference data comprises data representing human-readable content from an associated reference document of the plurality of reference documents, wherein the human-readable content includes actual content from the associated reference document of the plurality of reference documents;
receiving, at a data processing system from a mobile device in communication with the data processing system, digital audio data captured by the mobile device from audio voice signals identifying actual content of a source document, wherein the digital audio data comprises digital data converted from the audio voice signals;
extracting at least a portion of the digital audio data as scanning data;
retrieving the reference data for at least one reference document from the memory device;
comparing the scanning data with the retrieved reference data, wherein comparing the scanning data with the retrieved reference data includes comparing human-language content in the scanning data with actual text content in the retrieved reference data of the at least one reference document;
if comparing the scanning data with the retrieved reference data indicates at least the portion of the scanning data matches at least a portion of the retrieved reference data, identifying the at least one reference document of the plurality of reference documents associated with the matched at least a portion of the retrieved reference data as being the same document as the source document.
24. The data processing apparatus of claim 23, wherein the execution of the instructions by the processor causes further steps to be performed, namely:
receiving address information identifying a receiving address for a recipient;
establishing a communications path between the data processing system and a device associated with the recipient via the data network, and
sending, using the address information, at least a portion of the one or more reference documents to the receiving address of the recipient via the communications path.
25. The data processing system of claim 23, wherein sending at least a portion of the identified document includes:
sending at least a portion of one or more reference documents to a receiving address of the recipient via transmission over a data network coupling the handheld device to the data processing system.
26. The data processing system of claim 23, further comprising sending data representing at least a portion of the identified one or more reference documents.
27. The data processing system of claim 26, wherein sending data representing at least a portion of the identified document includes:
sending at least a portion of the identified document to a receiving address via facsimile transmission.
28. The data processing apparatus of claim 26, wherein sending the selected document includes:
attaching the selected document to an e-mail message, and sending the e-mail message to the receiving address via the data network.
28. The data processing apparatus of claim 23, further wherein the scanning data includes data identifying at least one of the author, title and reference number of the source document.
29. A wireless personal device comprising:
(i) an audio capturing apparatus operable to receive as input audio signals;
(ii) a transceiver operating to receive and transmit a wireless data connection with a data processing system coupled to a wireless data network, the transceiver being operable to:
establish a wireless communications path between the wireless personal device and the data processing system coupled to the wireless data network; and
send a captured digital audio data from the wireless personal device to the data processing system via the wireless communications path;

(iii) a memory in which a plurality of instructions are stored; and
(iv) a processor coupled to the memory and capable of executing the instructions in the memory, wherein execution of the instructions causes a plurality of steps to be performed including:
capturing digital audio data regarding a document utilizing the audio capturing apparatus, wherein the digital audio data comprises audio data representing audio signals identifying actual content from the document;
establishing a communications path between the wireless personal device and a data processing system;
sending the captured digital audio data from the wireless personal device to the data processing system via the communications path; and
receiving, at the wireless personal device from the data processing system, at least a portion of the actual content of the document.
30. The wireless personal device of claim 29 wherein the step of receiving includes receiving the entire document.
31. The wireless personal device of claim 29 further comprising receiving at least a portion of a reference document as an alternative identified document; and sending at least a portion of the alternative identified document to the wireless personal device.
32. The wireless personal device of claim 31 further comprising:
receiving an indication from the wireless personal device indicating the at least a portion of the alternative identified document as being equivalent to the document.
33. The wireless personal device of claim 29 wherein the entire document is sent to address data provided by the wireless personal device.
34. The wireless personal device of claim 29 wherein capturing the digital audio data includes:
receiving the audio signals as spoken audio and converting the spoken audio to a digital audio signal.
35. The wireless personal device of claim 29 wherein the wireless personal device is a cellular phone.
36. The wireless personal device of claim 29 wherein the wireless personal device is a personal digital assistant (\u201cPDA\u201d).
37. The wireless personal device of claim 29 wherein the wireless personal device is a head-wearable device including a microphone operating as the audio capturing apparatus, and an integrated heads-up display, wherein the integrated heads-up display presents at least a portion of the received actual content of the document.
38. The wireless personal device of claim 29 wherein the wireless personal device is a wearable projector device including a microphone operating as the audio capturing apparatus, and an integrated projector that projects at least a portion of the received actual content of the document.
39. The wireless personal device of claim 29 wherein the captured digital audio data includes data identifying at least one of the author, title and reference number of the source document.
40. A computer program product, comprising:
a non-transitory computer readable media; and
program code on the computer readable media that when executed by a data processing system, cause the data processing system to perform:
storing a plurality of reference documents in a memory device, including storing reference data for each reference document of the plurality of reference documents, wherein the reference data comprises data representing human-readable content from an associated reference document of the plurality of reference documents, wherein the human-readable content includes actual content from the associated reference document of the plurality of reference documents;
receiving, at a data processing system from a wireless personal device in communication with the data processing system, digital audio data captured by the wireless personal device from audio voice signals identifying actual content of a source document, wherein the digital audio data comprises digital data converted from the audio voice signals;
extracting at least a portion of the digital audio data as scanning data;
retrieving the reference data for at least one reference document from the memory device;
comparing the scanning data with the retrieved reference data, wherein comparing the scanning data with the retrieved reference data includes comparing human-language content in the scanning data with actual text content in the retrieved reference data of the at least one reference document;
if comparing the scanning data with the retrieved reference data indicates at least the portion of the scanning data matches at least a portion of the retrieved reference data, identifying the at least one reference document of the plurality of reference documents associated with the matched at least a portion of the retrieved reference data as being the same document as the source document.
41. The computer program product of claim 40 wherein the scanning data includes data identifying a name of the source document.
42. The computer program product of claim 40 wherein the scanning data includes data identifying an author of the source document.
43. The computer program product of claim 40 wherein the scanning data includes data identifying a publication date of the source document.
44. The computer program product of claim 40 further comprising:
identifying, when the scanning data matches at least a portion of the reference data associated with a second reference document of the plurality of reference documents, the second reference document as an alternative identified document; and
sending at least a portion of the alternative identified document to the wireless personal device.
45. The computer program product of claim 44 further comprising:
receiving an indication from the wireless personal device indicating the at least a portion of the at least one reference document or the at least a portion of the second reference document as being equivalent to the source document.
46. The computer program product of claim 40 further comprising sending at least a portion of the at least one reference document to the wireless personal device.
47. The computer program product of claim 46 wherein the sending comprises:
attaching the identified at least one reference document to an e-mail message, and
sending the e-mail message to a data processing system.
48. The computer program product of claim 46 wherein the step of sending includes sending the identified at least one reference document to a receiving address.
49. The computer program product of claim 46 wherein the step of sending includes sending an image of at least a portion of at least one reference document.
50. The computer program product of claim 40 wherein extracting includes:
extracting at least a portion of the captured digital audio data as scanning data by converting digital audio data to text-based digital data.
51. The computer program product of claim 40 wherein at least one of the steps of receiving, retrieving, comparing and identifying are performed by a data processing system of a server connected to the wireless personal device by a wireless network connection.

The claims below are in addition to those above.
All refrences to claim(s) which appear below refer to the numbering after this setence.

1. An apparatus for producing porous silicon on a front side of a silicon wafer comprising:
a housing;
at least one vertically oriented electrolytic cell comprising:
an anode;
a cathode; and
an electrolyte;

a sealing mechanism within said electrolytic cell, said sealing mechanism comprising a surface for contacting a back side of the silicon wafer, said sealing mechanism not in contact with the front side of the silicon wafer; and
a rinsing mechanism for removing said electrolyte from the silicon wafer.
2. The apparatus of claim 1, wherein said rinsing mechanism comprises a spray of deionized water.
3. The apparatus of claim 1, wherein said rinsing mechanism comprises a tank of deionized water.
4. The apparatus of claim 1, wherein said sealing mechanism comprises a first pallet, said first pallet comprising:
an electrically insulating material;
an opening for holding the silicon wafer; and
an edge capable of being attached to a second pallet.
5. The apparatus of claim 4, further comprising
a motor for moving said first pallet through said at least one electrolytic cell.
6. The apparatus of claim 1, wherein said sealing mechanism comprises a circumferential seal within said electrolytic cell.
7. The apparatus of claim 6, further comprising a mechanism capable of placing the silicon wafer inside said electrolytic cell and removing the silicon wafer from said electrolytic cell.
8. The apparatus of claim 1, wherein said at least one electrolytic cell comprises a plurality of electrolytic cells.
9. The apparatus of claim 1, wherein said electrolyte of said at least one electrolytic cell comprises HFIPA.
10. The apparatus of claim 1, wherein said at least one electrolytic cell further comprises an electrolyte jet for removing a gas from said anode.
11. The apparatus of claim 1, wherein said at least one electrolytic cell further comprises an electrolyte jet for removing a gas from said cathode.
12. A method for producing porous silicon on a silicon wafer, said method comprising the steps of:
placing the silicon wafer within a non-confined electrolytic cell;
supporting the silicon wafer on a surface within said non-confined electrolytic cell, said electrolytic cell comprising:
an electrolyte,
an anode, and
a cathode;

passing an electrical current through the wafer, said electrical current producing a layer of porous silicon on a top surface of the wafer;
removing the wafer from said non-confined electrolytic cell; and
rinsing said electrolyte from the silicon wafer.
13. The method of claim 12, further comprising
transporting the wafer on a pallet.
14. The method of claim 12, wherein said rinsing step comprises passing the silicon wafer through a rinse tank comprising deionized water.
15. The method of claim 12, wherein said rinsing step comprises spraying the silicon wafer with deionized water.
16. The method of claim 13, further comprising:
transporting said pallet supporting the wafer through a plurality of non-confined electrolytic cells.
17. The method of claim 12, wherein said electrolyte comprises HFIPA.
18. The method of claim 12, further comprising removing a gas from said anode with a jet of said electrolyte.
19. The method of claim 12, further comprising removing a gas from said cathode with a jet of said electrolyte.
20. The method of claim 12, wherein said non-confined electrolytic cell is oriented vertically.