Past Students Krishna Sekar PhD '05 Publications Abstraction of Word-level Linear Arithmetic Functions from Bit-level Component Descriptions, Configurable Platforms With Dynamic Platform Management: An Efficient Alternative to Application-Specific System-on-Chips Design for Verification at the Register Transfer Level Dynamic Platform Management for Configurable Platform-Based System-on-Chips Dynamically configurable bus topologies for high-performance on-chip communication Embedded Hardware and Software Self-Testing Methodologies for Processor Cores, FLEXBUS: A High Performance System-on-Chip Communication Architecture with a Dynamically Configurable Topology Integrated Data Relocation and Bus Reconfiguration for Adaptive SoC Platforms LI-BIST: A Low-Cost Self-Test Scheme for SoC Logic Cores and Interconnects, LI-BIST: A Low-Cost Self-Test Scheme for SoC Logic Cores and Interconnects, Using a Soft Core in a SOC Design: Experiences with PicoJava,