2-SAT Based Linear Time Optimum Two-Domain Clock Skew Scheduling in General-Synchronous Framework Yukihide KOHIRAAtsushi TAKAHASHI
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 2014/12/01 Vol. E97-ANo. 12 ;
pp. 2459-2466 Type of Manuscript: Special Section PAPER (Special Section on VLSI Design and CAD Algorithms) Category: Logic Synthesis, Test and Verification Keyword: general-synchronous framework, multi-domain clock skew scheduling, two-domain clock skew scheduling, 2-SAT,