Jacob A. Abraham

Available identifiers

zbMath Open abraham.jacob-aMaRDI QIDQ685117

List of research outcomes

Publication	Date of Publication	Type
Phase-Aware Multitone Digital Signal Based Test for RF Receivers	2021-08-26	Paper
Test generation for iterative logic arrays based on an N-cube of cell states model	2018-09-14	Paper
Automatic Verification of Arithmetic Circuits in RTL Using Stepwise Refinement of Term Rewriting Systems	2018-06-12	Paper
CEDA: Control-Flow Error Detection Using Assertions	2017-07-27	Paper
Efficient model checking of hardware using conditioned slicing	2013-09-26	Paper
A formal framework for verification of embedded custom memories of the Motorola MPC7450 microprocessor	2006-02-20	Paper
https://portal.mardi4nfdi.de/entity/Q4408335	2003-06-29	Paper
https://portal.mardi4nfdi.de/entity/Q4804893	2003-05-01	Paper
https://portal.mardi4nfdi.de/entity/Q4788549	2003-02-02	Paper
Efficient combinational verification using overlapping local BDDs and a hash table	2002-09-18	Paper
FERRARI: a flexible software-based fault and error injection system	1995-01-01	Paper
Probabilistic verification of Boolean functions	1993-09-30	Paper
Companson and Diagnosis of Large Replicated Files	1987-01-01	Paper
Algorithm-Based Fault Tolerance for Matrix Operations	1984-01-01	Paper
Functional Testing of Microprocessors	1984-01-01	Paper
Design of Testable Structures Defined by Simple Loops	1981-01-01	Paper
Test Generation for Microprocessors	1980-01-01	Paper
An Improved Algorithm for Network Reliability	1979-01-01	Paper
Efficient Algorithms for Testing Semiconductor Random-Access Memories	1978-01-01	Paper
A Combinatorial Solution to the Reliability of Interwoven Redundant Logic Networks	1975-01-01	Paper
An Algorithm for the Accurate Reliability Evaluation of Triple Modular Redundancy Networks	1974-01-01	Paper

Research outcomes over time

This page was built for person: Jacob A. Abraham