We gratefully acknowledge support from
the Simons Foundation and member institutions.

Emerging Technologies

New submissions

[ total of 5 entries: 1-5 ]
[ showing up to 2000 entries per page: fewer | more ]

New submissions for Fri, 29 May 20

[1]  arXiv:2005.13581 [pdf, other]
Title: Limitations on counting in Boolean circuits and self-assembly
Comments: 21 pages, 7 figures, 1 appendix
Subjects: Emerging Technologies (cs.ET)

In self-assembly, a $k$-counter is a tile set that grows a horizontal ruler from left to right, containing $k$ columns each of which encodes a distinct binary string. Counters have been fundamental objects of study in a wide range of theoretical models of tile assembly, molecular robotics and thermodynamics-based self-assembly due to their construction capabilities using few tile types, time-efficiency of growth and combinatorial structure. Here, we define a Boolean circuit model, called $n$-wire local railway circuits, where $n$ parallel wires are straddled by Boolean gates, each with matching fanin/fanout strictly less than $n$, and we show that such a model can not count to $2^n$ nor implement any so-called odd bijective nor quasi-bijective function. We then define a class of self-assembly systems that includes theoretically interesting and experimentally-implemented systems that compute $n$-bit functions and count layer-by-layer. We apply our Boolean circuit result to show that those self-assembly systems can not count to $2^n$. This explains why the experimentally implemented iterated Boolean circuit model of tile assembly can not count to $2^n$, yet some previously studied tile system do. Our work points the way to understanding the kinds of features required from self-assembly and Boolean circuits to implement maximal counters.

[2]  arXiv:2005.13610 [pdf, other]
Title: Molecular MUX-Based Physical Unclonable Functions
Comments: Proc. of 2020 IEEE Computer Society Annual Symposium on VLSI (ISVLSI), July 2020
Subjects: Emerging Technologies (cs.ET); Molecular Networks (q-bio.MN)

Physical unclonable functions (PUFs) are small circuits that are widely used as hardware security primitives for authentication. These circuits can generate unique signatures because of the inherent randomness in manufacturing and process variations. This paper introduces molecular PUFs based on multiplexer (MUX) PUFs using dual-rail representation. It may be noted that molecular PUFs have not been presented before. Each molecular multiplexer is synthesized using 16 molecular reactions. The intrinsic variations of the rate constants of the molecular reactions are assumed to provide inherent randomness necessary for uniqueness of PUFs. Based on Gaussian distribution of the rate constants of the reactions, this paper simulates intra-chip and inter-chip variations of linear molecular MUX PUFs containing 8, 16, 32 and 64 stages. These variations are, respectively, used to compute reliability and uniqueness. It is shown that, for the rate constants used in this paper, although 8-state molecular MUX PUFs are not useful as PUFs, PUFs containing 16 or higher stages are useful as molecular PUFs. Like electronic PUFs, increasing the number of stages increases uniqueness and reliability of the PUFs

[3]  arXiv:2005.13735 [pdf]
Title: Logic Verification of Ultra-Deep Pipelined Beyond-CMOS Technologies
Comments: 10 pages, 8 figures, 3 tables
Subjects: Emerging Technologies (cs.ET)

Traditional logical equivalence checking (LEC) which plays a major role in entire chip design process faces challenges of meeting the requirements demanded by the many emerging technologies that are based on logic models different from standard complementary metal oxide semiconductor (CMOS). In this paper, we propose a LEC framework to be employed in the verification process of beyond-CMOS circuits. Our LEC framework is compatible with existing CMOS technologies, but, also able to check features and capabilities that are unique to beyond-CMOS technologies. For instance, the performance of some emerging technologies benefits from ultra-deep pipelining and verification of such circuits requires new models and algorithms. We, therefore, present the Multi-Cycle Input Dependency (MCID) circuit model which is a novel model representation of design to explicitly capture the dependency of primary outputs of the circuit on sequences of internal signals and inputs. Embedding the proposed circuit model and several structural checking modules, the process of verification can be independent of the underlying technology and signaling. We benchmark the proposed framework on post-synthesis rapid single-flux-quantum (RSFQ) netlists. Results show a comparative verification time of RSFQ circuit benchmark including 32-bit Kogge-Stone adder, 16-bit integer divider, and ISCAS'85 circuits with respect to ABC tool for similar CMOS circuits.

[4]  arXiv:2005.13780 [pdf, ps, other]
Title: Pattern Denoising in Molecular Associative Memory using Pairwise Markov Random Field Models
Subjects: Emerging Technologies (cs.ET); Neural and Evolutionary Computing (cs.NE)

We propose an in silico molecular associative memory model for pattern learning, storage and denoising using Pairwise Markov Random Field (PMRF) model. Our PMRF-based molecular associative memory model extracts locally distributed features from the exposed examples, learns and stores the patterns in the molecular associative memory and denoises the given noisy patterns via DNA computation based operations. Thus, our computational molecular model demonstrates the functionalities of content-addressability of human memory. Our molecular simulation results show that the averaged mean squared error between the learned and denoised patterns are low (< 0.014) up to 30% of noise.

Cross-lists for Fri, 29 May 20

[5]  arXiv:2005.14039 (cross-list from eess.SY) [pdf]
Title: 3D logic cells design and results based on Vertical NWFET technology including tied compact model
Comments: Paper submitted to IFIP/IEEE International Conference on Very Large Scale Integration (VLSI-SoC), 5-7 October 2020, Salt Lake City (UT), USA
Subjects: Systems and Control (eess.SY); Emerging Technologies (cs.ET); Applied Physics (physics.app-ph)

Gate-all-around Vertical Nanowire Field Effect Transistors (VNWFET) are emerging devices, which are well suited to pursue scaling beyond lateral scaling limitations around 7nm. This work explores the relative merits and drawbacks of the technology in the context of logic cell design. We describe a junctionless nanowire technology and associated compact model, which accurately describes fabricated device behavior in all regions of operations for transistors based on between 16 and 625 parallel nanowires of diameters between 22 and 50nm. We used this model to simulate the projected performance of inverter logic gates based on passive load, active load and complementary topologies and carry out an performance exploration for the number of nanowires in transistors. In terms of compactness, through a dedicated full 3D layout design, we also demonstrate a 1.4x reduction in lateral dimensions for the complementary structure with respect to 7nm FinFET-based inverters.

[ total of 5 entries: 1-5 ]
[ showing up to 2000 entries per page: fewer | more ]

Disable MathJax (What is MathJax?)

Links to: arXiv, form interface, find, cs, recent, 2005, contact, help  (Access key information)