نتایج جستجو برای: logical circuits

تعداد نتایج: 114559  

2014
S. Hemalatha K. Srividhya

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...

1999
Koen Claessen

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...

Journal: :Electronics 2023

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...

Journal: :Informatika 2022

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 ...

Journal: :Japanese Journal of Applied Physics 2023

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...

ژورنال: پژوهش های فلسفی 2016

با اینکه اغلب به غلط تصور می­شود که فلسفۀ تحلیلی، به عنوان یک جنبش ضد-متافیزیکی، هیچ ارتباطی با متافیزیک ندارد، اما دلایل خوبی وجود دارند که بر اساس آن می­توان تمایلات متافیزیکی فیلسوفان تحلیلی را تصدیق نمود و متعاقباً ماهیت ضد-متافیزیکی فلسفه تحلیلی را در تمام مراحل شکل­گیری­اش به حداقل رساند. چون فلسفه تحلیلی یک جنبش تاریخی است که ماهیت اصلی آن در چند مرحله شکل یافته است، لذا با پیگیری این مرا...

Journal: :Journal of Logic, Language and Information 2022

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...

Journal: :Fundam. Inform. 2009
Ivo Düntsch Ian Pratt-Hartmann

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...

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید