Jacob A. Abraham

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Phase-Aware Multitone Digital Signal Based Test for RF Receivers IEEE Transactions on Circuits and Systems I: Regular Papers	2021-08-26	Paper
Test generation for iterative logic arrays based on an N-cube of cell states model IEEE Transactions on Computers	2018-09-14	Paper
Automatic Verification of Arithmetic Circuits in RTL Using Stepwise Refinement of Term Rewriting Systems IEEE Transactions on Computers	2018-06-12	Paper
CEDA: Control-Flow Error Detection Using Assertions IEEE Transactions on Computers	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 Formal Methods in System Design	2006-02-20	Paper
scientific article; zbMATH DE number 1941184 (Why is no real title available?)	2003-06-29	Paper
scientific article; zbMATH DE number 1903351 (Why is no real title available?)	2003-05-01	Paper
scientific article; zbMATH DE number 1857502 (Why is no real title available?)	2003-02-02	Paper
Efficient combinational verification using overlapping local BDDs and a hash table Formal Methods in System Design	2002-09-18	Paper
FERRARI: a flexible software-based fault and error injection system IEEE Transactions on Computers	1995-01-01	Paper
Probabilistic verification of Boolean functions Formal Methods in System Design	1993-09-30	Paper
Companson and Diagnosis of Large Replicated Files IEEE Transactions on Software Engineering	1987-01-01	Paper
Algorithm-Based Fault Tolerance for Matrix Operations IEEE Transactions on Computers	1984-01-01	Paper
Functional Testing of Microprocessors IEEE Transactions on Computers	1984-01-01	Paper
Design of Testable Structures Defined by Simple Loops IEEE Transactions on Computers	1981-01-01	Paper
Test Generation for Microprocessors IEEE Transactions on Computers	1980-01-01	Paper
An Improved Algorithm for Network Reliability IEEE Transactions on Reliability	1979-01-01	Paper
Efficient Algorithms for Testing Semiconductor Random-Access Memories IEEE Transactions on Computers	1978-01-01	Paper
A Combinatorial Solution to the Reliability of Interwoven Redundant Logic Networks IEEE Transactions on Computers	1975-01-01	Paper
An Algorithm for the Accurate Reliability Evaluation of Triple Modular Redundancy Networks IEEE Transactions on Computers	1974-01-01	Paper

Research outcomes over time

This page was built for person: Jacob A. Abraham