Nature

Reactive Systems Synthesis and Temporal Logic

Reactive systems synthesis is a rapidly evolving discipline that focuses on the automated construction of systems designed to interact continuously with complex and often unpredictable environments.
Electronic Design

In Adding Control-Logic Support, A High-Level Synthesis Tool Goes Full Chip

High-level synthesis (HLS), or the notion of synthesizing a design into RTL from a higher level of abstraction, has been gaining currency among design teams. For some time now, there have been ...
EDN

Control Synthesis Output with Combinatorial Logic in Procedural Code

While it is tempting to write RTL and let the synthesis tool take over, this isn’t the best way to get the results we want. In this article, we’ll learn how to create complex combinatorial code in ...
Semiconductor Engineering

HW Security: Flip-Flops Along Logic Gates to Prevent Synthesis Tools’ Structural Leakages (TU Dresden, Ruhr Univ. Bochum)

A new technical paper titled “Flip-Lock: A Flip-Flop-Based Logic Locking Technique for Thwarting ML-based and Algorithmic Structural Attacks” was published by researchers at TU Dresden and Ruhr ...
Seeking Alpha

QuickLogic Integrates Synopsys Synplify Synthesis for Best-in-Class Quality of Results

SAN JOSE, Calif., Feb. 10, 2025 /PRNewswire/ -- QuickLogic Corporation (QUIK), a leading provider of embedded FPGA (eFPGA) Hard IP, and ruggedized FPGAs, today announced the integration of the ...