Jacob A. Abraham

From MaRDI portal
Person:685117

Available identifiers

zbMath Open abraham.jacob-aMaRDI QIDQ685117

List of research outcomes





PublicationDate of PublicationType
Phase-Aware Multitone Digital Signal Based Test for RF Receivers2021-08-26Paper
Test generation for iterative logic arrays based on an N-cube of cell states model2018-09-14Paper
Automatic Verification of Arithmetic Circuits in RTL Using Stepwise Refinement of Term Rewriting Systems2018-06-12Paper
CEDA: Control-Flow Error Detection Using Assertions2017-07-27Paper
Efficient model checking of hardware using conditioned slicing2013-09-26Paper
A formal framework for verification of embedded custom memories of the Motorola MPC7450 microprocessor2006-02-20Paper
https://portal.mardi4nfdi.de/entity/Q44083352003-06-29Paper
https://portal.mardi4nfdi.de/entity/Q48048932003-05-01Paper
https://portal.mardi4nfdi.de/entity/Q47885492003-02-02Paper
Efficient combinational verification using overlapping local BDDs and a hash table2002-09-18Paper
FERRARI: a flexible software-based fault and error injection system1995-01-01Paper
Probabilistic verification of Boolean functions1993-09-30Paper
Companson and Diagnosis of Large Replicated Files1987-01-01Paper
Algorithm-Based Fault Tolerance for Matrix Operations1984-01-01Paper
Functional Testing of Microprocessors1984-01-01Paper
Design of Testable Structures Defined by Simple Loops1981-01-01Paper
Test Generation for Microprocessors1980-01-01Paper
An Improved Algorithm for Network Reliability1979-01-01Paper
Efficient Algorithms for Testing Semiconductor Random-Access Memories1978-01-01Paper
A Combinatorial Solution to the Reliability of Interwoven Redundant Logic Networks1975-01-01Paper
An Algorithm for the Accurate Reliability Evaluation of Triple Modular Redundancy Networks1974-01-01Paper

Research outcomes over time

This page was built for person: Jacob A. Abraham