Apparatus and method for checking microcode with a generated restriction checker
Number of patents in Portfolio can not be more than 2000
United States of America Patent
Stats
-
May 9, 1995
Grant Date -
N/A
app pub date -
Oct 30, 1992
filing date -
Nov 1, 1991
priority date (Note) -
Expired
status (Latency Note)
Importance
Abstract
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.
First Claim
Family
International Classification(s)
Cited Art Landscape
Patent Citation Ranking
Advertisement
Advertisement
Advertisement
Recipient Email Address
Recipient Email Address
Comment
Recipient Email Address
Add to Portfolio(s)
To add this patent to one, or more, of your portfolios, simply click the add button.
This Patent is in these Portfolios:
Add to additional portfolios:
Last Refreshed On:
Changes done successfully