5 papers
Secure Audio Embedding in Images using Nature-Inspired Optimization
Aman Kumar, Ankit Chaudhary
In todays digital world, protecting sensitive data is very essential. Steganography hides the existence of secret data instead of its content, providing better security for multime…
Hard Math -- Easy UVM: Pragmatic solutions for verifying hardware algorithms using UVM
Mark Litterick, Aleksandar Ivankovic, Bojan Arsov +1
This paper presents pragmatic solutions for verifying complex mathematical algorithms implemented in hardware in an efficient and effective manner. Maximizing leverage of a known-a…
Pragmatic Formal Verification Methodology for Clock Domain Crossing (CDC)
Aman Kumar, Muhammad Ul Haque Khan, Bijitendra Mittra
Modern System-on-Chip (SoC) designs are becoming more and more complex due to the technology upscaling. SoC designs often operate on multiple asynchronous clock domains, further ad…
Pragmatic Formal Verification of Sequential Error Detection and Correction Codes (ECCs) used in Safety-Critical Design
Aman Kumar
Error Detection and Correction Codes (ECCs) are often used in digital designs to protect data integrity. Especially in safety-critical systems such as automotive electronics, ECCs…
Efficient Verification of a RADAR SoC Using Formal and Simulation-Based Methods
Aman Kumar, Mark Litterick, Samuele Candido
As the demand for Internet of Things (IoT) and Human-to-Machine Interaction (HMI) increases, modern System-on-Chips (SoCs) offering such solutions are becoming increasingly complex…