Clock Gating Synthesis of Netlist with Cyclic Logic Paths.

Yonghwi Kwon Inhak Han Youngsoo Shin

Published in: ICCAD (2019)

Keyphrases

logic synthesis
functional programs
modal logic
fixed point semantics
logic programming
power consumption
low cost
power reduction