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
https://portal.mardi4nfdi.de/entity/Q2848428	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Jacob A. Abraham