 Network switch using network processor and methods |
| One purpose of this invention is to provide a scalable switch architecture for use in a data ... |
|
| Transform processor system having reduced processing bandwith |
| The present invention is generally directed to various levels of features; including display ... |
|
| Method and apparatus for determination and visualization of player field coverage in a sporting event |
| The present invention provides, most generally, a method and apparatus for tracking moving objects, ... |
|
| Computer human method and system for the control and management of an airport |
| What is claimed is: 1. A GNSS compatible airport control and management system providing a computer ... |
|
| Architectures for netcentric computing systems |
| The present invention discloses an architecture for a netcentric computer system that is capable of ... |
|
| System and method for automatically verifying the performance of a virtual robot |
| The present invention meets these aforementioned needs by providing a variety of mechanisms for ... |
|
| Method and apparatus for summarizing previous threads in a communication-center chat session |
| What is claimed is: 1. A system for aiding a host of a chat session in reviewing queries and ... |
|
| IRC name translation protocol |
| OF THE INVENTION The present invention relates to the technical field of networks particularly for ... |
|
| Methods for creating and editing topics for virtual robots conversing in natural language |
| The present invention meets the aforementioned needs by providing automated methods of editing and ... |
|
| Method for communicating within a chat topic in a wireless communication system |
| OF THE INVENTION Referring to FIG. 1, an electronic block diagram of a wireless communication ... |
|
|
Apparatus and method for checking microcode with a generated restriction checker
| Details |
Inventors: Fertig, Paul; Golan, Igal;
Assignee: International Business Machines Corporation (Armonk, NY)
Primary Examiner: Kriess; Kevin A.
Assistant Examiner: Payne; Matthew M.
Attorney, Agent or Firm: Billion; Richard E., Truelson; Roy W.
A restriction checker generator is disclosed for generating a restriction checker capable of checking horizontal microcode instructions against restrictions which the microcode instructions must satisfy in order to be valid. The generator comprises means for transforming information representing each restriction into at least one logical test for the instruction, each logical test comprising a number of sub-tests for the values of fields of the instruction such that failure of any one of the sub-tests by an instruction indicates that the restriction is satisfied by the instruction. The sub-tests can be set-membership tests or arithmetic tests. An embodiment of the invention includes means for factorizing the logical tests so that, for at least some of the sub-tests, if the same sub-test occurs in a plurality of the logical tests, the sub-test will only be performed once for the plurality of logical tests, failure of the sub-test by an instruction indicating that each of the plurality of logical tests is satisfied. |
|
DETAILED DESCRIPTION The present invention enables a restriction checker generator to be provided for generating a restriction checker for checking microcode instructions, each comprising a number of fields, against a number of restrictions on the values the fields can take, which restrictions each microcode instruction must satisfy in order to be valid, the restriction checker generator comprising means for generating, from information representing the restrictions, a computer program which, when executed on a computer, performs the function of a restriction checker.
The restriction checking program can be rapidly regenerated in the event of a change in the restriction set.
The generated program can be executed on a general purpose computer either in batch mode or interactively as part of a microcode editing tool.
In a preferred form of the invention the generating means includes means for transforming information representing each restriction into at least one logical test for the instruction, each logical test comprising a number of sub-tests for the values of fields of the instruction such that failure of any one of the sub-tests by an instruction indicates that the restriction is satisfied by the instruction.
When the set of restrictions changes the restriction checker can thus be rapidly modified by transforming the modified information representing the restrictions to a modified set of logical tests and regenerating the computer program.
In general, restrictions are almost always satisfied and violations are relatively rare.
Expression of the restrictions in the form of a logical test made up of sub-tests, only one of which needs to be failed for the restriction to be passed, means that, as soon as a sub-test is failed, the remaining sub-tests making up the logical test do not need to be carried out.
Therefore, satisfaction of the restriction can be determined as quickly as possible allowing the checker to operate extremely efficiently, even if the set of restrictions is large.
Each logical test can comprise a conjunction of sub-tests, each sub-test evaluating FALSE if the sub-test is failed
|
| Related patents |
|
|
Apparatuses, methods, computer programming, and propagated signals for modeling motion in computer applications
OF PREFERRED EMBODIMENTS . . . 6.1 OVERVIEW . . . 6.1.1 The OpenMotion System . . . 6.1.2 The API And Its Relation To Application, Modeling, and Rendering Programs . . ....
|
|
|
On-line transaction processing system for security trading
To achieve the objects and in accordance with the purpose of the invention embodied and broadly described herein, the present invention includes a method of customizing ...
|
|
|
Currency trading system, methods, and software
OF PREFERRED EMBODIMENTS The Currency Trading System of a preferred embodiment (hereinafter "Trading System") of the present invention allows traders to trade ...
|
|
|
System and method for multiple asynchronous text chat conversations
Terminology It proves useful to introduce a set of terms as a basis for the detailed description given below. For this purpose the following terms and respective ...
|
|
|
Virtual directory
FIG. 1 is a network schematic of an embodiment of a virtual directory system ("VDS") 10. VDS 10 is configured so that a user searching for a particular web site can be ...
|
|
|
Method for graph-based table recognition
The present invention is directed to a method for document structure recognition based on a graph rewriting paradigm. Document recognition is a process by which the ...
|
|
|
Contents-based video story browsing system
OF PREFERRED EMBODIMENT Reference will now be made in detail to the preferred embodiments of the present invention, examples of which are illustrated in the ...
|
|
|
Fundamental entity-relationship models for the generic audio visual data signal description
An object of the present invention is to provide content description schemes for generic multimedia information. Another object of the present invention is to provide ...
|
|
|
Method and apparatus for identifying words described in a page description language file
The present invention provides a method and apparatus for identifying words stored in a page description language file. The present invention can identify words from ...
|
|
|
Intelligent compilation of procedural functions for query processing systems
To overcome the limitations in the prior art described above, and to overcome other limitations that will become apparent upon reading and understanding the present ...
|
|
|
File Sharing 
