| http://www.w3.org/ns/prov#value | - A method for a data processor to generate a test program for verifying processors, said method comprising:a first step of referencing input information and hierarchical information, wherein:said hierarchical information comprises n levels where n is a chosen number, each level containing a kind of object, where:objects of level 1 each comprise an instruction name, instruction information, and oper
|
