Miron Abramovici

Available identifiers

zbMath Open abramovici.mironMaRDI QIDQ1977748

List of research outcomes

Publication	Date of Publication	Type
A SAT solver using reconfigurable hardware and virtual logic	2001-11-21	Paper
A SAT solver using reconfigurable hardware and virtual logic	2000-05-18	Paper
A Practical Approach to Fault Simulation and Test Generation for Bridging Faults	1985-01-01	Paper
A Hierarchical, Path-Oriented Approach to Fault Diagnosis in Modular Combinational Circuits	1982-01-01	Paper
Fault Diagnosis in Synchronous Sequential Circuits Based on an Effect–Cause Analysis	1982-01-01	Paper
Multiple Fault Diagnosis in Combinational Circuits Based on an Effect-Cause Analysis	1980-01-01	Paper
On Redundancy and Fault Detection in Sequential Circuits	1979-01-01	Paper

Research outcomes over time

This page was built for person: Miron Abramovici