1. A system for testing a circuit, comprising:
a software model of the circuit;
a circuit simulator adapted to simulate the circuit based on the software model; and
a circuit simulation verifier adapted to provide an input to the circuit simulator and adapted to receive an output from the circuit simulator;
wherein execution of the circuit simulation verifier is controlled by user input.
2. The system of claim 1, wherein execution of the circuit simulation verifier is halted by user input.
3. The system of claim 2, wherein execution of the circuit simulation verifier has been halted, and wherein execution of the circuit simulation verifier is restarted by user input.
4. The system of claim 1, wherein the circuit simulation verifier comprises a plurality of code statements and wherein user input executes only one statement of the circuit simulation verifier.
5. The system of claim 1, wherein the circuit simulation verifier comprises a variable and wherein user input determines a value of the variable.
6. The system of claim 1, wherein execution of the circuit simulation verifier comprises execution of a plurality of threads.
7. The system of claim 1, wherein execution of the circuit simulation verifier comprises collection of information and wherein the collected information comprises one element of a group containing a memory allocation of a variable, a value of a variable, a value change of a variable, a code statement that has been executed, a timestamp, and a clock cycle.
8. The system of claim 1, wherein the circuit simulation verifier has been executed through a first execution point to a second execution point, and wherein user input restores the circuit simulation verifier to the first execution point.
9. The system of claim 8, wherein user input indicates the first execution point by specifying one element of a group containing a name of a variable, a line number of a code statement, a timestamp, a clock cycle, and a point of a waveform.
10. The system of claim 8, wherein the circuit simulation verifier had a first state at the first execution point and wherein the circuit simulation verifier had a second state at the second execution point, and wherein user input changes the state of the circuit simulation verifier from the second state to the first state.
11. The system of claim 10, wherein the state of the circuit simulation verifier comprises one element of a group containing a timestamp and a clock cycle.
12. The system of claim 10, wherein the state of the circuit simulation verifier comprises one element of a group containing a value of a variable and an execution point of the circuit simulation verifier.
13. A computer program product containing a computer readable medium for testing a circuit, the computer readable medium comprising:
a first program code for modeling the circuit;
a second program code for simulating the circuit based on the first program code; and
a third program code for providing an input to the second program code and for receiving an output from the second program code;
wherein execution of the third program code is controlled by user input.
14. A user interface for testing a circuit, comprising:
a window for displaying a state of a circuit simulation verifier; and
a control for receiving user input, the state of the circuit simulation verifier being modified responsive to the received user input.
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 of opening an account with a financial institution via an account management system having an account opening service, the account management system including a memory module, an inputoutput interface, and a processor, the method comprising:
electronically storing in the memory module at least one rule for opening an account with a financial institution;
electronically receiving, by the inputoutput interface, account application information from a remote device over at least one network, the account application information including personal information of a customer requesting to open an account;
electronically receiving, by the inputoutput interface, funding source information from the remote device over at least one network, the funding source information specifying at least one funding source;
electronically receiving, by the inputoutput interface, transmitted configuration information;
processing the transmitted configuration information so as to modify functionality of the account opening service, wherein the functionality comprises;
determining with the processor, based on the account application information, at least one risk score specifying a risk to the financial institution of transferring funds from the at least one funding source to the account;
comparing the at least one rule with the at least one risk score by the processor in order to determine a decision regarding the account application information by comparing the at least one rule with the at least one risk score in order to determine whether to accept the account application information and open the account;
determining a set of parameters for at least one funding constraint based upon the risk score;
electronically transmitting, by the inputoutput interface, the decision and the parameters to the remote device over the at least one network;
electronically transmitting, by the inputoutput interface, the decision and the parameters to the financial institution over the at least one network; and
providing an account-opening solution in accordance with the decision and the parameters.
2. The method of claim 1, wherein the comparing the at least one rule with at least one risk score by the processor in order to determine at least one funding constraint associated with the account includes comparing the at least one rule with at least one risk score in order to determine a maximum funding amount for the account.
3. The method of claim 1, wherein the comparing the at least one rule with at least one risk score by the processor in order to determine at least one funding constraint associated with the account includes comparing the at least one rule with at least one risk score in order to determine a hold time for funds transferred to the account.
4. The method of claim 1, further comprising electronically receiving the at least one rule from an individual associated with the financial institution over at least one network.
5. The method of claim 1, further comprising opening the account with the financial institution by way of the processor and associating the at least one funding constraint with the account.
6. The method of claim 1, further comprising transferring funds to the account by way of the processor via at least one of a credit card transaction, a debit card transaction, an ACH transaction, and a wire transfer.
7. The method of claim 1, wherein the determining at least one risk score with the processor based on the account application information includes determining a risk score specifying a risk to the financial institution of opening the account for the customer.
8. The method of claim 1, wherein the determining at least one risk score specifying a risk to the financial institution of transferring funds from the at least one funding source includes determining a risk score based on attempting to match at least a portion of the account application information with at least a portion of the funding source information.
9. The method of claim 8, wherein the determining at least one risk score with the processor based on attempting to match at least a portion of the account application information with at least a portion of the funding source information includes processing previously-collected debit data with the processor.
10. The method of claim 1, wherein the comparing the at least one rule with the at least one risk score by the processor in order to determine a decision regarding the account application information includes applying the at least one rule to the at least one risk score in order to determine whether to open the account.
11. An account management system for opening an account with a financial institution via an account opening service, the system comprising:
an electronically-implemented memory configured to store at least one rule for opening an account with a financial institution and a rules engine application;
an electronically-implemented inputoutput interface device configured to receive:
account application information from at least one remote device over at least one network and
transmitted configuration information;
an electronically-implemented processor programmed to:
process the transmitted configuration information so as to modify functionality of the account opening service, the functionality configured to;
determine at least one risk score based on the account application information, the at least one risk score specifying a risk to the financial institution of opening the account for the customer;
execute the rules engine application to compare the at least one rule with the at least one risk score in order to determine a decision regarding the account application information;
determine a set of parameters for at least one funding constraint based upon the risk score; and
provide an account-opening solution in accordance with the decision and the parameters.
12. The system of claim 11, wherein the at least one funding constraint includes a maximum funding amount for the account.
13. The system of claim 11, wherein the at least one funding constraint includes a funding hold time for funds transferred to the account.
14. The system of claim 11, wherein the inputoutput interface electronically transmits the decision and the at least one funding constraint to the remote device over at least one network.
15. A system for opening an account with a financial institution, the system comprising:
an account management system having an account opening service;
at least one network; and
at least one remote device configured to electronically transmit account application information and configuration information to the account management system over the at least one network;
wherein the account management system is configured to:
process the transmitted configuration information so as to modify functionality of the account opening service, the functionality configured to;
generate at least one risk score based on the account application information;
compare at least one rule to the at least one risk score in order to determine a decision regarding the account application information;
determine a set of parameters for at least one funding constraint based upon the risk score;
electronically transmit the decision and the parameters to the at least one remote device over the at least one network; and
provide an account-opening solution in accordance with the decision and the parameters.