1,397 followers
@chibiegg 規模が大きくなっても、充足可能かどうかは簡単に示せるしなあ、想像以上にやばかった… miniSATをGPUを使って解く論文が出てる(http://t.co/uWpxSrV4C1) 多分2010年なので、さらなる高速化も出来そうだ
Hardware Acceleration of EDA Algorithms
Overview of attention for book
Table of Contents
-
Altmetric BadgeBook Overview
-
Altmetric BadgeChapter 1 Introduction
-
Altmetric BadgeChapter 2 Hardware Platforms
-
Altmetric BadgeChapter 3 GPU Architecture and the CUDA Programming Model
-
Altmetric BadgeChapter 4 Accelerating Boolean Satisfiability on a Custom IC
-
Altmetric BadgeChapter 5 Accelerating Boolean Satisfiability on an FPGA
-
Altmetric BadgeChapter 6 Accelerating Boolean Satisfiability on a Graphics Processing Unit
-
Altmetric BadgeChapter 7 Accelerating statistical static Timing Analysis Using Graphics Processors
-
Altmetric BadgeChapter 8 Accelerating Fault Simulation Using Graphics Processors
-
Altmetric BadgeChapter 9 Fault Table Generation Using Graphics Processors
-
Altmetric BadgeChapter 10 Accelerating Circuit Simulation Using Graphics Processors
-
Altmetric BadgeChapter 11 Automated Approach for Graphics Processor Based Software Acceleration
-
Altmetric BadgeChapter 12 Conclusions