| About ALCom | News | People | Research | Publications | Tools | Student Info | Links |
Manage
2016-11-07 杜冠樺、孫翊庭、茅耀文、江誠敏榮獲 CAD Contest at ICCAD 2016 國際競賽第三名
2016-11-07 杜冠樺、茅耀文榮獲2016 ICCAD CADathlon 國際程式競賽第二名
2016-10-01 王宏恩榮獲中國電機工程學會105 年度「青年論文獎」第三名
2016-09-01 Paper on "Analytic Approaches to the Collapse Operation and Equivalence Verification of Threshold Logic Circuits" to appear in IEEE/ACM International Conference on Computer-Aided Design (ICCAD) 2016
2016-06-02 Paper on "String Analysis via Automata Manipulation with Logic Circuit Representation" to appear in International Conference on Computer Aided Verification (CAV) 2016
2016-06-01 Paper on "2QBF: Challenges and Solutions" to appear in International Conference on Computer Aided Verification (SAT) 2016
2016-05-01 Paper on "Design Partitioning for Large-Scale Equivalence Checking and Functional Correction" to appear and nominated as Best Paper Candidate in ACM/IEEE Design Automation Conference (DAC) 2016
2016-02-03 江庭瑋榮獲104年度臺灣積體電路設計學會博碩士論文獎
2015-11-05 江庭瑋榮獲台灣電機電子工程學會「最佳碩士論文優等獎」
2015-11-05 江庭瑋榮獲中國電機工程學會104 年度「青年論文獎」第三名
2015-11-02 孫翊庭、吳虹熠、方為、黃意堯榮獲 CAD Contest at ICCAD 2015 國際競賽第三名
2015-10-10 Paper on "A General Framework for Efficient Performance Analysis of Acyclic Asynchronous Pipelines" to appear in IEEE/ACM International Conference on Computer-Aided Design (ICCAD) 2015
2015-10-10 Paper on "SPOCK: Static Performance Analysis and Deadlock Verification for Efficient Asynchronous Circuit Synthesis" to appear in IEEE/ACM International Conference on Computer-Aided Design (ICCAD) 2015
2015-10-10 Paper on "Asynchronous QDI Circuit Synthesis from Signal Transition Protocols" to appear in IEEE/ACM International Conference on Computer-Aided Design (ICCAD) 2015
2015-10-10 Paper on "Property-Directed Synthesis of Reactive Systems from Safety Specifications" to appear in IEEE/ACM International Conference on Computer-Aided Design (ICCAD) 2015
2015-09-15 Paper on "Reconfigurable Neuromorphic Computation in Biochemical Systems" published in the 37th International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC)
2015-09-15 Paper on "Synthesizing Configurable Biochemical Implementation of Linear Systems from Their Transfer Function Specifications" to appear in PLOS ONE
2015-07-12 Paper on "Scalable Sequence-Constrained Retention Register Minimization in Power Gating Design" published in ACM/IEEE Design Automation Conference (DAC) 2015
2014-11-12 莊紀詮榮獲2014「資訊學會碩博士最佳論文獎」
2014-11-12 包偉力榮獲中技社103年度『科技獎學金』外籍研究生科技研究獎
2014-11-09 Paper on "Efficient Extraction of QBF (Counter)models from Long-Distance Resolution Proofs" to appear in the 29th AAAI Conference on Artificial Intelligence (AAAI-15)
2014-11-09 何欣諺、林碩紝、袁克倫榮獲 CAD Contest at ICCAD 2014 競賽第二名
2014-10-01 Paper on "Towards Formal Evaluation and Verification of Probabilistic Design" to appear in IEEE/ACM International Conference on Computer-Aided Design (ICCAD) 2014
2014-10-01 何欣諺榮獲「台灣電機電子工程學會最佳碩士論文佳作獎」
2014-10-01 包偉力將於 IBM Research Lab in Haifa 實習(十月至十二月 2014)
2014-05-25 黃柏源榮獲2014年臺大電機系大學部「精專獎」首獎
2014-05-20 Paper on "Synthesis of PCHB-WCHB Hybrid Quasi-Delay Insensitive Circuits" to appear in ACM/IEEE Design Automation Conference (DAC) 2014
2013-11-09 杜冠樺榮獲102學年度臺灣積體電路製造股份有限公司贊助臺大電子所EDA組博士班研究生EDA/Design Methodology獎學金
2013-11-06 袁克倫榮獲台大電子所101學年度最佳碩士論文獎
2013-10-29 袁克倫、郭建言榮獲2013全研科技論文獎佳作
2013-10-25 何欣諺、林碩紝榮獲新思科技(Synopsys)APPs設計競賽特優獎
2013-10-19 Paper on "Automatic Test Pattern Generation for Delay Defects Using Timed Characteristic Functions" to appear in IEEE/ACM International Conference on Computer-Aided Design (ICCAD) 2013
2013-10-19 Paper on "Encoding Multi-Valued Functions for Symmetry" to appear in IEEE/ACM International Conference on Computer-Aided Design (ICCAD) 2013
2013-03-27 Kuan-Hua Tu received the A. Richard Newton Young Fellow award of the 50th ACM/IEEE Design Automation Conference.
2013-02-27 Paper on "Synthesis of Feedback Decoders for Initialized Encoders" to appear in ACM/IEEE Design Automation Conference (DAC) 2013
2013-01-14 鍾逸亭榮獲台大電子所100學年度最佳碩士論文獎
2012-11-14 韓承駪榮獲2012年中華民國資訊學會最佳碩博士論文獎
2012-10-19 鍾逸亭榮獲「中國電機工程學會101年青年論文獎」第三名
2012-10-01 韓承駪榮獲「台灣電機電子工程學會最佳碩士論文優等獎」
2012-09-19 黃德安、黃瑞陽榮獲台大科林論文獎
2012-07-06 SimpSat, our SAT solver, ranked 6th and 4th for the Application and Hard Combinatorial tracks, respectively, among the single-engine solvers in SAT Challenge 2012.
2012-06-04 Paper on "Compiling Program Control Flows into Biochemical Reactions" is to appear in the International Conference on Computer-Aided Design 2012 (ICCAD’12)
2012-06-04 Paper on "Henkin Quantifiers and Boolean Formulae" is to appear in the International Conference on Theory and Applications of Satisfiability Testing 2012 (SAT’12)
2012-03-29 Paper on "Functional Timing Analysis Made Fast and General" is to be published in the Design Automation Conference 2012 (DAC’12)
2012-03-29 Paper on "When Boolean Satisfiability Meets Gaussian Elimination in a Simplex Way" is to be published in the International Conference on Computer Aided Verification 2012 (CAV’12)
2011-12-10 劉修源、周彥丞榮獲台大科林論文獎
2011-12-10 Paper on "Towards Completely Automatic Decoder Synthesis" is published in the International Conference on Computer Aided Design 2011 (ICCAD’11)
2011-06-01 劉修源、周彥丞榮獲台大電機系99學年度「大學部優良專題製作成果報告甄選」參獎
2011-06-01 林碩紝、袁克倫榮獲「九十九學年度大學校院積體電路電腦輔助設計(CAD)軟體製作競賽」優等
2011-04-01 Paper on "Resolution Proofs and Skolem Functions in QBF Evaluation and Applications" will be published in the International Conference on Computer Aided Verification 2011 (CAV’11)
2010-10-28 賴之凡榮獲「中國電機工程學會99年青年論文獎」
2010-10-28 賴之凡榮獲台大電子所98學年度最佳碩士論文獎
2010-09-02 Congratulations to Chih-Fan Lai for receiving the 2010 SpringSoft EDA Scholarship for publication in DAC 2010
2010-09-02 Congratulations to Chih-Fan Lai for receiving the 2010 SpringSoft EDA Scholarship for publication in ICCAD 2010
2010-09-02 Paper on "Boolean Matching of Function Vectors with Strengthened Learning" will be published in the International Conference on Computer Aided Design 2010 (ICCAD’10)
2010-03-10 Paper on "BooM: A Decision Procedure for Boolean Matching with Abstraction and Dynamic Learning" was accepted as a regular paper and nominated as a best paper candidate for the 47th Design Automation Conference (DAC 2010)
2009-12-08 林炫伯榮獲台大電子所97學年度最佳碩士論文獎
2009-12-08 "SAT based functional decomposition" was adopted as a programming contest problem in the ACM SIGDA’s CADathlon at ICCAD 2009
2009-10-14 林炫伯榮獲「中國電機工程學會98年青年論文獎」
2009-09-02 Paper on "Interpolating Functions from Large Boolean Relations" will be published in the International Conference on Computer Aided Design 2009 (ICCAD’09)
2009-09-02 Congratulations to Hsuan-Po Lin and Wei-Lun Hung for receiving the 2009 SpringSoft EDA Scholarship in recognition of their work on Boolean relation determinization.
2009-05-05 A new compositional approach to quantifier elimination will be published in the International Conference on Computer Aided Verification 2009 (CAV’09)
2008-08-14 Paper on "To SAT or Not to SAT: Ashenhurst Decomposition in a Large Scale" is accepted to ICCAD 2008.
2008-08-14 Paper on "A Dynamic Accuracy-Refinement Approach to Timing-Driven Technology Mapping" is accepted to ICCD 2008.
2008-08-14 Congratulations to Hsuan-Po Lin for receiving the 2008 SpringSoft EDA Scholarship in recognition of his work on SAT-based Ashenhurst decomposition.
2008-08-14 Congratulations to Ruei-Rung Lee for receiving the 2008 SpringSoft EDA Scholarship in recognition of his work on SAT-based bi-decomposition.
2008-03-14 Paper on "Bi-Decomposing Large Boolean Functions via Interpolation and Satisfiability Solving" is accepted to DAC.
2007-12-24 Press reports of ICCAD papers
2007-12-19 NTU researchers published 9 papers in the International Conference on Computer-Aided Design (ICCAD) this year, including 2 best paper candidates. 臺大團隊再創佳績 ICCAD以9篇論文領先產學界位居全球之冠
2007-09-29 Congratulations to Wei-Lun Hung for receiving the SpringSoft EDA Scholarship in recognition of his work on inductive equivalence checking under retiming and resynthesis.
2007-06-21 Paper on "Scalable Exploration of Functional Dependency by Interpolation and Incremental SAT Solving" is accepted to ICCAD.
2007-06-21 Paper on "Inductive Equivalence Checking under Retiming and Resynthesis" is accepted to ICCAD.
2007-06-13 Paper on "A Statistical Approach to the Timing-Yield Optimization of Pipeline Circuits" to appear in Proceedings PATMOS 2007.
2007-02-06 A new formulation of quantum mechanical search using harmonic perturbation is available on the Los Alamos preprint archive.
2006-11-29 International joint project with Russian researchers gets 3-year financial support from National Science Council
2006-11-04 Article on Retiming and Resynthesis to appear in the Dec. 2006 issue of IEEE Transactions on Computer Aided Design
2006-10-29 Relocating to Ming-Dar Hall, the 4th EE Building, in Jan. 2007

 
2010-03-10
Paper on "BooM: A Decision Procedure for Boolean Matching with Abstraction and Dynamic Learning" was accepted as a regular paper and nominated as a best paper candidate for the 47th Design Automation Conference (DAC 2010)
Boolean matching determines whether two given (in)completely-specified Boolean functions can be identical or complementary to each other under permutation and/or negation of their input variables. Due to its broad applications in logic synthesis and verification, it attracted much attention. Most prior efforts however were incomplete and/or restricted to certain special matching conditions. In contrast, this paper focuses on the computation kernel of Boolean matching and proposes a complete generic framework. Through conflict-driven learning and abstraction, the capacity of Boolean matching scales up due to the effective pruning of infeasible matching solutions. Experiments show encouraging results in resolving hard instances that are otherwise unsolvable.

About the venue:
This year, 2010, the ACM/IEEE Design Automation Conference received 607 papers. Only 148 of the papers were selected by the Technical Program Committee, a 24% acceptance rate. Among the accepted papers, 9 were nominated as best paper candidates.
 
© 2007 Applied Logic and Computation Laboratory, GIEE, NTU. All rights reserved.