Inventor
KRAUTZ UDO
DE12 patents
Patents
12 patentsUS9483591B1Nov 1, 2016
Assuring chip reliability with automatic generation of drivers and assertions
IBM6 citations82
US9471327B2Oct 18, 2016
Verifying forwarding paths in pipelines
IBM7 citations82
US9459878B2Oct 4, 2016
Verifying forwarding paths in pipelines
IBM6 citations82
US7890903B2Feb 15, 2011
Method and system for formal verification of an electronic circuit design
IBM8 citations82
US10303438B2May 28, 2019
Fused-multiply-add floating-point operations on 128 bit wide operands
IBM2 citations71
US9274791B2Mar 1, 2016
Verification of a vector execution unit design
IBM3 citations71
US8918747B2Dec 23, 2014
Formal verification of a logic design
IBM5 citations66
US9703907B2Jul 11, 2017
RAS evaluation for circuit element
IBM0 citations51
US9569573B1Feb 14, 2017
RAS evaluation for circuit element
IBM0 citations51
US9600616B1Mar 21, 2017
Assuring chip reliability with automatic generation of drivers and assertions
IBM1 citations50
US9268563B2Feb 23, 2016
Verification of a vector execution unit design
IBM0 citations50
US7949968B2May 24, 2011
Method and system for building binary decision diagrams optimally for nodes in a netlist graph using don't-caring
IBM0 citations38