| 12158770 |
Power-efficient enable signal for fanin-based sequential clock gating on enabled flip flops |
Wladimir Plagges, Esteban Osses |
2024-12-03 |
| 10628545 |
Providing guidance to an equivalence checker when a design contains retimed registers |
Darren Charles Cronquist, Peter Wilhelm Josef Zepter, Navneet Kakkar, Sridhar Keladi |
2020-04-21 |
| 8453083 |
Transformation of IC designs for formal verification |
Peter Wilhelm Josef Zepter |
2013-05-28 |
| 8443317 |
Transformation of IC designs for formal verification |
Peter Wilhelm Josef Zepter |
2013-05-14 |
| 6317509 |
Computed tomography apparatus and method for classifying objects |
Sergey Simanovsky, Ibrahim M. Bechwati, Carl R. Crawford |
2001-11-13 |
| 6272230 |
Apparatus and method for optimizing detection of objects in computed tomography data |
Ibrahim M. Bechwati, Sergey Simanovsky, Carl R. Crawford |
2001-08-07 |
| 6185272 |
Architecture for CT scanning system |
Sergey Simanovsky, Ibrahim M. Bechwati, Carl R. Crawford |
2001-02-06 |
| 6128365 |
Apparatus and method for combining related objects in computed tomography data |
Ibrahim M. Bechwati, Sergey Simanovsky, Carl R. Crawford |
2000-10-03 |
| 6111974 |
Apparatus and method for detecting sheet objects in computed tomography data |
Ibrahim M. Bechwati, Sergey Simanovsky, Carl R. Crawford |
2000-08-29 |
| 6108396 |
Apparatus and method for correcting object density in computed tomography data |
Ibrahim M. Bechwati, Sergey Simanovsky, Carl R. Crawford |
2000-08-22 |
| 6076400 |
Apparatus and method for classifying objects in computed tomography data using density dependent mass thresholds |
Ibrahim M. Bechwati, Sergey Simanovsky, Carl R. Crawford |
2000-06-20 |
| 6078642 |
Apparatus and method for density discrimination of objects in computed tomography data using multiple density ranges |
Sergey Simanovsky, Ibrahim M. Bechwati, Carl R. Crawford |
2000-06-20 |
| 6075871 |
Apparatus and method for eroding objects in computed tomography data |
Sergey Simanovsky, Ibrahim M. Bechwati, Carl R. Crawford |
2000-06-13 |
| 6067366 |
Apparatus and method for detecting objects in computed tomography data using erosion and dilation of objects |
Sergey Simanovsky, Ibrahim M. Bechwati, Carl R. Crawford |
2000-05-23 |
| 6035014 |
Multiple-stage apparatus and method for detecting objects in computed tomography data |
Ibrahim M. Bechwati, Sergey Simanovsky, Carl R. Crawford |
2000-03-07 |
| 6026143 |
Apparatus and method for detecting sheet objects in computed tomography data |
Sergey Simanovsky, Ibrahim M. Bechwati, Carl R. Crawford |
2000-02-15 |
| 6026171 |
Apparatus and method for detection of liquids in computed tomography data |
Ibrahim M. Bechwati, Sergey Simanovsky, Carl R. Crawford |
2000-02-15 |