Prabhat Mishra – författare

Visar alla böcker från författaren . Handla med fri frakt och snabb leverans.

33 produkter

Kategorier

33 produkter

Processor Description Languages
AvNikil Dutt,Prabhat Mishra
E-bok
PDF, Engelska, 2011
900 kr
Läs direkt efter köp
Efficient design of embedded processors plays a critical role in embedded systems design. Processor description languages and their associated specification, exploration and rapid prototyping methodologies are used to find the best possible design for a given set of applications under various design constraints, such as area, power and performance. This book is the first, comprehensive survey of modern architecture description languages and will be an invaluable reference for embedded system architects, designers, developers, and validation engineers. Readers will see that the use of particular architecture description languages will lead to productivity gains in designing particular (application-specific) types of embedded processors.* Comprehensive coverage of all modern architecture description languages... use the right ADL to design your processor to fit your application;* Most up-to-date information available about each architecture description language from the developers...save time chasing down reliable documentation;* Describes how each architecture desccription language enables key design automation tasks, such as simulation, synthesis and testing...fit the ADL to your design cycle;
Del 1 - Systems on Silicon
Processor Description Languages
AvPrabhat Mishra,Nikil Dutt
Inbunden, Engelska, 2008
880 kr
Skickas inom 10-15 vardagar
Efficient design of embedded processors plays a critical role in embedded systems design. Processor description languages and their associated specification, exploration and rapid prototyping methodologies are used to find the best possible design for a given set of applications under various design constraints, such as area, power and performance. This book is the first, comprehensive survey of modern architecture description languages and will be an invaluable reference for embedded system architects, designers, developers, and validation engineers. Readers will see that the use of particular architecture description languages will lead to productivity gains in designing particular (application-specific) types of embedded processors.Comprehensive coverage of all modern architecture description languages... use the right ADL to design your processor to fit your applicationMost up-to-date information available about each architecture description language from the developers...save time chasing down reliable documentationDescribes how each architecture desccription language enables key design automation tasks, such as simulation, synthesis and testing...fit the ADL to your design cycle
Functional Verification of Programmable Embedded Architectures
A Top-Down Approach
AvPrabhat Mishra,Nikil D. Dutt
Inbunden, Engelska, 2005
1 116 kr
Skickas inom 10-15 vardagar
It is widely acknowledged that the cost of validation and testing comprises a s- nificant percentage of the overall development costs for electronic systems today, and is expected to escalate sharply in the future. Many studies have shown that up to 70% of the design development time and resources are spent on functional verification. Functional errors manifest themselves very early in the design flow, and unless they are detected up front, they can result in severe consequence- both financially and from a safety viewpoint. Indeed, several recent instances of high-profile functional errors (e. g. , the Pentium FDIV bug) have resulted in - creased attention paid to verifying the functional correctness of designs. Recent efforts have proposed augmenting the traditional RTL simulation-based validation methodology with formal techniques in an attempt to uncover hard-to-find c- ner cases, with the goal of trying to reach RTL functional verification closure. However, what is often not highlighted is the fact that in spite of the tremendous time and effort put into such efforts at the RTL and lower levels of abstraction, the complexity of contemporary embedded systems makes it difficult to guarantee functional correctness at the system level under all possible operational scenarios. The problem is exacerbated in current System-on-Chip (SOC) design meth- ologies that employ Intellectual Property (IP) blocks composed of processor cores, coprocessors, and memory subsystems. Functional verification becomes one of the major bottlenecks in the design of such systems.
Functional Verification of Programmable Embedded Architectures
A Top-Down Approach
AvNikil D. Dutt,Prabhat Mishra
E-bok
PDF, Engelska, 2005
1 413 kr
Läs direkt efter köp
It is widely acknowledged that the cost of validation and testing comprises a s- nificant percentage of the overall development costs for electronic systems today, and is expected to escalate sharply in the future. Many studies have shown that up to 70% of the design development time and resources are spent on functional verification. Functional errors manifest themselves very early in the design flow, and unless they are detected up front, they can result in severe consequence- both financially and from a safety viewpoint. Indeed, several recent instances of high-profile functional errors (e. g. , the Pentium FDIV bug) have resulted in - creased attention paid to verifying the functional correctness of designs. Recent efforts have proposed augmenting the traditional RTL simulation-based validation methodology with formal techniques in an attempt to uncover hard-to-find c- ner cases, with the goal of trying to reach RTL functional verification closure. However, what is often not highlighted is the fact that in spite of the tremendous time and effort put into such efforts at the RTL and lower levels of abstraction, the complexity of contemporary embedded systems makes it difficult to guarantee functional correctness at the system level under all possible operational scenarios. The problem is exacerbated in current System-on-Chip (SOC) design meth- ologies that employ Intellectual Property (IP) blocks composed of processor cores, coprocessors, and memory subsystems. Functional verification becomes one of the major bottlenecks in the design of such systems.
Del 4 - Embedded Systems
Dynamic Reconfiguration in Real-Time Systems
Energy, Performance, and Thermal Perspectives
AvWeixun Wang,Prabhat Mishram. fl.
Inbunden, Engelska, 2012
1 084 kr
Skickas inom 10-15 vardagar
Given the widespread use of real-time multitasking systems, there are tremendous optimization opportunities if reconfigurable computing can be effectively incorporated while maintaining performance and other design constraints of typical applications. The focus of this book is to describe the dynamic reconfiguration techniques that can be safely used in real-time systems. This book provides comprehensive approaches by considering synergistic effects of computation, communication as well as storage together to significantly improve overall performance, power, energy and temperature.
Dynamic Reconfiguration in Real-Time Systems
Energy, Performance, and Thermal Perspectives
AvSanjay Ranka,Prabhat Mishram. fl.
E-bok
PDF, Engelska, 2012
1 413 kr
Läs direkt efter köp
Given the widespread use of real-time multitasking systems, there are tremendous optimization opportunities if reconfigurable computing can be effectively incorporated while maintaining performance and other design constraints of typical applications. The focus of this book is to describe the dynamic reconfiguration techniques that can be safely used in real-time systems. This book provides comprehensive approaches by considering synergistic effects of computation, communication as well as storage together to significantly improve overall performance, power, energy and temperature.
System-Level Validation
High-Level Modeling and Directed Test Generation Techniques
AvMingsong Chen,Xiaoke Qinm. fl.
Inbunden, Engelska, 2012
1 084 kr
Skickas inom 10-15 vardagar
This book covers state-of-the art techniques for high-level modeling and validation of complex hardware/software systems, including those with multicore architectures. Readers will learn to avoid time-consuming and error-prone validation from the comprehensive coverage of system-level validation, including high-level modeling of designs and faults, automated generation of directed tests, and efficient validation methodology using directed tests and assertions. The methodologies described in this book will help designers to improve the quality of their validation, performing as much validation as possible in the early stages of the design, while reducing the overall validation effort and cost.
System-Level Validation
High-Level Modeling and Directed Test Generation Techniques
AvPrabhat Mishra,Heon-Mo Koom. fl.
E-bok
PDF, Engelska, 2012
1 413 kr
Läs direkt efter köp
This book covers state-of-the art techniques for high-level modeling and validation of complex hardware/software systems, including those with multicore architectures. Readers will learn to avoid time-consuming and error-prone validation from the comprehensive coverage of system-level validation, including high-level modeling of designs and faults, automated generation of directed tests, and efficient validation methodology using directed tests and assertions. The methodologies described in this book will help designers to improve the quality of their validation, performing as much validation as possible in the early stages of the design, while reducing the overall validation effort and cost.
Functional Verification of Programmable Embedded Architectures
A Top-Down Approach
AvPrabhat Mishra,Nikil D. Dutt
Häftad, Engelska, 2014
1 084 kr
Skickas inom 10-15 vardagar
It is widely acknowledged that the cost of validation and testing comprises a s- nificant percentage of the overall development costs for electronic systems today, and is expected to escalate sharply in the future. Many studies have shown that up to 70% of the design development time and resources are spent on functional verification. Functional errors manifest themselves very early in the design flow, and unless they are detected up front, they can result in severe consequence- both financially and from a safety viewpoint. Indeed, several recent instances of high-profile functional errors (e. g. , the Pentium FDIV bug) have resulted in - creased attention paid to verifying the functional correctness of designs. Recent efforts have proposed augmenting the traditional RTL simulation-based validation methodology with formal techniques in an attempt to uncover hard-to-find c- ner cases, with the goal of trying to reach RTL functional verification closure. However, what is often not highlighted is the fact that in spite of the tremendous time and effort put into such efforts at the RTL and lower levels of abstraction, the complexity of contemporary embedded systems makes it difficult to guarantee functional correctness at the system level under all possible operational scenarios. The problem is exacerbated in current System-on-Chip (SOC) design meth- ologies that employ Intellectual Property (IP) blocks composed of processor cores, coprocessors, and memory subsystems. Functional verification becomes one of the major bottlenecks in the design of such systems.
System-Level Validation
High-Level Modeling and Directed Test Generation Techniques
AvMingsong Chen,Xiaoke Qinm. fl.
Häftad, Engelska, 2014
1 114 kr
Skickas inom 10-15 vardagar
This book covers state-of-the art techniques for high-level modeling and validation of complex hardware/software systems, including those with multicore architectures. Readers will learn to avoid time-consuming and error-prone validation from the comprehensive coverage of system-level validation, including high-level modeling of designs and faults, automated generation of directed tests, and efficient validation methodology using directed tests and assertions. The methodologies described in this book will help designers to improve the quality of their validation, performing as much validation as possible in the early stages of the design, while reducing the overall validation effort and cost.
Del 4 - Embedded Systems
Dynamic Reconfiguration in Real-Time Systems
Energy, Performance, and Thermal Perspectives
AvWeixun Wang,Prabhat Mishram. fl.
Häftad, Engelska, 2014
1 215 kr
Skickas inom 10-15 vardagar
Given the widespread use of real-time multitasking systems, there are tremendous optimization opportunities if reconfigurable computing can be effectively incorporated while maintaining performance and other design constraints of typical applications. The focus of this book is to describe the dynamic reconfiguration techniques that can be safely used in real-time systems. This book provides comprehensive approaches by considering synergistic effects of computation, communication as well as storage together to significantly improve overall performance, power, energy and temperature.
Post-Silicon Validation and Debug
AvPrabhat Mishra,Farimah Farahmandi
Häftad, Engelska, 2018
1 192 kr
Skickas inom 10-15 vardagar
This book provides a comprehensive coverage of System-on-Chip (SoC) post-silicon validation and debug challenges and state-of-the-art solutions with contributions from SoC designers, academic researchers as well as SoC verification experts. The readers will get a clear understanding of the existing debug infrastructure and how they can be effectively utilized to verify and debug SoCs.
System-on-Chip Security
Validation and Verification
AvFarimah Farahmandi,Yuanwen Huangm. fl.
Inbunden, Engelska, 2019
1 192 kr
Skickas inom 10-15 vardagar
This book describes a wide variety of System-on-Chip (SoC) security threats and vulnerabilities, as well as their sources, in each stage of a design life cycle. The authors discuss a wide variety of state-of-the-art security verification and validation approaches such as formal methods and side-channel analysis, as well as simulation-based security and trust validation approaches. This book provides a comprehensive reference for system on chip designers and verification and validation engineers interested in verifying security and trust of heterogeneous SoCs.
System-on-Chip Security
Validation and Verification
AvPrabhat Mishra,Yuanwen Huangm. fl.
E-bok
Engelska, 2019
1 105 kr
Läs direkt efter köp
This book describes a wide variety of System-on-Chip (SoC) security threats and vulnerabilities, as well as their sources, in each stage of a design life cycle. The authors discuss a wide variety of state-of-the-art security verification and validation approaches such as formal methods and side-channel analysis, as well as simulation-based security and trust validation approaches. This book provides a comprehensive reference for system on chip designers and verification and validation engineers interested in verifying security and trust of heterogeneous SoCs.
System-on-Chip Security
Validation and Verification
AvFarimah Farahmandi,Yuanwen Huangm. fl.
Häftad, Engelska, 2020
869 kr
Skickas inom 10-15 vardagar
This book describes a wide variety of System-on-Chip (SoC) security threats and vulnerabilities, as well as their sources, in each stage of a design life cycle. The authors discuss a wide variety of state-of-the-art security verification and validation approaches such as formal methods and side-channel analysis, as well as simulation-based security and trust validation approaches. This book provides a comprehensive reference for system on chip designers and verification and validation engineers interested in verifying security and trust of heterogeneous SoCs.
Network-on-Chip Security and Privacy
AvPrabhat Mishra,Subodha Charles
Inbunden, Engelska, 2021
1 300 kr
Skickas inom 10-15 vardagar
This book provides comprehensive coverage of Network-on-Chip (NoC) security vulnerabilities and state-of-the-art countermeasures, with contributions from System-on-Chip (SoC) designers, academic researchers and hardware security experts. Readers will gain a clear understanding of the existing security solutions for on-chip communication architectures and how they can be utilized effectively to design secure and trustworthy systems.
Network-on-Chip Security and Privacy
AvSubodha Charles,Prabhat Mishra
E-bok
Engelska, 2021
1 176 kr
Läs direkt efter köp
This book provides comprehensive coverage of Network-on-Chip (NoC) security vulnerabilities and state-of-the-art countermeasures, with contributions from System-on-Chip (SoC) designers, academic researchers and hardware security experts. Readers will gain a clear understanding of the existing security solutions for on-chip communication architectures and how they can be utilized effectively to design secure and trustworthy systems.
Network-on-Chip Security and Privacy
AvPrabhat Mishra,Subodha Charles
Häftad, Engelska, 2022
923 kr
Skickas inom 10-15 vardagar
This book provides comprehensive coverage of Network-on-Chip (NoC) security vulnerabilities and state-of-the-art countermeasures, with contributions from System-on-Chip (SoC) designers, academic researchers and hardware security experts. Readers will gain a clear understanding of the existing security solutions for on-chip communication architectures and how they can be utilized effectively to design secure and trustworthy systems.
Explainable AI for Cybersecurity
AvZhixin Pan,Prabhat Mishra
Inbunden, Engelska, 2023
1 192 kr
Skickas inom 10-15 vardagar
This book provides a comprehensive overview of security vulnerabilities and state-of-the-art countermeasures using explainable artificial intelligence (AI). Specifically, it describes how explainable AI can be effectively used for detection and mitigation of hardware vulnerabilities (e.g., hardware Trojans) as well as software attacks (e.g., malware and ransomware). It provides insights into the security threats towards machine learning models and presents effective countermeasures. It also explores hardware acceleration of explainable AI algorithms. The reader will be able to comprehend a complete picture of cybersecurity challenges and how to detect them using explainable AI. This book serves as a single source of reference for students, researchers, engineers, and practitioners for designing secure and trustworthy systems.
Explainable AI for Cybersecurity
AvPrabhat Mishra,Zhixin Pan
E-bok
Engelska, 2023
1 105 kr
Läs direkt efter köp
This book provides a comprehensive overview of security vulnerabilities and state-of-the-art countermeasures using explainable artificial intelligence (AI). Specifically, it describes how explainable AI can be effectively used for detection and mitigation of hardware vulnerabilities (e.g., hardware Trojans) as well as software attacks (e.g., malware and ransomware). It provides insights into the security threats towards machine learning models and presents effective countermeasures. It also explores hardware acceleration of explainable AI algorithms. The reader will be able to comprehend a complete picture of cybersecurity challenges and how to detect them using explainable AI. This book serves as a single source of reference for students, researchers, engineers, and practitioners for designing secure and trustworthy systems.
Explainable AI for Cybersecurity
AvZhixin Pan,Prabhat Mishra
Häftad, Engelska, 2024
869 kr
Skickas inom 10-15 vardagar
This book provides a comprehensive overview of security vulnerabilities and state-of-the-art countermeasures using explainable artificial intelligence (AI). Specifically, it describes how explainable AI can be effectively used for detection and mitigation of hardware vulnerabilities (e.g., hardware Trojans) as well as software attacks (e.g., malware and ransomware). It provides insights into the security threats towards machine learning models and presents effective countermeasures. It also explores hardware acceleration of explainable AI algorithms. The reader will be able to comprehend a complete picture of cybersecurity challenges and how to detect them using explainable AI. This book serves as a single source of reference for students, researchers, engineers, and practitioners for designing secure and trustworthy systems.
Design Automation for Quantum Computing
AvPrabhat Mishra
Inbunden, Engelska, 2026
1 407 kr
Skickas inom 10-15 vardagar
Quantum computers offer the ability to solve various complex problems significantly faster than the classical computers. This book provides a comprehensive overview of quantum computing from the perspective of computer scientists and engineers. The readers will get a clear understanding of various design automation steps, including specification of quantum algorithms, compiling algorithms to produce quantum circuits, mapping quantum circuits to quantum computers, and error correction for fault-tolerant quantum computing. This book serves as a single source of reference for students, researchers, and engineers for designing reliable quantum computing framework to solve the challenges in the 21st century.Introduces the readers to the domain of quantum computing.Provides an overview of design automation challenges in quantum computing.Outlines popular quantum algorithms and quantum computer architectures.Describes state-of-the-art in design automation for quantum computing, including specification, compilation, error correction, measurement, verification, and security.
Design Automation for Quantum Computing
AvPrabhat Mishra
E-bok
Engelska, 2026
1 728 kr
Läs direkt efter köp
Quantum computers offer the ability to solve various complex problems significantly faster than the classical computers. This book provides a comprehensive overview of quantum computing from the perspective of computer scientists and engineers. The readers will get a clear understanding of various design automation steps, including specification of quantum algorithms, compiling algorithms to produce quantum circuits, mapping quantum circuits to quantum computers, and error correction for fault-tolerant quantum computing. This book serves as a single source of reference for students, researchers, and engineers for designing reliable quantum computing framework to solve the challenges in the 21st century.Introduces the readers to the domain of quantum computing.Provides an overview of design automation challenges in quantum computing.Outlines popular quantum algorithms and quantum computer architectures.Describes state-of-the-art in design automation for quantum computing, including specification, compilation, error correction, measurement, verification, and security.
Hardware IP Security and Trust
AvPrabhat Mishra,Swarup Bhuniam. fl.
Inbunden, Engelska, 2017
1 515 kr
Skickas inom 10-15 vardagar
This book provides an overview of current Intellectual Property (IP) based System-on-Chip (SoC) design methodology and highlights how security of IP can be compromised at various stages in the overall SoC design-fabrication-deployment cycle. Readers will gain a comprehensive understanding of the security vulnerabilities of different types of IPs. This book would enable readers to overcome these vulnerabilities through an efficient combination of proactive countermeasures and design-for-security solutions, as well as a wide variety of IP security and trust assessment and validation techniques. This book serves as a single-source of reference for system designers and practitioners for designing secure, reliable and trustworthy SoCs.
Hardware IP Security and Trust
AvMark Tehranipoor,Swarup Bhuniam. fl.
E-bok
Engelska, 2017
1 413 kr
Läs direkt efter köp
This book provides an overview of current Intellectual Property (IP) based System-on-Chip (SoC) design methodology and highlights how security of IP can be compromised at various stages in the overall SoC design-fabrication-deployment cycle. Readers will gain a comprehensive understanding of the security vulnerabilities of different types of IPs. This book would enable readers to overcome these vulnerabilities through an efficient combination of proactive countermeasures and design-for-security solutions, as well as a wide variety of IP security and trust assessment and validation techniques. This book serves as a single-source of reference for system designers and practitioners for designing secure, reliable and trustworthy SoCs.
Hardware IP Security and Trust
AvPrabhat Mishra,Swarup Bhuniam. fl.
Häftad, Engelska, 2018
1 084 kr
Skickas inom 10-15 vardagar
This book provides an overview of current Intellectual Property (IP) based System-on-Chip (SoC) design methodology and highlights how security of IP can be compromised at various stages in the overall SoC design-fabrication-deployment cycle. Readers will gain a comprehensive understanding of the security vulnerabilities of different types of IPs. This book would enable readers to overcome these vulnerabilities through an efficient combination of proactive countermeasures and design-for-security solutions, as well as a wide variety of IP security and trust assessment and validation techniques. This book serves as a single-source of reference for system designers and practitioners for designing secure, reliable and trustworthy SoCs.
Post-Silicon Validation and Debug
AvPrabhat Mishra,Farimah Farahmandi
Inbunden, Engelska, 2018
1 623 kr
Skickas inom 10-15 vardagar
This book provides a comprehensive coverage of System-on-Chip (SoC) post-silicon validation and debug challenges and state-of-the-art solutions with contributions from SoC designers, academic researchers as well as SoC verification experts. The readers will get a clear understanding of the existing debug infrastructure and how they can be effectively utilized to verify and debug SoCs.
Post-Silicon Validation and Debug
AvFarimah Farahmandi,Prabhat Mishra
E-bok
Engelska, 2018
1 570 kr
Läs direkt efter köp
This book provides a comprehensive coverage of System-on-Chip (SoC) post-silicon validation and debug challenges and state-of-the-art solutions with contributions from SoC designers, academic researchers as well as SoC verification experts. The readers will get a clear understanding of the existing debug infrastructure and how they can be effectively utilized to verify and debug SoCs.
Contemporary Computing
Third International Conference, IC3 2010, Noida, India, August 9-11, 2010. Proceedings, Part II
AvSanjay Ranka,Arunava Banerjeem. fl.
Häftad, Engelska, 2010
562 kr
Skickas inom 10-15 vardagar
This book constitutes the second part of the refereed proceedings of the Third International Conference, IC3 2010, held in Noida, India, in August 2010. The 23 revised full papers presented were carefully reviewed and selected from numerous submissions.
Contemporary Computing
Third International Conference, IC3 2010, Noida, India, August 9-11, 2010. Proceedings, Part II
AvCho-Li Wang,Sheung-Hung Poonm. fl.
E-bok
PDF, Engelska, 2010
732 kr
Läs direkt efter köp
This book constitutes the second part of the refereed proceedings of the Third International Conference, IC3 2010, held in Noida, India, in August 2010.
The 23 revised full papers presented were carefully reviewed and selected from numerous submissions.

Prabhat Mishra – författare

Processor Description Languages

Processor Description Languages

Functional Verification of Programmable Embedded Architectures

Functional Verification of Programmable Embedded Architectures

Dynamic Reconfiguration in Real-Time Systems

Dynamic Reconfiguration in Real-Time Systems

System-Level Validation

System-Level Validation

Functional Verification of Programmable Embedded Architectures

System-Level Validation

Dynamic Reconfiguration in Real-Time Systems

Post-Silicon Validation and Debug

System-on-Chip Security

System-on-Chip Security

System-on-Chip Security

Network-on-Chip Security and Privacy

Network-on-Chip Security and Privacy

Network-on-Chip Security and Privacy

Explainable AI for Cybersecurity

Explainable AI for Cybersecurity

Explainable AI for Cybersecurity

Design Automation for Quantum Computing

Design Automation for Quantum Computing

Hardware IP Security and Trust

Hardware IP Security and Trust

Hardware IP Security and Trust

Post-Silicon Validation and Debug

Post-Silicon Validation and Debug

Contemporary Computing

Contemporary Computing