Semiconductor Engineering

LLM- Based Techniques To Support Behavior-Driven Development For HW Design (U. of Bremen, DFKI)

A new technical paper titled “LLM-based Behaviour Driven Development for Hardware Design” was published by researchers at ...
Communications of the ACM

Equation-Directed Axiomatization of Lustre Semantics to Enable Optimized Code Validation

C compiler, LustreC, into a generator of both executable code and associated specification. Model-based design tools are ...
IEEE

Application of Phase-Based Circuit Theory to RSFQ Logic Design

Abstract: In contrast to transistor-based semiconductor circuits, there is currently no widely accepted formalized circuit theory or design methodology for superconductor rapid single flux quantum ...
IEEE

Design of ternary logic circuits using CNTFET

Abstract: The work in this paper presents the design of ternary logic circuits using MOSFET-like carbon nanotube field effect transistor (CNTFET). The ternary logic is one of multivalued logic ...