A method for verifying a device under test includes inputting a control command, compiling the control command to a corresponding data-bus command, and simulating the result generated by the device under test after executing the data-bus command and comparing the result with an expected value. The test subject may be under the influence of experimental drugs or genetic manipulation. A runtime manager is disclosed which dynamically manages the polygon counts for objects and frames based upon the location, velocity, and area of the object. The first inclined surface projects from the first surface while being inclined in an extraction direction of the card-shaped component. A second demultiplexer generates second transmission symbols using at least a portion of the encoded data.