Patents by Inventor Richard C. Maixner

Richard C. Maixner 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: 8756557
    Abstract: Various techniques for use in connection with automated circuit design and simulations are disclosed. In some embodiments, a method includes receiving initial condition signals from circuitry in a chip, and correlating values of at least some of the initial condition signals with objects in a hardware description language (HDL) used in simulation, wherein the HDL was used in describing at least some of the circuitry in the chip. Still other embodiments involve memory substitutions. Replicated circuitry may be in the same chip(s) are the design circuitry or a different chip(s). Still other embodiments are described.
    Type: Grant
    Filed: May 8, 2008
    Date of Patent: June 17, 2014
    Assignee: Synopsys, Inc.
    Inventors: Chun Kit Ng, Richard C. Maixner, Mario Larouche, Kenneth S. McElvain
  • Patent number: 7984400
    Abstract: Various techniques involving snapshots of the contents of registers are described and claimed. In some embodiments, a method includes receiving descriptions of design circuitry including design registers to receive register input signals. The method also includes generating additional descriptions through at least one computer program including descriptions of additional registers (snapshot registers) to receive snapshots of the register input signals, wherein the additional registers provide register initial condition signals for use in a simulation of at least a portion of the design circuitry. Other embodiments are described.
    Type: Grant
    Filed: May 8, 2008
    Date of Patent: July 19, 2011
    Assignee: Synopsys, Inc.
    Inventors: Richard C. Maixner, Mario Larouche, Chun Kit Ng, Kenneth S. McElvain
  • Patent number: 7908574
    Abstract: Various techniques related to clocking for use with automated circuit design and simulations are disclosed. In some embodiments, a method includes receiving descriptions of design circuitry including logic to receive input signals. The method further includes generating additional descriptions through at least one computer program including descriptions of a multiplexer to multiplex the input signals and delayed input signals, and provide them to the logic, and a demultiplexer to demultiplex output signals and delayed output signals from the logic. Other embodiments are described.
    Type: Grant
    Filed: May 8, 2008
    Date of Patent: March 15, 2011
    Assignee: Synopsys, Inc.
    Inventors: Mario Larouche, Richard C. Maixner, Chun Kit Ng, Kenneth S. McElvain
  • Patent number: 7904859
    Abstract: Various techniques related to clocking signals used for automated circuit design and simulations are disclosed. In some embodiments, a method includes receiving first and second asynchronous clock signals having a first phase relationship at a first time, and sampling the second clock signal at transitions of the first clock. The method further includes storing the samples; and analyzing the samples to ascertain the first phase relationship of the second clock signal with respect to the first clock signal and provide a representation of the first phase relationship. Other embodiments are described.
    Type: Grant
    Filed: May 8, 2008
    Date of Patent: March 8, 2011
    Assignee: Synopsys, Inc.
    Inventors: Richard C. Maixner, Mario Larouche, Chun Kit Ng, Kenneth S. McElvain
  • Publication number: 20080313589
    Abstract: Various techniques related to clocking signals used for automated circuit design and simulations are disclosed. In some embodiments, a method includes receiving first and second asynchronous clock signals having a first phase relationship at a first time and sampling the second clock signal at transitions of the first clock. The method further includes storing the samples; and analyzing the samples to ascertain the first phase relationship of the second clock signal with respect to the first clock signal and provide a representation of the first phase relationship. Other embodiments are described.
    Type: Application
    Filed: May 8, 2008
    Publication date: December 18, 2008
    Inventors: Richard C. Maixner, Mario Larouche, Chun Kit Ng, Kenneth S. McElvain
  • Publication number: 20080313578
    Abstract: Various techniques involving snapshots of the contents of registers are described and claimed. In some embodiments, a method includes receiving descriptions of design circuitry including design registers to receive register input signals. The method also includes generating additional descriptions through at least one computer program including descriptions of additional registers (snapshot registers) to receive snapshots of the register input signals, wherein the additional registers provide register initial condition signals for use in a simulation of at least a portion of the design circuitry. Other embodiments are described.
    Type: Application
    Filed: May 8, 2008
    Publication date: December 18, 2008
    Inventors: Richard C. Maixner, Mario Larouche, Chun Kit Ng, Kenneth S. McElvain
  • Publication number: 20080313579
    Abstract: Various techniques related to clocking for use with automated circuit design and simulations are disclosed. In some embodiments, a method includes receiving descriptions of design circuitry including logic to receive input signals. The method further includes generating additional descriptions through at least one computer program including descriptions of a multiplexer to multiplex the input signals and delayed input signals, and provide them to the logic, and a demultiplexer to demultiplex output signals and delayed output signals from the logic. Other embodiments are described.
    Type: Application
    Filed: May 8, 2008
    Publication date: December 18, 2008
    Inventors: Mario Larouche, Richard C. Maixner, Chun Kit Ng, Kenneth S. McElvain
  • Publication number: 20080301601
    Abstract: Various techniques for use in connection with automated circuit design and simulations are disclosed. In some embodiments, a method includes receiving initial condition signals from circuitry in a chip, and correlating values of at least some of the initial condition signals with objects in a hardware description language (HDL) used in simulation, wherein the HDL was used in describing at least some of the circuitry in the chip. Still other embodiments involve memory substitutions. Replicated circuitry may be in the same chip(s) are the design circuitry or a different chip(s). Still other embodiments are described.
    Type: Application
    Filed: May 8, 2008
    Publication date: December 4, 2008
    Inventors: Chun Kit Ng, Richard C. Maixner, Mario Larouche, Kenneth S. McElvain
  • Patent number: 4241451
    Abstract: A single sideband signal can be demodulated by using sampled data techniques. An intermediate frequency (IF) radio signal is split into two branches and is sampled by two sample and hold devices; each sample and hold device operates at a rate that is not only a submultiple of the carrier frequency, but is also at least twice the information bandwidth. Prior to, or during sampling of one branch (the quadrature branch), a Hilbert's transform is performed upon the IF signal which results in the output of the two sample and hold devices being in phase quadrature. A phase shift of 90.degree., using a baseband finite impulse response Hilbert's transform filter, is performed upon the output signal of the quadrature branch's sample and hold device. The sum of the inphase sampled signal and the filtered quadrature phase sampled signal produces the demodulated lower sideband while the difference between the two produces the demodulated upper sideband.
    Type: Grant
    Filed: June 26, 1978
    Date of Patent: December 23, 1980
    Assignee: Rockwell International Corporation
    Inventors: Richard C. Maixner, Robert K. Marston, Khalil E. Massad