Prabhat Mishra - Böcker

Processor Description Languages

Functional Verification of Programmable Embedded Architectures

A Top-Down Approach

Dynamic Reconfiguration in Real-Time Systems

Energy, Performance, and Thermal Perspectives

System-Level Validation

High-Level Modeling and Directed Test Generation Techniques

Functional Verification of Programmable Embedded Architectures

A Top-Down Approach

System-Level Validation

High-Level Modeling and Directed Test Generation Techniques

Dynamic Reconfiguration in Real-Time Systems

Energy, Performance, and Thermal Perspectives

Post-Silicon Validation and Debug

System-on-Chip Security

Validation and Verification

System-on-Chip Security

Validation and Verification

Network-on-Chip Security and Privacy

Network-on-Chip Security and Privacy

Explainable AI for Cybersecurity

Explainable AI for Cybersecurity

Design Automation for Quantum Computing

Hardware IP Security and Trust

Hardware IP Security and Trust

Post-Silicon Validation and Debug

Contemporary Computing

Third International Conference, IC3 2010, Noida, India, August 9-11, 2010. Proceedings, Part II

Contemporary Computing

Third International Conference, IC3 2010, Noida, India, August 9-11, 2010. Proceedings, Part I