Patent | Date |
---|
Copper-nickel-tin alloy, method for the production and use thereof Grant 11,041,233 - Weber June 22, 2 | 2021-06-22 |
Copper-nickel-tin alloy, method for the production and use thereof Grant 11,035,030 - Weber June 15, 2 | 2021-06-15 |
Copper-nickel-tin alloy, method for the production and use thereof Grant 11,035,025 - Weber June 15, 2 | 2021-06-15 |
Copper-nickel-tin alloy, method for the production thereof and use thereof Grant 11,035,024 - Weber June 15, 2 | 2021-06-15 |
Copper alloy containing tin, method for producing same, and use of same Grant 11,028,463 - Weber June 8, 2 | 2021-06-08 |
Load register on condition immediate instruction Grant 11,010,160 - Gellerich , et al. May 18, 2 | 2021-05-18 |
Copper-nickel-tin alloy, method for the production and use thereof Grant 10,982,302 - Weber April 20, 2 | 2021-04-20 |
Copper-nickel-tin Alloy, Method For The Production Thereof And Use Thereof App 20200277686 - WEBER; Kai | 2020-09-03 |
Copper-nickel-tin Alloy, Method For The Production And Use Thereof App 20200248293 - Kind Code | 2020-08-06 |
Copper-nickel-tin Alloy, Method For The Production And Use Thereof App 20200208240 - WEBER; Kai | 2020-07-02 |
Copper Alloy Containing Tin, Method For Producing Same, And Use Of Same App 20200181738 - WEBER; Kai | 2020-06-11 |
Copper-nickel-tin Alloy, Method For The Production Thereof And Use Thereof App 20190300985 - WEBER; Kai | 2019-10-03 |
Copper-nickel-tin Alloy, Method For The Production And Use Thereof App 20190264312 - WEBER; Kai | 2019-08-29 |
Load Register On Condition Immediate Instruction App 20190187989 - Gellerich; Wolfgang ;   et al. | 2019-06-20 |
Copper-nickel-tin Alloy, Method For The Production And Use Thereof App 20190161833 - WEBER; Kai | 2019-05-30 |
Copper-nickel-tin Alloy, Method For The Production And Use Thereof App 20190153564 - WEBER; Kai | 2019-05-23 |
Copper-nickel-tin Alloy, Method For The Production And Use Thereof App 20190136357 - WEBER; Kai | 2019-05-09 |
Load register on condition immediate or immediate instruction Grant 10,235,168 - Gellerich , et al. | 2019-03-19 |
Copper Alloy Containing Tin, Method For Producing Same, And Use Of Same App 20190062876 - WEBER; Kai | 2019-02-28 |
Copper Alloy Containing Tin, Method For Producing Same, And Use Of Same App 20190062875 - WEBER; Kai | 2019-02-28 |
Electrical Connection Element App 20170204501 - ALLMENDINGER; Timo ;   et al. | 2017-07-20 |
Data processing in a multiple processor system to maintain multiple processor cache memory access coherency Grant 9,594,683 - Dittrich , et al. March 14, 2 | 2017-03-14 |
Load Register On Condition Immediate Or Immediate Instruction App 20160139923 - Gellerich; Wolfgang ;   et al. | 2016-05-19 |
Load register on condition with zero or immediate instruction Grant 9,329,863 - Gellerich , et al. May 3, 2 | 2016-05-03 |
Firmware and hardware verification using Opcode comparison Grant 9,218,442 - Krygowski , et al. December 22, 2 | 2015-12-22 |
Data Processing In A Multiple Processor System App 20150154116 - Dittrich; Jens ;   et al. | 2015-06-04 |
Verifying a processor design using a processor simulation model Grant 8,600,724 - Letz , et al. December 3, 2 | 2013-12-03 |
Conditional Immediate Value Loading Instructions App 20130246760 - Gellerich; Wolfgang ;   et al. | 2013-09-19 |
Verifying Simulation Design Modifications App 20130096901 - Gellerich; Wolfgang ;   et al. | 2013-04-18 |
Verifying a register-transfer level design of an execution unit Grant 8,402,403 - Letz , et al. March 19, 2 | 2013-03-19 |
Verifying A Processor Design Using A Processor Simulation Model App 20120284007 - Letz; Stefan ;   et al. | 2012-11-08 |
Copper-tin Multicomponent Bronze Containing Hard Phases, Production Process And Use App 20120258809 - Weber; Kai | 2012-10-11 |
Verifying a processor design using a processor simulation model Grant 8,249,848 - Letz , et al. August 21, 2 | 2012-08-21 |
Verification Using Opcode Compare App 20110320783 - Krygowski; Christopher A. ;   et al. | 2011-12-29 |
Verifying a Register-Transfer Level Design of an Execution Unit App 20110154110 - Letz; Stefan ;   et al. | 2011-06-23 |
Method and system for formal verification of an electronic circuit design Grant 7,890,903 - Weber , et al. February 15, 2 | 2011-02-15 |
Test case generation with backward propagation of predefined results and operand dependencies Grant 7,865,793 - Letz , et al. January 4, 2 | 2011-01-04 |
Method And System For Formal Verification Of An Electronic Circuit Design App 20090300560 - Weber; Kai ;   et al. | 2009-12-03 |
Method, System, computer program product and data processing program for verifying a processor Design App 20090063829 - Letz; Stefan ;   et al. | 2009-03-05 |
Copper-zinc alloy, production method and use App 20090022620 - Weber; Kai | 2009-01-22 |
Method And System For Optimized Automated Case-splitting Via Constraints In A Symbolic Simulation Framework App 20080092096 - BAUMGARTNER; JASON Raymond ;   et al. | 2008-04-17 |
Method and system for optimized automated case-splitting via constraints in a symbolic simulation framework Grant 7,340,704 - Baumgartner , et al. March 4, 2 | 2008-03-04 |
Method and system for performing functional verification of logic circuits Grant 7,302,656 - Weber , et al. November 27, 2 | 2007-11-27 |
Method and System for Performing Functional Formal Verification of Logic Circuits App 20070050740 - Jacobi; Christian ;   et al. | 2007-03-01 |
Leading-Zero Counter and Method to Count Leading Zeros App 20070050435 - Jacobi; Christian ;   et al. | 2007-03-01 |
Method and system for performing functional verification of logic circuits App 20070011633 - Weber; Kai ;   et al. | 2007-01-11 |
Method and system for optimized automated case-splitting via constraints in a symbolic simulation framework App 20060294481 - Baumgartner; Jason Raymond ;   et al. | 2006-12-28 |