Patents by Inventor Bogdan Craciun

Bogdan Craciun 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).

  • Optimizing the ordering of the inputs to large commutative-associative trees of logic gates
    Patent number: 10331834
    Abstract: A method of optimizing a netlist for a circuit comprising identifying a logic tree with a single output and a plurality of interchangeable inputs, and calculate the optimal permutation of the plurality of inputs. The method further comprising modify the netlist based on the optimal permutation, and optimizing the modified netlist.
    Type: Grant
    Filed: June 22, 2017
    Date of Patent: June 25, 2019
    Assignee: Synopsys, Inc.
    Inventors: Bogdan Craciun, Brent Gregory, Jaime Wong, William Clark Naylor, Jr.
  • Optimizing The Ordering Of The Inputs To Large Commutative-Associative Trees Of Logic Gates
    Publication number: 20180004862
    Abstract: A method of optimizing a netlist for a circuit comprising identifying a logic tree with a single output and a plurality of interchangeable inputs, and calculate the optimal permutation of the plurality of inputs. The method further comprising modify the netlist based on the optimal permutation, and optimizing the modified netlist.
    Type: Application
    Filed: June 22, 2017
    Publication date: January 4, 2018
    Applicant: Synopsys, Inc.
    Inventors: Bogdan Craciun, Brent Gregory, Jaime Wong, William Clark Naylor, JR.
  • Automation method and system for assessing timing based on gaussian slack
    Patent number: 8146047
    Abstract: An automated design process using a computer system includes identifying a set of timing endpoints in a circuit defined by a machine-readable file. Values of slack in the estimated arrival times for the timing endpoints are assigned. Probability distribution functions, such as Gaussian distributions, are assigned for the respective values of slack, and are combined. The combination of probability distribution functions represents a measure of circuit performance. The measure is computed for alternative implementations of the circuit, and used to identify an alternative more likely to meet timing constraints.
    Type: Grant
    Filed: December 22, 2008
    Date of Patent: March 27, 2012
    Assignee: Synopsys, Inc.
    Inventors: Brent Gregory, William C. Naylor, Jr., Bogdan Craciun
  • DESIGN AUTOMATION METHOD AND SYSTEM FOR ASSESSING TIMING BASED ON GAUSSIAN SLACK
    Publication number: 20090106722
    Abstract: An automated design process using a computer system includes identifying a set of timing endpoints in a circuit defined by a machine-readable file. Values of slack in the estimated arrival times for the timing endpoints are assigned. Probability distribution functions, such as Gaussian distributions, are assigned for the respective values of slack, and are combined. The combination of probability distribution functions represents a measure of circuit performance. The measure is computed for alternative implementations of the circuit, and used to identify an alternative more likely to meet timing constraints.
    Type: Application
    Filed: December 22, 2008
    Publication date: April 23, 2009
    Applicant: SYNOPSYS, INC.
    Inventors: Brent Gregory, William C. Naylor, JR., Bogdan Craciun
  • Automation method and system for assessing timing based on Gaussian slack
    Patent number: 7484194
    Abstract: An automated design process using a computer system includes identifying a set of timing endpoints in a circuit defined by a machine-readable file. Values of slack in the estimated arrival times for the timing endpoints are assigned. Probability distribution functions, such as Gaussian distributions, are assigned for the respective values of slack, and are combined. The combination of probability distribution functions represents a measure of circuit performance. The measure is computed for alternative implementations of the circuit, and used to identify an alternative more likely to meet timing constraints.
    Type: Grant
    Filed: July 18, 2005
    Date of Patent: January 27, 2009
    Assignee: Synopsys, Inc.
    Inventors: Brent Gregory, William C Naylor, Jr., Bogdan Craciun
  • Automation method and system for assessing timing based on Gaussian slack
    Publication number: 20070016881
    Abstract: An automated design process using a computer system includes identifying a set of timing endpoints in a circuit defined by a machine-readable file. Values of slack in the estimated arrival times for the timing endpoints are assigned. Probability distribution functions, such as Gaussian distributions, are assigned for the respective values of slack, and are combined. The combination of probability distribution functions represents a measure of circuit performance. The measure is computed for alternative implementations of the circuit, and used to identify an alternative more likely to meet timing constraints.
    Type: Application
    Filed: July 18, 2005
    Publication date: January 18, 2007
    Applicant: SYNOPSYS, INC.
    Inventors: Brent Gregory, William Naylor, Bogdan Craciun