Kimura Shinji | The Graduate School Of Information Science Advanced Institute Of Science And Technology

スポンサーリンク

概要

関連著者

もっと見る

著作論文

Timing Verification of Sequential Logic Circuits Based on Controlled Multi-Clock Path Analysis (Special Section on VLSI Design and CAD Algorithms)
Multi-Cycle Path Detection Based on Propositional Satisfiability with CNF Simplification Using Adaptive Variable Insertion (Special Section on VLSI Design and CAD Algorithms)
Robust Heuristics for Multi-Level Logic Simplification Considering Local Circuit Structure (Special Section on VLSI Design and CAD Algorithms)
Preciseness of Discrete Time Verification (Special Section on VLSI Design and CAD Algorithms)
Automatic Multi-Stage Clock Gating Optimization Using ILP Formulation
Fine Grain Power Gating Based on Controllability Propagation and Power-off Probability
Fine Grain Power Gating Based on Controllability Propagation and Power-off Probability
Fine Grain Power Gating Based on Controllability Propagation and Power-off Probability
Fine Grain Power Gating Based on Controllability Propagation and Power-off Probability

スポンサーリンク