Results 201 to 210 of about 14,420,325 (254)

Design in logic

Computer-Aided Design, 1982
Abstract This paper presents a new technique for the solution of CAD problems. The technique is illustrated on an architectural example. The designing knowledge is represented in the form of axioms described in the language of mathematical logic. The calculi of logic which manipulate these axioms can be used to model designing processes.
openaire   +1 more source

Scouting Logic: A Novel Memristor-Based Logic Design for Resistive Computing

IEEE Computer Society Annual Symposium on VLSI, 2017
Lei Xie, Hoang Anh Du Nguyen, Jintao Yu, A. Kaichouhi, M. Taouil, M. Alfailakawi, S. Hamdioui   +6 more
semanticscholar   +1 more source

Logic Design Within Memristive Memories Using Memristor-Aided loGIC (MAGIC)

IEEE transactions on nanotechnology, 2016
N. Talati, Saransh Gupta, Pravin S. Mane, Shahar Kvatinsky   +3 more
semanticscholar   +1 more source

"Designer" Logic And Symbols with Logic Cell Arrays

IEEE Micro, 1987
Logic cell arrays allow ASIC designers to create new logic elements and to devise symbols for them that simplify logic schematics.
openaire   +1 more source

Design of all-optical AND, OR, and XOR logic gates using photonic crystals for switching applications

Photonic network communications, 2020
D. G. S. Rao, Sandip Swarnakar, Venkatrao Palacharla, Karyabhattu Seeta Rama Raju, Santosh Kumar   +4 more
semanticscholar   +1 more source

From reversible logic to quantum circuits: Logic design for an emerging technology

International Conference / Workshop on Embedded Computer Systems: Architectures, Modeling and Simulation, 2016
R. Wille, A. Chattopadhyay, R. Drechsler
semanticscholar   +1 more source

Logic design

Proceedings of the 1st annual computer science conference on Program information abstracts - CWC '73, 1973
openaire   +1 more source

Interferometric architectures based All-Optical logic design methods and their implementations

, 2015
Karamdeep Singh, G. Kaur
semanticscholar   +1 more source

Design and Synthesis of Synchronization Skeletons Using Branching Time Temporal Logic

25 Years of Model Checking, 2008
E. Clarke, E. Emerson
semanticscholar   +1 more source

Logic design

Microprocessing and Microprogramming, 1993
openaire   +1 more source