Adam B. Kinsman

发表

Bit-Width Allocation for Hardware Accelerators for Scientific Computing Using SAT-Modulo Theory

Nicola Nicolici, Adam B. Kinsman, N. Nicolici, 2010, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

A computational approach to custom data representation for hardware accelerators

Adam B. Kinsman, 2010 .

Computational bit-width allocation for operations in vector calculus

Nicola Nicolici, Adam B. Kinsman, 2009, 2009 IEEE International Conference on Computer Design.

Automated Range and Precision Bit-Width Allocation for Iterative Computations

Nicola Nicolici, Adam B. Kinsman, 2011, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

Trade-Offs in Test Data Compression and Deterministic X-Masking of Responses

Nicola Nicolici, Adam B. Kinsman, 2011, IEEE Transactions on Computers.

Time-multiplexed test data decompression architecture for core-based SOCs with improved utilization of tester channels

Nicola Nicolici, Adam B. Kinsman, 2005, European Test Symposium (ETS'05).

Finite Precision bit-width allocation using SAT-Modulo Theory

Nicola Nicolici, Adam B. Kinsman, 2009, 2009 Design, Automation & Test in Europe Conference & Exhibition.

Hardware-efficient on-chip generation of time-extensive constrained-random sequences for in-system validation

Nicola Nicolici, Ho Fai Ko, Adam B. Kinsman, 2013, 2013 50th ACM/EDAC/IEEE Design Automation Conference (DAC).

Hardware-based parallel computing for real-time haptic rendering of deformable objects

Shahin Sirouspour, Nicola Nicolici, Mahyar Fotoohi, 2008, 2008 IEEE/RSJ International Conference on Intelligent Robots and Systems.

Distributed Embedded Logic Analysis for Post-Silicon Validation of SOCs

Nicola Nicolici, Ho Fai Ko, Adam B. Kinsman, 2008, 2008 IEEE International Test Conference.

Compressed embedded diagnosis of logic cores

Nicola Nicolici, Adam B. Kinsman, Scott Ollivierre, 2004, IEEE International Conference on Computer Design: VLSI in Computers and Processors, 2004. ICCD 2004. Proceedings..

Robust design methods for hardware accelerators for iterative algorithms in scientific computing

Nicola Nicolici, Adam B. Kinsman, 2010, Design Automation Conference.

Time-Multiplexed Compressed Test of SOC Designs

Nicola Nicolici, Adam B. Kinsman, 2010, IEEE Transactions on Very Large Scale Integration (VLSI) Systems.

A Parallel Computing Platform for Real-Time Haptic Interaction with Deformable Bodies

Shahin Sirouspour, Nicola Nicolici, Adam B. Kinsman, 2010, IEEE Transactions on Haptics.

Embedded Deterministic Test Exploiting Care Bit Clustering and Seed Borrowing

Nicola Nicolici, Adam B. Kinsman, 2008, 9th International Symposium on Quality Electronic Design (isqed 2008).

Design-for-Debug Architecture for Distributed Embedded Logic Analysis

Nicola Nicolici, Ho Fai Ko, Adam B. Kinsman, 2011, IEEE Transactions on Very Large Scale Integration (VLSI) Systems.

Diagnosis of logic circuits using compressed deterministic data and on-chip response comparison

Nicola Nicolici, Adam B. Kinsman, Scott Ollivierre, 2006, IEEE Transactions on Very Large Scale Integration (VLSI) Systems.

Numerical Data Representations for FPGA-Based Scientific Computing

George A. Constantinides, Nicola Nicolici, Adam B. Kinsman, 2011, IEEE Design & Test of Computers.

Embedded compact deterministic test for IP-protected cores

Nicola Nicolici, Adam B. Kinsman, Jonathan I. Hewitt, 2003, Proceedings 18th IEEE Symposium on Defect and Fault Tolerance in VLSI Systems.

A VLSI Architecture and the FPGA Prototype for MPEG-2 Audio/Video Decoding

Nicola Nicolici, Adam B. Kinsman, 2011, IEEE Transactions on Very Large Scale Integration (VLSI) Systems.

Computational Vector-Magnitude-Based Range Determination for Scientific Abstract Data Types

Nicola Nicolici, Adam B. Kinsman, 2011, IEEE Transactions on Computers.

In-system constrained-random stimuli generation for post-silicon validation

Nicola Nicolici, Ho Fai Ko, Adam B. Kinsman, 2012, 2012 IEEE International Test Conference.