 | 2009 |
| 6 |  | Adam B. Kinsman,
Nicola Nicolici:
Finite Precision bit-width allocation using SAT-Modulo Theory.
DATE 2009: 1106-1111 |
| 2008 |
| 5 |  | R. Mafi,
Shahin Sirouspour,
B. Moody,
B. Mahdavikhah,
K. Elizeh,
Adam B. Kinsman,
Nicola Nicolici,
Mahyar Fotoohi,
D. Madill:
Hardware-based parallel computing for real-time haptic rendering of deformable objects.
IROS 2008: 4187 |
| 4 |  | Adam B. Kinsman,
Nicola Nicolici:
Embedded Deterministic Test Exploiting Care Bit Clustering and Seed Borrowing.
ISQED 2008: 832-837 |
| 2006 |
| 3 |  | Adam B. Kinsman,
Scott Ollivierre,
Nicola Nicolici:
Diagnosis of Logic Circuits Using Compressed Deterministic Data and On-Chip Response Comparison.
IEEE Trans. VLSI Syst. 14(5): 537-548 (2006) |
| 2004 |
| 2 |  | Scott Ollivierre,
Adam B. Kinsman,
Nicola Nicolici:
Compressed Embedded Diagnosis of Logic Cores.
ICCD 2004: 534-539 |
| 2003 |
| 1 |  | Adam B. Kinsman,
Jonathan I. Hewitt,
Nicola Nicolici:
Embedded Compact Deterministic Test for IP-Protected Cores.
DFT 2003: 519- |