David L. Landis

Publication Activity (10 Years)

Years Active: 1987-2012
Publications (10 Years): 0

Top Topics

Design Automation

Symbolic Execution

Static Analysis

Mutation Testing

Top Venues

ACM Trans. Design Autom. Electr. Syst.

Publications

Padmaraj Singh, Vijaykrishnan Narayanan, David L. Landis
Hazard driven test generation for SMT processors. DATE (2012)
Padmaraj Singh, Vijaykrishnan Narayanan, David L. Landis
Targeted random test generation for power-aware multicore designs. ACM Trans. Design Autom. Electr. Syst. 17 (3) (2012)
Padmaraj Singh, David L. Landis
Test Generation for CMP Designs. MTV (2010)
Padmaraj Singh, David L. Landis, Vijaykrishnan Narayanan
Test Generation for Precise Interrupts on Out-of-Order Microprocessors. MTV (2009)
Herman Schmit, Thomas Kroll, Max Khusid, Ivan S. Kourtev, Narayanan Vijaykrishnan, David L. Landis
The Sandbox Design Experience Course. MSE (2003)
Ivan S. Kourtev, Raymond R. Hoare, Steven P. Levitan, Tom Cain, Bruce R. Childers, Donald M. Chiarulli, David L. Landis
Short Courses in System-on-a-Chip (SoC) Design. MSE (2003)
David L. Landis, James T. Cain
Microelectronics Education As Workforce Development. MSE (2003)
Bassam Shaer, Sami A. Al-Arian, David L. Landis
Partitioning sequential circuits for pseudoexhaustive testing. IEEE Trans. Very Large Scale Integr. Syst. 8 (5) (2000)
Bassam Shaer, David L. Landis, Sami A. Al-Arian
Partitioning algorithm to enhance pseudoexhaustive testing of digital VLSI circuits. IEEE Trans. Very Large Scale Integr. Syst. 8 (6) (2000)
David L. Landis
Using RASSP Modules in a Rapid System Prototyping Class. MSE (1999)
David L. Landis, Praveen Guddeti, Paul T. Hulina, Lee D. Coraor
Language-Based Rapid Prototyping Methods for Legacy System Re-Engineering and Re-Use. IEEE International Workshop on Rapid System Prototyping (1999)
David L. Landis, Paul T. Hulina, Scott Deno, Luke Roth, Lee D. Coraor
Evaluation of Computing in Memory Architectures for Digital Image Processing Applications. ICCD (1999)
Luke Roth, Lee D. Coraor, David L. Landis, Paul T. Hulina, Scott Deno
Computing in Memory Architectures for Digital Image Processing. MTDT (1999)
Bassam Shaer, Sami A. Al-Arian, David L. Landis
Pseudo-Exhaustive Testing of Sequential Circuits. Great Lakes Symposium on VLSI (1999)
Scott Deno, David L. Landis, Paul T. Hulina, Sanjay Balasubramanian
A Rapid Prototyping Methodology for Reverse Engineering of Legacy Electronic Systems. IEEE International Workshop on Rapid System Prototyping (1999)
Bassam Shaer, Sami A. Al-Arian, David L. Landis
Partitioning algorithm to enhance VLSI testability. ACM Southeast Regional Conference (1998)
David L. Landis, Paul T. Hulina
A WWW facilitated rapid system prototyping class. MSE (1997)
Paul T. Hulina, David L. Landis
An electronics manufacturing minor in engineering with emphasis on rapid prototyping. MSE (1997)
Stephan P. Athan, David L. Landis, Sami A. Al-Arian
testing of deep submicron CMOS ICs. VTS (1996)
David L. Landis, Nitin Nigam, Joseph W. Yoder
Wafer-Scale Optimization Using Computational Availability. Computer 25 (4) (1992)
David L. Landis
A test methodology for wafer scale system. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 11 (1) (1992)
David L. Landis, Chuck Hudson, Patrick F. McHugh
Applications of the IEEE P1149.5 Module Test and Maintenance Bus. ITC (1992)
Vijay K. Jain, David L. Landis, David C. Keezer, K. T. Wilson, D. Whittaker
Wafer Scale Integration: A university perspective. J. VLSI Signal Process. 2 (4) (1991)
David L. Landis, Padmaraj Singh
Optimal placement of IEEE 1149.1 test port and boundary scan resources for wafer scale integration. ITC (1990)
Vijay K. Jain, David L. Landis, C. E. Alvarez
Systolic L-U decomposition array with a new reciprocal cell. ICCD (1989)
David L. Landis
A Self-Test System Architecture for Reconfigurable WSI. ITC (1989)
David L. Landis, Daniel C. Muha
Evaluation of System BIST Using Computational Performance Measures. ITC (1988)
David L. Landis, Daniel C. Muha, William A. Check
Influence of Built-In Self Test on the Performance of Fault Tolerant VLSI Multiprocessors. ICPP (1987)