Array for simulating computer functions for large computer systems

Claim 2

An array of logic simulation processors for simulating complex logic functions formed of primitive logic functions, said array comprising: a plurality of logic simulation processors; and node processing means coupled to each of said logic simulation processors for transmitting value change notices therebetween; each of said logic simulation processors including a function unit including circuit means having different logic gates for execution of different ones of said primitive logic functions; each of said logic processors further including value table means for storing present value signals, said value table means being coupled to said function unit to supply individual ones of said present value signals to said function unit; each of said logic simulation processors further including instruction table means for storing a sequence of instructions each of which specifies a particular primitive function to be executed and an address to said value table means to fetch a given one of said present value signals, said instruction table means being coupled to said value table means and said function unit to control the execution of a specified primitive function upon a given present value signal received from said value table means in response to the address contained in a given instruction.

Claim 3

An array according to claim 1 wherein each of said logic simulation processors includes: sequencing means coupled to its corresponding instruction table means to control a sequence of primitive function executions by said corresponding function unit upon present value signals addressed by each of said instructions in said sequence of instructions.

Claim 4

An array according to claim 2 further including: a plurality of registers arranged as a push-down stack having a top register, the top register of such stack being coupled to said function unit to receive the result signal of a primitive function execution and to transmit the result signal to said function unit as a second input signal to the execution of a second primitive function.

Claim 5

An array according to claim 3 wherein each of said logic simulation processors includes: an internal change flip-flop circuit; said circuit means in said function unit including comparison means to compare a present value signal received from said value table means with a value signal received from said push-down stack, said comparison means being coupled to said internal change flip-flop circuit to set said flip-flop circuit if the two value signals do not compare and to replace said present value signal in said value table means with said value signal received from said push-down stack.

Claim 6

An array according to claim 4 wherein each sequence of instructions includes an end of sequence instruction, each of said logic simulation processors further including: means coupled to said instruction table means to repeat said sequence of instructions when said end of sequence instruction is encountered and said internal change flip-flop has been set.

Claim 7

An array according to claim 5 wherein each of said logic simulation processors further includes: an external change flip-flop circuit; said circuit means including means to set said external change flip-flop circuit and reset said internal change flip-flop circuit when said sequence of instructions is completed.

Claim 8

An array of logic simulation processors for simulating complex logic functions formed of primitive logic functions, said array comprising: a plurality of logic simulation processors; and a plurality of node processing means coupled to each other and neighboring logic simulation processors to form a tree array with one node processing means serving as the root of said tree array and said logic simulation processors serving as the leaves of said tree array; each of said simulation processors including a function unit including circuit means having different logic gates for executing different ones of said primitive logic functions; each of said logic processors further including value table means for storing present value signals, said value table means being coupled to said function unit to supply individual ones of said present value signals to said corresponding function unit; each of said logic simulation processors further including instruction table means for storing a sequence of instructions each of which specifies a particular primitive function for execution and an address to said value table means to fetch a given one of said present value signals, said instruction table means being coupled to said value table means and said function unit to control the execution of a specified primitive function upon a given present value signal received from said value table means in response to the address contained in a given instruction.

Claim 9

An array of logic simulation processors for simulating complex logic functions formed of primitive logic functions, said array comprising: a plurality of logic simulation processors; and a plurality of node processing means coupled to each other and neighboring logic simulation processors to form a tree array with one node processing means serving as the root of said tree array and said logic simulation processors serving as the leaves of said tree array; each of said simulation processors including a function unit including circuit means having different logic gates for executing different ones of said primitive logic functions; each of said logic processors further including value table means for storing present value signals, said value table means being coupled to said function unit to supply individual ones of said present value signals to said corresponding function unit; each of said logic simulation processors further including instruction table means for storing a sequence of instructions each of which specifies a particular primitive function for execution and an address to said value table means to fetch a given one of said present value signals, said instruction table means being coupled to said value table means and said function unit to control the execution of a specified primitive function upon a given present value signal received from said value table means in response to the address contained in a given instruction.

Claim 10

An array according to claim 7 further including: a plurality of registers arranged as a push-down stack having a top register, the top register of such stack being coupled to said function unit to receive the result signal of a primitive function execution and to transmit the result signal to said function unit as a second input signal to the execution of a second primitive function.

Claim 11

An array according to claim 8 wherein each of said logic simulation processors includes: an internal change flip-flop circuit; said circuit means in said function unit including comparison means to compare a present value signal received from said value table means with a value signal received from said push-down stack, said comparison means being coupled to said internal change flip-flop circuit to set said flip-flop circuit if the two value signals do not compare and to replace said present value signal in said value table means with said value signal received from said push-down stack.

Claim 12

An array according to claim 9 wherein each sequence of instructions includes an end of sequence instruction, each of said logic simulation processors further including: means coupled to said instruction table means to repeat said sequence of instructions when said end of sequence instruction is encountered and said internal change flip-flop has been set.

Claim 13

An array according to claim 10 wherein each of said logic simulation processors further includes: an external change flip-flop circuit; said circuit means including means to set said external change flip-flop circuit and reset said internal change flip-flop circuit when said sequence of instructions is completed.