Atomically thin two-dimensional (2D) materials belonging to transition metal
dichalcogenides, due to their physical and electrical properties, are an exceptional vector for …

Exact synthesis is a versatile logic synthesis technique with applications to logic
optimization, technology map**, synthesis for emerging technologies, and cryptography …

This article proposes a new logic synthesis and verification paradigm based on circuit
simulation. In this paradigm, high quality, expressive simulation patterns are pregenerated to …

This paper proposes a versatile map** approach that has three objectives: i) it can map
from one technology-independent graph representation to another; ii) it can map to a cell …

Logic rewriting is a powerful optimization technique that replaces small sections of a
Boolean network with better implementations. Typically, exact synthesis is used to compute …