Issued Patents All Time
Showing 1–10 of 10 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 11427184 | Breadth first search-depth first search three dimensional rapid exploring random tree search with physical constraints | Mengting Tsai | 2022-08-30 |
| 9043737 | Integrated circuit design verification through forced clock glitches | Jayanta Bahadra, Xiushan Feng | 2015-05-26 |
| 6772370 | Method and apparatus for generation of pipeline hazard test sequences | John C. Chan | 2004-08-03 |
| 6751759 | Method and apparatus for pipeline hazard detection | Chi Huy Duong, Joseph P. Gergen | 2004-06-15 |
| 6282681 | Method and apparatus for testing finite state machine (FSM) conformance utilizing unique input/output sequence (UIO) sets | Carmie A. Hull | 2001-08-28 |
| 6004027 | Method and apparatus for constructing test subsequence graphs utilizing unique input/output sequence (UIO) sets | Carmie A. Hull | 1999-12-21 |
| 5796752 | Method and apparatus for constructing verification test sequences by euler touring a test subsequence graph | Carmie A. Hull | 1998-08-18 |
| 5703885 | Method and apparatus for constructing verification test sequences by merging and touring hierarchical unique input/output sequence (UIO) based test subsequence graphs | Carmie A. Hull | 1997-12-30 |
| 5630051 | Method and apparatus for merging hierarchical test subsequence and finite state machine (FSM) model graphs | Carmie A. Hull | 1997-05-13 |
| 5555270 | Method and apparatus for constructing unique input/output sequence (UIO) sets utilizing transition distinctness measurements | Carmie A. Hull | 1996-09-10 |