Edge verification: Ensuring correctness under resource constraints

R Drechsler, C Dominik - 2021 34th SBC/SBMicro/IEEE/ACM …, 2021 - ieeexplore.ieee.org
Verification is one of the central tasks in circuit and system design. Since the components
are used in several safety critical applications, functional correctness has to be ensured. But …

Parallel counter and a multiplication logic circuit

D Rumynin, S Talwar, P Meulemans - US Patent 6,938,061, 2005 - Google Patents
5,497,342 A 3/1996 Mou et al................... 364/786 A parallel counter comprises logic for
generating output bits 5,524,082 A 6/1996 Horstmann et al.......... 364/489 as Symmetrical …

Special session: Delay fault testing-present and future

J Mahmod, S Millican, U Guin… - 2019 IEEE 37th VLSI …, 2019 - ieeexplore.ieee.org
This article presents a brief survey of digital delay fault testing, which lists 100+ references
on fault models, simulators, ATPG, DFT, and tools. Continuing studies are needed in this …

Synthesis of composite logic gate in QCA embedding underlying regular clocking

J Pal, D Bhowmik, AR Singh… - … Series: Electronics and …, 2021 - casopisi.junis.ni.ac.rs
Abstract Quantum-dot Cellular Automata (QCA) has emerged as one of the alternative
technologies for current CMOS technology. It has the advantage of computing at a faster …

Multiplication logic circuit

S Talwar, D Rumynin - US Patent 7,139,788, 2006 - Google Patents
A multiplication logic circuit comprises array generation logic and array reduction logic. The
array reduction logic comprises array reduction logic for a first level of array reduction which …

Method and device for performing operations involving multiplication of selectively partitioned binary inputs using booth encoding

D Rumynin - US Patent 7,308,471, 2007 - Google Patents
A digital circuit including a Booth encoder having inputs for receiving a plurality of adjacent
bits of a first binary input number, and an encoder control input for allowing selection …

A fast algorithm for OR-AND-OR synthesis

D Debnath, ZG Vranesic - IEEE Transactions on Computer …, 2003 - ieeexplore.ieee.org
Design methods for OR-AND-OR three-level networks are useful for exploiting the flexibility
of logic blocks in many complex programmable logic devices. This paper presents T RIMIN …

ROBDD based path delay fault testable combinational circuit synthesis

T Shah, V Singh, A Matrosova - 2016 IEEE East-West Design & …, 2016 - ieeexplore.ieee.org
Traditional scan based transition delay fault tests can potentially miss variability induced
delay faults on long interconnects. On the other hand, an ATPG may not be successful in …

Parallel counter and a multiplication logic circuit

D Rumynin, S Talwar, P Meulemans - US Patent 6,883,011, 2005 - Google Patents
(57) ABSTRACT A parallel counter comprises logic for generating output bits as Symmetrical
functions of the input bits. The parallel counter can be used in a multiplication circuit. A …

Sum bit generation circuit

BE White - US Patent 7,170,317, 2007 - Google Patents
Sum bit generation circuit includes first logic generating first signal as XOR of first and
second input signals and second signal as the inverse of XOR of the first and second input …