Search

As an important part of cyber-physical systems, the digital logic system’s complexity are rapidly increasing, and its design flows become more and more tedious. A modeling and verification methodology for complex digital logic components is presented to improve the development quality and efficiency. In order to help developer to understand the design intent preferably and speed up the development process, design activities are carried out under a convenient modeling methodology and a precise verification solution for completing the design cycle. Its calculus system offers a theoretic way to connect components via connectors, and then provides a theoretical basis for further verification. A washing machine controller design shows that the modeling can reflect the design intent of the designers effectively, detect some design errors which maybe result in modeling failures in implementation as soon as possible, and avoid the negligence and errors in modeling for complex digital systems. [ABSTRACT FROM AUTHOR]

Mechanical logic and computation embedded in deployable structures are complementary to conventional digital logic schemes for autonomous sense, decision, and response in artificial intelligence and bio-robots. It is highly desired that responsive and adaptive structures can readily interact with external stimuli to implement mechanologic (e.g., writing, erasing, and rewriting mechanical bit) in an energy-efficient way. Here, we demonstrate kirigami interactive triboelectric mechanologic composed of a deployable kirigami geometry triggered by triboelectric signal for the first time, aiming at developing interactive and programmable mechanical computation. The interactive triboelectric mechanologic is inspired by human somatic reflex arc system to emulate the continual sensation–decision–response loop, which includes a self-powered triboelectric nanogenerator (TENG) mechanoreceptor, a signal transmission/processing module, and an elaborately designed kirigami geometry with bistable resistive states to represent mechanologic. When the mechanoreceptor is imposed to mechanical stimuli, the induced triboelectric signals activate the bistable state conversion in the kirigami geometry and endow it with adaptive capacity to output binary mechanical bits. We successfully demonstrate the application of interactive triboelectric mechanologic as a mechanical flip-flop, register, and asynchronous binary counter. This work provides a new route to self-activation mechanologic computation relying on the extended application of TENG for self-driven sensing and actuation. • We propose a kirigami interactive triboelectric mechanologic aiming at developing interactive and programmable mechanical computation. • The interactive triboelectric mechanologic is inspired by human somatic reflex arc system to emulate the continual sensation–decision–response loop. • We demonstrate its application as mechanical flip-flop, mechanical registers, and four-bit mechanical asynchronous binary counter. [ABSTRACT FROM AUTHOR]

Abstract: We propose a direct and flexible implementation of logic operations using the dynamical evolution of a nonlinear system. The concept involves the observation of the state of the system at different times to obtain different logic outputs. We explicitly implement the basic NAND, AND, NOR, OR and XOR logic gates, as well as multiple-input XOR and XNOR logic gates. Further we demonstrate how the single dynamical system can do more complex operations such as bit-by-bit addition in just a few iterations. [Copyright &y& Elsevier]

Abstract: This paper discusses the steps taken to set up a digital logic course problem through a problem-based learning (PBL) constructivist approach. PBL is the learning which results from the process of working toward the understanding and resolution of a problem. The purpose of this study was to develop and implement problem-based learning in a digital logic course in a senior vocational industrial high school. Data collection included content analysis and a questionnaire survey. Content analysis was used to evaluate the students’ discussion messages, quality of dialogue, and the level of problem-solving activities. A survey was then administered to examine the students’ learning attitudes and perceptions toward this platform as a possible tool for PBL learning. Researchers found “Peer-responses” category is the most messages; the contents of messages focus on “General explanation” and “Reaction”; the level results of all groups’ problem-solving are similar; the index of the “Interaction” satisfaction level is the highest in PBL activity. Finally, some research suggestions were also proposed. [Copyright &y& Elsevier]

Ultra-thin-body silicon-on-insulator (UTB-SOI) is one of the most promising candidates for future CMOS technologies with minimum feature sizes below 50 nm . In this paper we analyze the impact of this emerging CMOS device concept on the performance of a representative selection of various digital CMOS circuits under different load conditions for typical ASIC/SOC applications. For compact modeling a physics-based fully depleted SOI model is used and combined with a technology scenario assuming an undoped Si-body, elevated source–drain regions, and midgap gate workfunction. [Copyright &y& Elsevier]