1
Wayne M Cardoza, Jeffrey M Diewald, Jeffrey E Nelson, Steven D DiPirro, James R Goddard, Wendell B Fisher Jr, Anne E McElearney, Richard Sayde: Method and apparatus for testing software on a computer network. Digital Equipment Corporation, David A Dagg, Denis G Maloney, Arthur W Fisher, May 13, 1997: US05630049 (134 worldwide citation)

A method of remote debugging comprises a first computer system that communicates with a second computer using a network connection. The first computer system controls the remote debugging and comprises a first operating system. The second computer system comprises a second operating system and softw ...


2
Wendell Burns Fisher Jr, Richard Sayde: Method and apparatus for remotely booting a computer system. Digital Equipment Corporation, David A Dagg, Denis G Maloney, Arthur W Fisher, October 7, 1997: US05675800 (36 worldwide citation)

A method and apparatus of remotely booting a target computer system from a host computer system over a communication medium comprises exchanging messages between the host and target computer systems. The host computer system controls the remote booting and communicates the initial booting request to ...


3
Mark Seneski, Richard Sayde, Joshua D Marantz, Richard J Cloutier, Dylan Dobbyn, William E Neifert: Simulation of software. Carbon Design Systems, Goodwin Procter, December 13, 2011: US08079022 (2 worldwide citation)

Systems and methods facilitate accurate and rapid simulation of software by periodically saving simulation states and design stimuli for use as a replay model. Divergences from the stored information may be detected during subsequent re-executions, which can in turn be run using the saved stimuli an ...


4
Bernard Gilbert, Keith Westgate, Richard Sayde: Methods of using simultaneous test verification software. Quickturn Design Systems, Brian M Dingman, February 9, 1999: US05870316 (2 worldwide citation)

Methods of speeding error analysis of electronic devices under test using simulation software that has the capability of simultaneously executing up to 32 tests on one image of the design model. One embodiment of the method contemplates executing the tests staggered in time so that a larger portion ...


5
William Neifert, Joshua Marantz, Richard Sayde, Joseph Tatham, Alan Lehotsky, Andrew Ladd, Mark Seneski, Aron Atkins: Optimized execution of software objects generated from a hardware description. Testa Hurwitz & Thibeault, June 24, 2004: US20040122644-A1

System and methods high-performance simulation of the operation of a hardware device. A software object, based on a register transfer level description of the device written in a hardware description language, such as Verilog, is used for the simulation. The invention uses global analysis techniques ...


6
William Neifert, Joshua Marantz, Richard Sayde, Joseph Tatham, Alan Lehotsky, Andrew Ladd, Mark Seneski, Aron Atkins: Generation of software objects from a hardware description. Testa Hurwitz & Thibeault, March 10, 2005: US20050055675-A1

System and methods for generating a software object that simulates the operation of a hardware device from a register transfer level description of the device written in a hardware description language, such as Verilog. The invention uses global analysis techniques (i.e., analysis of the design of t ...


7
William Neifert, Joshua Marantz, Richard Sayde, Joseph Tatham, Alan Lehotsky, Andrew Ladd, Mark Seneski, Aron Atkins: Simulation of software objects generated from a hardware description. Testa Hurwitz & Thibeault, June 17, 2004: US20040117167-A1

System and methods for simulating a software object generated from a hardware description of an electronic device. The hardware description is a register transfer level description of the device written in a hardware description language, such as Verilog. The invention uses global analysis technique ...


8
William Neifert, Joshua Marantz, Richard Sayde, Joseph Tatham, Alan Lehotsky, Andrew Ladd, Mark Seneski, Aron Atkins: Global analysis of software objects generated from a hardware description. Testa Hurwitz & Thibeault, June 17, 2004: US20040117168-A1

System and methods for analyzing the design of the hardware device as a whole, rather than in fragments. This provides a basis for a high-performance simulation of the hardware device from a register transfer level description of the device written in a hardware description language, such as Verilog ...


9
Mark Seneski, Richard Sayde, Joshua D Marantz, Richard J Cloutier, Dylan Dobbyn, William E Neifert: Simulation of software. Goodwin Procter, December 4, 2008: US20080301651-A1

Systems and methods facilitate accurate and rapid simulation of software by periodically saving simulation states and design stimuli for use as a replay model. Divergences from the stored information may be detected during subsequent re-executions, which can in turn be run using the saved stimuli an ...