Patents by Inventor Steven Leonard Roberts

Steven Leonard Roberts has filed for patents to protect the following inventions. This listing includes patent applications that are pending as well as patents that have already been granted by the United States Patent and Trademark Office (USPTO).

  • Patent number: 8407451
    Abstract: An information handling system includes a processor with multiple hardware units that generate program application load, store, and I/O interface requests to system busses within the information handling system. The processor includes a resource allocation identifier (RAID) that links the processor hardware unit initiating a system bus request with a specific resource allocation group. The resource allocation group assigns a specific bandwidth allocation rate to the initiating processor. When a load, store, or I/O interface bus request reaches the I/O bus for execution, the resource allocation manager restricts the amount of bandwidth associated with each I/O request by assigning discrete amounts of bandwidth to each successive I/O requester. Successive stages of the instruction pipeline in the hardware unit contain the resource allocation identifiers (RAID) linked to the specific load, store, or I/O instruction.
    Type: Grant
    Filed: February 6, 2007
    Date of Patent: March 26, 2013
    Assignee: International Business Machines Corporation
    Inventors: Gavin Balfour Meil, Steven Leonard Roberts, Christopher John Spandikow
  • Patent number: 8229727
    Abstract: A system and method for incorporating design behavior and external stimulus in microdevice model feedback using a shared memory is presented. The invention describe herein uses the attached memory model to provide additional heuristics to an application executing on an emulation system's device model, which results in a more detail and real-life device emulation. The attached memory model provides a storage area for a runtime software environment to store emulation data, which is subsequently provided to the device model during emulation. The emulation data may include 1) randomization stimuli to the device model, 2) additional runtime data for checking heuristics, and 3) emulation data points that are otherwise not accessible to the device model.
    Type: Grant
    Filed: January 9, 2007
    Date of Patent: July 24, 2012
    Assignee: International Business Machines Corporation
    Inventors: Sanjay Gupta, Joseph Anthony Perrie, III, Steven Leonard Roberts, Todd Swanson
  • Patent number: 7725789
    Abstract: The present invention provides a method and apparatus for efficiently loading values into scan and non-scan memory elements. First, the network used to distribute control signals to the memory elements is cleared. Second, the desired values are loaded into the scan memory elements. Third, the values from the scan memory elements are propagated to the non-scan memory elements.
    Type: Grant
    Filed: August 7, 2008
    Date of Patent: May 25, 2010
    Assignee: International Business Machines Corporation
    Inventors: Richard Clair Anderson, Johannes Koesters, Steven Leonard Roberts
  • Publication number: 20080307278
    Abstract: The present invention provides a method and apparatus for efficiently loading values into scan and non-scan memory elements. First, the network used to distribute control signals to the memory elements is cleared. Second, the desired values are loaded into the scan memory elements. Third, the values from the scan memory elements are propagated to the non-scan memory elements.
    Type: Application
    Filed: August 7, 2008
    Publication date: December 11, 2008
    Inventors: Richard Clair Anderson, Johannes Koesters, Steven Leonard Roberts
  • Patent number: 7447960
    Abstract: The present invention provides a method and apparatus for efficiently loading values into scan and non-scan memory elements. First, the network used to distribute control signals to the memory elements is cleared. Second, the desired values are loaded into the scan memory elements. Third, the values from the scan memory elements are propagated to the non-scan memory elements.
    Type: Grant
    Filed: August 7, 2003
    Date of Patent: November 4, 2008
    Assignee: International Business Machines Corporation
    Inventors: Richard Clair Anderson, Johannes Koesters, Steven Leonard Roberts
  • Publication number: 20080167854
    Abstract: A system and method for incorporating design behavior and external stimulus in microdevice model feedback using a shared memory is presented. The invention describe herein uses the attached memory model to provide additional heuristics to an application executing on an emulation system's device model, which results in a more detail and real-life device emulation. The attached memory model provides a storage area for a runtime software environment to store emulation data, which is subsequently provided to the device model during emulation. The emulation data may include 1) randomization stimuli to the device model, 2) additional runtime data for checking heuristics, and 3) emulation data points that are otherwise not accessible to the device model.
    Type: Application
    Filed: January 9, 2007
    Publication date: July 10, 2008
    Inventors: Sanjay Gupta, Joseph Anthony Perrie, Steven Leonard Roberts, Todd Swanson
  • Patent number: 7386450
    Abstract: A system for generating multimedia information including audio information, video information, or both is disclosed. The system includes an interface, a text converter, and a first multimedia dictionary. The interface is suitable for receiving a text-based message, such as an email message, from a transmission medium, such as the internet. The text converter is configured to receive the text-based message from the interface. The converter is adapted to decompose the words of the text-based message into their component diphthongs. The first multimedia dictionary receives a diphthong produced by the text converter and produces a set of digitized samples of multimedia information representative of the received diphthong. The system may include a second multimedia dictionary containing its own set of digitized samples. In this embodiment, the system is configured to determine the author of the text-based message and, in response, to select between the first and second multimedia dictionaries.
    Type: Grant
    Filed: December 14, 1999
    Date of Patent: June 10, 2008
    Assignee: International Business Machines Corporation
    Inventors: Jason Raymond Baumgartner, Nadeem Malik, Steven Leonard Roberts
  • Publication number: 20070288776
    Abstract: A computer implemented method, apparatus, and computer usable program code for managing power consumption in a cache. A set of sections is identified in the cache used by the process in response to identifying a process requesting access to a cache. Power is enabled to each section in the set of sections in which power is disabled. The power is disabled to sections outside of the set of sections in which power is enabled.
    Type: Application
    Filed: June 9, 2006
    Publication date: December 13, 2007
    Inventors: Jonathan James DeMent, Clark McKerall O'Niell, Steven Leonard Roberts
  • Publication number: 20060052997
    Abstract: The present invention provides for automating identification of critical regions in memory. A behavioural software reference model of an operating system is certified as substantially error free. The behavioural software reference model is run of operating system. At least one access pattern of the behavioural software reference model is monitored. A cycle accurate software reference model of operating system is run. At least one access pattern of the cycle accurate software reference model is monitored. The at least one access pattern of the behavioural software reference model is compared with the at least one access pattern of the cycle accurate software reference model, thereby allowing a time saving in the testing process.
    Type: Application
    Filed: September 9, 2004
    Publication date: March 9, 2006
    Applicant: International Business Machines Corporation
    Inventors: Adam Patrick Burns, Joseph Anthony Perrie, Steven Leonard Roberts
  • Patent number: 7010485
    Abstract: A system, method, and computer program product for locating an audio segment includes an input device for transmitting an input sample indicative of the audio segment and a media player for playing audio information stored on the storage device. The system further includes a sample converter to generate a digitized representation of the input sample and a digitized representation of the audio information on the storage device. The digitized representation of the input sample may include a diphthong sequence indicative of the diphthong components of the input sample. In this embodiment, an audio converter of the system generates an audio content diphthong sequence. The system may further include a comparator configured to detect a match between the input sample diphthong sequence and a portion of the audio content diphthong sequence.
    Type: Grant
    Filed: February 3, 2000
    Date of Patent: March 7, 2006
    Assignee: International Business Machines Corporation
    Inventors: Jason Raymond Baumgartner, Nadeem Malik, Steven Leonard Roberts
  • Patent number: 6986114
    Abstract: All feedback cycles in a circuit network which cross only non-scannable memory elements are detected in linear run time. The method models a circuit network as a directed graph, then attributes network elements so that a single feedback cycle may be found in constant time. In the breadth first version, feedback is detected by traversing at most a constant distance back to the last scannable memory element. In the depth first version, graph nodes are not FINISHED until all predecessors are FINISHED. Feedback is found immediately if a node runs into another node that is NOT—FINISHED. This feedback is illegal if both nodes are in a zone defined by the same scannable memory element. The resulting identification and removal of feedback loops crossing only non-scannable memory elements significantly reduces the subsequent complexity of test pattern generation. This ensures a faster, more reliable, and more accurate test process after circuit fabrication.
    Type: Grant
    Filed: December 17, 2002
    Date of Patent: January 10, 2006
    Assignee: International Business Machines Corporation
    Inventors: Aaron Thomas Patzer, Stephen Douglas Posluszny, Steven Leonard Roberts
  • Patent number: 6980957
    Abstract: An audio transmission system and an associated method are disclosed, the system includes a transmitting device suitable for converting an audio signal to a digitized signal, a receiving device suitable for receiving transmissions from the transmitting device, and a phonetic analyzer suitable for comparing the digitized signal to a set of digitized signals stored in a first dictionary. The phonetic analyzer is adapted to transmit, in lieu of the digitized signal, an index value associated with the digitized signal to a receiving device in response to detecting a match between the digitized signal and one of the first dictionary entries. The phonetic analyzer is further adapted to assign an index value to the digitized signal and to store the digitized signal and its corresponding digitized signal in an entry of the first dictionary in response to detecting no match between the digitized signal and any of the first dictionary entries.
    Type: Grant
    Filed: December 14, 1999
    Date of Patent: December 27, 2005
    Assignee: International Business Machines Corporation
    Inventors: Jason Raymond Baumgartner, Nadeem Malik, Steven Leonard Roberts
  • Patent number: 6816826
    Abstract: A logic network is simulated, including partitioning logic operations into domains and ranking the operations. Some operations are dependent on source operations from other domains. Pairs of operations having common dependencies are then separated by at least as many operations as the total number of operations in the domains of the respective source operations. All operations are then merged into an order having a certain relation to the respective domain orderings, but omitting nop's inserted to achieve desired separation. Then pairs of operations having common dependency are again separated, this time making advantageous use of overlaps, so that nop's are reduced, to improve simulation time. Due to separations, after one value is computed for one instance of an operation depending on a source operation, a next value is computed for the source operation before computing the next instance of an operation depending on the source operation.
    Type: Grant
    Filed: October 5, 2000
    Date of Patent: November 9, 2004
    Assignee: International Business Machines Corporation
    Inventors: Flemming Andersen, Jason Raymond Baumgartner, Kenneth Douglas Klapproth, Steven Leonard Roberts
  • Publication number: 20040117697
    Abstract: All feedback cycles in a circuit network which cross only non-scannable memory elements are detected in linear run time. The method models a circuit network as a directed graph, then attributes network elements so that a single feedback cycle may be found in constant time. In the breadth first version, feedback is detected by traversing at most a constant distance back to the last scannable memory element. In the depth first version, graph nodes are not FINISHED until all predecessors are FINISHED. Feedback is found immediately if a node runs into another node that is NOT_FINISHED. This feedback is illegal if both nodes are in a zone defined by the same scannable memory element. The resulting identification and removal of feedback loops crossing only non-scannable memory elements significantly reduces the subsequent complexity of test pattern generation. This ensures a faster, more reliable, and more accurate test process after circuit fabrication.
    Type: Application
    Filed: December 17, 2002
    Publication date: June 17, 2004
    Applicant: International Business Machines Corporation
    Inventors: Aaron Thomas Patzer, Stephen Douglas Posluszny, Steven Leonard Roberts
  • Patent number: 6751582
    Abstract: A formal verification method and apparatus allowing a user, via a waveform-based graphical user interface, to modify the waveform displayed by a verification algorithm by highlighting specific values at specific cycles. The user may begin either from scratch or from an existing trace produced by the tool. After running the tool, the resultant waveform represents a trace that the user wishes to extract from the model using the verification tool. The annotations input by the user are translated to “cycle-specific invariants” to force the tool to produce a trace that satisfies the desired annotated waveform and to insure a much faster and more efficient query. The invariants are then passed to a verification algorithm, which outputs a trace satisfying these invariants. The user determines whether the trace is satisfactory and may add additional constraints to the waveform to derive a subsequent trace until the user is satisfied.
    Type: Grant
    Filed: September 9, 1999
    Date of Patent: June 15, 2004
    Assignee: International Business Machines Corporation
    Inventors: Flemming Andersen, Jason Raymond Baumgartner, Steven Leonard Roberts
  • Patent number: 6738955
    Abstract: A method for characterizing average performance in a data processing system is provided. This method consists of adding meta-tool level variables to a verification tool. These meta-tool variables keep track, at once, of all concurrent streams of execution that the tool is considering in its reachability analysis. The image of an initial state variable is found and then divided into a frontier of new states and a set of previously reached states. The previously reached states are ignored and the image of the frontier is found. This process continues until the frontier is empty and all possible states have been reached. In one embodiment of the present invention, the probabilities of the paths can be considered by sampling and holding input data using SMV (a model checking tool) variables.
    Type: Grant
    Filed: November 30, 2000
    Date of Patent: May 18, 2004
    Assignee: International Business Machines Corporation
    Inventors: Flemming Andersen, Jason Raymond Baumgartner, Steven Leonard Roberts
  • Patent number: 6678417
    Abstract: A method and system for transmitting video data are disclosed. The method includes receiving a first video image and comparing the first video image to at least one stock image where each of the stock images is associated with a corresponding index value. If a match between at least a portion of the first video image and one of the at least one stock images is detected, the index value corresponding to the matching stock image is transmitted over a transmission medium. In one embodiment, the method further includes receiving the transmitted index value and generating the corresponding stock image from the index value. The method of may further includes comparing the first video image with a set of stock images. If it is determined that the first image does not match to any of the set of stock images, then a new index value is assigned to the first image and the first image is added to the set of stock images.
    Type: Grant
    Filed: November 30, 1999
    Date of Patent: January 13, 2004
    Assignee: International Business Machines Corporation
    Inventors: Jason Raymond Baumgartner, Nadeem Malik, Steven Leonard Roberts
  • Patent number: 6567962
    Abstract: An apparatus performs a process for partitioning a netlist. The process picks a unique color for each clock and traverses the clock tree coloring the latches in support of that clock tree with that color. The process then colors the fanout logic cones for each latch and notes any coloring collisions. In the case of a multicolored gate, the process retimes the network by moving the terminating latch backwards, towards the collision, to enable single coloring of the gate. The process then performs a depth-first search on the fanout logic of each primary input to the first latch encountered or a primary output. If a primary output is encountered, the path is colored with a color representing the free-run domain. Otherwise, the process colors the path with the color of the terminating latch. Next, the process duplicates the fanin cones for remaining multicolored gates so that a copy of the logic can be incorporated with each independent domain.
    Type: Grant
    Filed: November 30, 2000
    Date of Patent: May 20, 2003
    Assignee: International Business Machines Corporation
    Inventors: Jason Raymond Baumgartner, Robert Neill Newshutz, Steven Leonard Roberts, Anson Jeffrey Tripp
  • Patent number: 6564356
    Abstract: A coverage analysis process and apparatus assigns a unique label for every unique cycle of data produced by simulation or testing. The labels are substituted for the signal evaluations producing a graph of labels over time. The coverage analysis then generates a function, which represents the graph and the function is stored. The functions are analyzed and compared to determine coverage information. The coverage analysis process and apparatus provides significant data compression and represents the coverage in a form, which can easily be analyzed and compared.
    Type: Grant
    Filed: November 2, 2000
    Date of Patent: May 13, 2003
    Assignee: International Business Machines Corporation
    Inventors: Nadeem Malik, Steven Leonard Roberts
  • Patent number: 6553514
    Abstract: A method of verifying a digital circuit in which state transition information is extracted from the output of a non-formal first verification technique. A formal verification tool is then applied to the extracted state transition information to extend the verification coverage of the digital circuit beyond the coverage that is achieved using the first verification technique. In one embodiment, the method includes the initial step of applying a first verification technique such as a simulation technique to a model of the digital circuit. In the preferred embodiment, the application of the formal verification tool comprises applying a model checker to the extracted state transition data to achieve a formal verification of the state machine represented by the state transition diagram. In one embodiment, the extracted state transition information includes a set of data points each representing a present state, a present input, and a next state.
    Type: Grant
    Filed: September 23, 1999
    Date of Patent: April 22, 2003
    Assignee: International Business Machines Corporation
    Inventors: Jason Raymond Baumgartner, Nadeem Malik, Steven Leonard Roberts