The following pages link to Jacob A. Abraham (Q685117):
Displaying 21 items.
- Probabilistic verification of Boolean functions (Q685120) (← links)
- Efficient combinational verification using overlapping local BDDs and a hash table (Q698440) (← links)
- A formal framework for verification of embedded custom memories of the Motorola MPC7450 microprocessor (Q816213) (← links)
- (Q2848428) (← links)
- Algorithm-Based Fault Tolerance for Matrix Operations (Q3221396) (← links)
- Functional Testing of Microprocessors (Q3321984) (← links)
- Companson and Diagnosis of Large Replicated Files (Q3740211) (← links)
- Test Generation for Microprocessors (Q3877584) (← links)
- Design of Testable Structures Defined by Simple Loops (Q3921160) (← links)
- A Combinatorial Solution to the Reliability of Interwoven Redundant Logic Networks (Q4055555) (← links)
- Efficient Algorithms for Testing Semiconductor Random-Access Memories (Q4170234) (← links)
- An Improved Algorithm for Network Reliability (Q4179642) (← links)
- (Q4408335) (← links)
- FERRARI: a flexible software-based fault and error injection system (Q4419641) (← links)
- Automatic Verification of Arithmetic Circuits in RTL Using Stepwise Refinement of Term Rewriting Systems (Q4564225) (← links)
- An Algorithm for the Accurate Reliability Evaluation of Triple Modular Redundancy Networks (Q4767231) (← links)
- (Q4788549) (← links)
- (Q4804893) (← links)
- Phase-Aware Multitone Digital Signal Based Test for RF Receivers (Q5008923) (← links)
- CEDA: Control-Flow Error Detection Using Assertions (Q5280519) (← links)
- Test generation for iterative logic arrays based on an N-cube of cell states model (Q5375418) (← links)
