Adam B. Kinsman

Distributed Embedded Logic Analysis for Post-Silicon Validation of SOCs

Ho Fai Ko, Adam B. Kinsman, Nicola Nicolici · 2008 · 44 citations

Engineering, Computer Engineering, Computer Science +17

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

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

Computing, Computer Engineering, Computer Science +16

Finite precision bit-width allocation using SAT-modulo theory

Adam B. Kinsman, Nicola Nicolici · Design, Automation, and Test in Europe · 2009 · 40 citations

Computing, Computer Science, Mathematics +10

Numerical Data Representations for FPGA-Based Scientific Computing

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

Engineering, Computer Engineering, Computer Science +15

Finite Precision bit-width allocation using SAT-Modulo Theory

Adam B. Kinsman, Nicola Nicolici · 2009 · 27 citations

Computing, Computer Science, Mathematics +10