Quantum-dot cellular automata (QCA) are an emerging technology and a possible alternative for semiconductor transistor based technologies. A novel fault-tolerant QCA full-adder cell is proposed: This component is simple in structure and suitable for designing fault-tolerant QCA circuits. The redundant version of QCA full-adder cell is powerful in terms of implementing robust digital functions. ...

A time-domain shooting method based coupled device and circuit simulator suitable for accurate simulation of RF circuits is presented. The simulator supports accurate numerical models for diodes, BJTs, and MOSFETs. These combined with the accelerated steady-state method allow accurate and efficient steady-state simulation of RF circuits.

In this paper, we extend the verification method based on trace theory by Dill et al. such that it can handle bounded delay asynchronous circuits and check certain liveness properties as well as safety properties. We use time Petri nets to model both bounded delay circuits and timed properties to be verified. Some experimental results are also shown to demonstrate the proposed method.

2D nanoelectronics based on single-layer MoS2 offers great advantages for both conventional and ubiquitous applications. This paper discusses the large-scale CVD growth of single-layer MoS2 and fabrication of devices and circuits for the first time. Both digital and analog circuits are fabricated to demonstrate its capability for mixed-signal applications.

Abstract The generation of certifiable randomness is the most fundamental information-theoretic task that meaningfully separates quantum devices from their classical counterparts. We propose a protocol for exponential certified expansion using single device. calls device to implement simple circuit constant depth on 2D lattice qubits. output can be verified classically in linear time, and guara...

Real-time applications require hardware components to be predictable in terms of their temporal characteristics. For this reason synchronous (clocked) circuits have traditionally been used in real-time systems. With the advent of submicron technologies the role of asynchronous techniques in designing hardware platforms for real-time systems will dramatically increase. Yet the lack of eecient fo...

the numbers of nodes of the original and optimized circuits after being cleaned up by SIS command " sweep " and then decomposed into AND/OR gates. (2) # FFs (orig. / opt.): the numbers of flip-flops in the original and optimized circuits. For instance, s13207 has 490 flip-flops, but only 453 left in the optimized circuit. (3) # equiv. internal pairs (comb / seq): the number of internal signal p...