Sequential Logic Synthesis

3. 2 رمزگذاری ورودی منطق دو سطحی هدف گیری . . . . . . . . 27 3. 2. 1 کدگذاری تک داغ و کمینه سازی چند ارزشی 28 3. 2. 2 محدودیت های ورودی و جاسازی چهره 30 3. 3 محدودیت های رمزگذاری رضایت بخش . . . . . . . 32 3. 3. 1 تعاریف . . . . . . . . . . . . . . . 32 3. 3. 2 ارضای محدودیت مبتنی بر ستون 33 3. 3. 3 رضایت محدودیت مبتنی بر ردیف. . 37 3. 3. 4 رضایت محدودیت با استفاده از دوگانگی. 38 3. 3. 5 بازپخت شبیه سازی شده برای ارضای محدودیت 41 3. 4 منطق چندسطحی هدف گذاری رمزگذاری ورودی. . 43 3. 4. 1 کرنل ها و تقاطع های هسته . . . 44 3. 4. 2 هسته و متغیرهای چند ارزشی 46 3. 4. 3 فاکتورسازی چند ارزشی. . . . . 48 3. 4. 4 تخمین اندازه در تجزیه جبری . 53 3. 4. 5 مرحله رمزگذاری. 54 3. 5 نتیجه گیری . . . . . . . . . 55 4 رمزگذاری خروجی های نمادین 57 4. 1 کدگذاری خروجی اکتشافی منطق دو سطحی هدف گذاری. 59 4. 1. 1 روابط سلطه. . . . . . . . . . . . . . . . 59 4. 1. 2 کدگذاری خروجی با اشتقاق روابط تسلط. . . . . . . . . . . . . . . . . . . . . 60 . . 4. 1. 3 اکتشافی برای به حداقل رساندن تعداد بیت های رمزگذاری. . . . . . . . . . . . 64 4. 1. 4 روابط گسسته . . . . . . . . . . . 65 4. 1. 5 خلاصه . . . . . . . . . . . . . . . . . . 66 . . 4. 2 رمزگذاری خروجی دقیق هدف گذاری منطق دو سطحی. 66 4. 2. 1 نسل ایمپلیکانتهای نخست تعمیم یافته. 68 4. 2. 2 انتخاب حداقل پوشش قابل رمزگذاری . . . 68 4. 2. 3 سلطه و روابط گسسته به محدودیت های S-isfy. . . . . . . . . . . 70 4. 2. 4 ساخت پوشش بهینه شده 73 4. 2. 5 درستی رویه. . 73 4. 2. 6 خروجی نمادین چندگانه . . .

3. 2 Input Encoding Targeting Two-Level Logic . . . . . . . . 27 3. 2. 1 One-Hot Coding and Multiple-Valued Minimization 28 3. 2. 2 Input Constraints and Face Embedding 30 3. 3 Satisfying Encoding Constraints . . . . . . . 32 3. 3. 1 Definitions . . . . . . . . . . . . . . . 32 3. 3. 2 Column-Based Constraint Satisfaction 33 3. 3. 3 Row-Based Constraint Satisfaction . . 37 3. 3. 4 Constraint Satisfaction Using Dichotomies . 38 3. 3. 5 Simulated Annealing for Constraint Satisfaction 41 3. 4 Input Encoding Targeting Multilevel Logic. . 43 3. 4. 1 Kernels and Kernel Intersections . . . 44 3. 4. 2 Kernels and Multiple-Valued Variables 46 3. 4. 3 Multiple-Valued Factorization. . . . . 48 3. 4. 4 Size Estimation in Algebraic Decomposition . 53 3. 4. 5 The Encoding Step . 54 3. 5 Conclusion . . . . . . . . . 55 4 Encoding of Symbolic Outputs 57 4. 1 Heuristic Output Encoding Targeting Two-Level Logic. 59 4. 1. 1 Dominance Relations. . . . . . . . . . . . . . . . 59 4. 1. 2 Output Encoding by the Derivation of Dominance Relations . . . . . . . . . . . . . . . . . . . . . 60 . . 4. 1. 3 Heuristics to Minimize the Number of Encoding Bits . . . . . . . . . . . . 64 4. 1. 4 Disjunctive Relationships . . . . . . . . . . . 65 4. 1. 5 Summary . . . . . . . . . . . . . . . . . . 66 . . 4. 2 Exact Output Encoding Targeting Two-Level Logic. 66 4. 2. 1 Generation of Generalized Prime Implicants . 68 4. 2. 2 Selecting a Minimum Encodeable Cover . . . 68 4. 2. 3 Dominance and Disjunctive Relationships to S- isfy Constraints . . . . . . . . . . . 70 4. 2. 4 Constructing the Optimized Cover 73 4. 2. 5 Correctness of the Procedure . . 73 4. 2. 6 Multiple Symbolic Outputs . . .