Miron Abramovici

Bio: Miron Abramovici is an academic researcher from Agere Systems. The author has contributed to research in topics: Field-programmable gate array & Fault (power engineering). The author has an hindex of 37, co-authored 76 publications receiving 6818 citations. Previous affiliations of Miron Abramovici include Alcatel-Lucent & Bell Labs.

Digital Systems Testing and Testable Design

Abstract: For many years, Breuer-Friedman's Diagnosis and Reliable Design ofDigital Systems was the most widely used textbook in digital system testing and testable design. Now, Computer Science Press makes available a new and greativ expanded edition. Incorporating a significant amount of new material related to recently developed technologies, the new edition offers comprehensive and state-ofthe-art treatment of both testing and testable design.

A reconfigurable design-for-debug infrastructure for SoCs

Abstract: In this paper we present a design-for-debug (DFD) reconfigurable infrastructure for SoCs to support at-speed in-system functional debug. A distributed reconfigurable fabric inserted at RTL provides a debug platform that can be configured and operated post-silicon via the JTAG port. The platform can be repeatedly reused to configure many debug structures such as assertions checkers, transaction identifiers, triggers, and event counters.

Critical Path Tracing: An Alternative to Fault Simulation

Abstract: Critical path tracing determines fault detection without explicit. fault simulation. It appears to be a more efficient alternative to conventional methods.

Built-in self-test of FPGA interconnect

Abstract: We introduce the first BIST approach for testing the programmable routing network in FPGAs. Our method detects opens in, and shorts among, wiring segments, and also faults affecting the programmable switches that configure the FPGA interconnect. As a result, the BIST technique provides complete testing of interconnect faults.

Critical Path Tracing - An Alternative to Fault Simulation

Abstract: We present an alternative to fault simulation, referred to as critical path tracing, that determines the faults detected by a set of tests using a backtracing algorithm starting at the primary outputs of a circuit. Critical path tracing is an approximate method, but the approximations introduced occur seldom and do not affect its usefulness. This method is more efficient than conventional fault simulation.

GRASP: a search algorithm for propositional satisfiability

Abstract: This paper introduces GRASP (Generic seaRch Algorithm for the Satisfiability Problem), a new search algorithm for Propositional Satisfiability (SAT). GRASP incorporates several search-pruning techniques that proved to be quite powerful on a wide variety of SAT problems. Some of these techniques are specific to SAT, whereas others are similar in spirit to approaches in other fields of Artificial Intelligence. GRASP is premised on the inevitability of conflicts during the search and its most distinguishing feature is the augmentation of basic backtracking search with a powerful conflict analysis procedure. Analyzing conflicts to determine their causes enables GRASP to backtrack nonchronologically to earlier levels in the search tree, potentially pruning large portions of the search space. In addition, by "recording" the causes of conflicts, GRASP can recognize and preempt the occurrence of similar conflicts later on in the search. Finally, straightforward bookkeeping of the causality chains leading up to conflicts allows GRASP to identify assignments that are necessary for a solution to be found. Experimental results obtained from a large number of benchmarks indicate that application of the proposed conflict analysis techniques to SAT algorithms can be extremely effective for a large number of representative classes of SAT instances.

A Survey of Hardware Trojan Taxonomy and Detection

Abstract: Editor's note:Today's integrated circuits are vulnerable to hardware Trojans, which are malicious alterations to the circuit, either during design or fabrication. This article presents a classification of hardware Trojans and a survey of published techniques for Trojan detection.

GRASP—a new search algorithm for satisfiability

Abstract: This paper introduces GRASP (Generic seaRch Algorithm for the Satisfiability Problem), an integrated algorithmic framework for SAT that unifies several previously proposed search-pruning techniques and facilitates identification of additional ones. GRASP is premised on the inevitability of conflicts during search and its most distinguishing feature is the augmentation of basic backtracking search with a powerful conflict analysis procedure. Analyzing conflicts to determine their causes enables GRASP to backtrack non-chronologically to earlier levels in the search tree, potentially pruning large portions of the search space. In addition, by "recording" the causes of conflicts, GRASP can recognize and preempt the occurrence of similar conflicts later on in the search. Finally, straightforward bookkeeping of the causality chains leading up to conflicts allows GRASP to identify assignments that are necessary for a solution to be found. Experimental results obtained from a large number of benchmarks, including many from the field of test pattern generation, indicate that application of the proposed conflict analysis techniques to SAT algorithms can be extremely effective for a large number of representative classes of SAT instances.

Asynchronous design methodologies: an overview

Abstract: Asynchronous design has been an active area of research since at least the mid 1950's, but has yet to achieve widespread use. We examine the benefits and problems inherent in asynchronous computations, and in some of the more notable design methodologies. These include Huffman asynchronous circuits, burst-mode circuits, micropipelines, template-based and trace theory-based delay-insensitive circuits, signal transition graphs, change diagrams, and complication-based quasi-delay-insensitive circuits. >

Detection, Estimation, and Modulation Theory

Abstract: electrical and computer engineering ece courses ece 257a multiuser communication systems 4 congestion control convex programming and dual controller fair end end rate allocation max min fair vs proportional, electrical systems engineering washington university arye nehorai eugene and martha lohman professor of electrical engineering phd stanford university signal processing imaging biomedicine communications, ieee transactions on aerospace and electronic systems ieee transactions on aerospace and electronic systems focuses on the organization design development integration and operation of complex systems for space air, department of electrical engineering and computer science h kumar wickramsinghe department chair 2213 engineering hall 949 824 4821 http www eng uci edu dept eecs overview electrical engineering and computer science is, download electrical and electronics engineering ebooks syst mes temps discret commande num rique des proc d s pdf 499 ko terminology and symbols in control engineering pdf 326 ko the best of thomas, publications stream wise list iit kanpur papers published in journals in 2016 dutta s patchaikani p k behera l near optimal controller for nonlinear continuous time systems with unknown dynamics, resolve a doi name type or paste a doi name into the text box click go your browser will take you to a web page url associated with that doi name send questions or comments to doi, peer reviewed journal ijera com international journal of engineering research and applications ijera is an open access online peer reviewed international journal that publishes research, dod sbir 2016 2 sbir gov note the solicitations and topics listed on this site are copies from the various sbir agency solicitations and are not necessarily the latest and most up, an english japanese dictionary of electrical engineering c 2952 9 691 c band c c contact c c maccs centre for mathematical modelling and computer simulation, the of and to a in that is was he for it with as his on be most common text click on the icon to return to www berro com and to enjoy and benefit the of and to a in that is was he for it with as his on be at by i this had