Digital circuits complexity and density are increasing and at the same time it should have more quality and reliability. It leads with high test costs and makes the validation more complex. The main aim is to develop a complete behavioral fault simulation and automatic test pattern generation (ATPG) system for digital circuits modeled in verilog and VHDL. An integrated Automatic Test Generation...

This short paper describes a well-known and a non-standard technique for proving properties about sequential circuits. The techniques are based on transforming the circuit to an abstract state machine, and performing several ways of induction on these state machines. We conclude with an insightful correspondence between the two techniques. The proposed methods have been implemented in an experi...

Memristors, as new electronic elements, have been under rigorous study in recent years, owing to their good memory and switching properties, low power consumption, nano-dimensions a compatibility present integrated circuits, related promising applications circuits chips. The main purpose of this paper is the application analysis operations metal–oxide memristors logic gates complex schemes, usi...

Objectives. The objective of the work is to develop means for recognition (extraction) high-level structures in circuits on transistor level. This allows obtain a representation logical level, equivalent original flat description Obtaining such significantly reduces time perform VLSI topology check, but also provides basis reengineering integrated and reverse engineering detecting unauthorized ...

Abstract We have developed a full-digital wired-logic DNN processor that is 5.3 times smaller and 2.6 more energy efficient than previously processors. Our capable of inferring MNIST classification task with 90.6% accuracy 1.2 nJ per at 3.89 Mfps. also neuron synapse-saving neural network using nonlinear technology to reduce the number processing elements be implemented. Lastly, we logical comp...

This paper explores proof-theoretic aspects of hybrid type-logical grammars, a logic combining Lambek grammars with lambda grammars. We prove some basic properties the calculus, such as normalisation and subformula property also present both sequent proof net calculus for In addition to clarifying logical foundations current study opens way variants extensions original system, including but not...

An arithmetic circuit is a labeled, acyclic directed graph specifying a sequence of arithmetic and logical operations to be performed on sets of natural numbers. Arithmetic circuits can also be viewed as the elements of the smallest subalgebra of the complex algebra of the semiring of natural numbers. In the present paper we investigate the algebraic structure of complex algebras of natural num...