( en | de | ru )

 

Disambiguation of "Abramovici, Miron"

Author of the publication

copydeleteadd this publication to your clipboard
A Virtual Logic Algorithm for Solving Satisfiability Problems Using Reconfigurable Hardware.

, and . FCCM, page 306-307. IEEE Computer Society, (1999)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Michael Abramovici

Polina Mironova

Paul Miron

Miron Filiurin

Miron Kantorowicz

 

Other publications of authors with the same name

Low-Cost Fault Simulation: Why, When and How.. ITC, page 795. IEEE Computer Society, (1985)Test Generation In Lamp2: System Overview., , , and . ITC, page 45-48. IEEE Computer Society, (1985)Satisfiability on reconfigurable hardware., and . FPL, volume 1304 of Lecture Notes in Computer Science, page 448-456. Springer, (1997)A SAT Solver Using Reconfigurable Hardware and Virtual Logic., and . J. Autom. Reason., 24 (1/2): 5-36 (2000)Low-cost sequential ATPG with clock-control DFT., , and . DAC, page 243-248. ACM, (2002)A Virtual Logic Algorithm for Solving Satisfiability Problems Using Reconfigurable Hardware., and . FCCM, page 306-307. IEEE Computer Society, (1999)Increasing testability by clock transformation (getting rid of those darn states)., , and . VTS, page 224-230. IEEE Computer Society, (1996)Protection Against Hardware Trojan Attacks: Towards a Comprehensive Solution., , , , , , and . IEEE Des. Test, 30 (3): 6-17 (2013)Dynamic Fault Tolerance in FPGAs via Partial Reconfiguration., , , and . FCCM, page 165-174. IEEE Computer Society, (2000)Keynote address tribute to Professor Mel Breuer: Contributions to CAD and Test., , , and . VTS, page 1. IEEE Computer Society, (2017)