Keyword : mixed-integer linear programming


Improved MILP Modeling for Automatic Security Evaluation and Application to FOX
Kexin QIAO Lei HU Siwei SUN Xiaoshuang MA Haibin KAN 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2015/01/01
Vol. E98-A  No. 1 ; pp. 72-80
Type of Manuscript:  Special Section PAPER (Special Section on Cryptography and Information Security)
Category: Symmetric Key Based Cryptography
Keyword: 
FOX block cipherdifferential attackactive S-boxmixed-integer linear programming
 Summary | Full Text:PDF(1.7MB)

Optimal Common Sub-Expression Elimination Algorithm of Multiple Constant Multiplications with a Logic Depth Constraint
Yuen-Hong Alvin HO Chi-Un LEI Hing-Kit KWAN Ngai WONG 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2008/12/01
Vol. E91-A  No. 12 ; pp. 3568-3575
Type of Manuscript:  Special Section PAPER (Special Section on VLSI Design and CAD Algorithms)
Category: High-Level Synthesis and System-Level Design
Keyword: 
common sub-expression sharingmultiple constant multiplicationsmixed-integer linear programming
 Summary | Full Text:PDF(308.8KB)

Extending Pitchmatching Algorithms to Layouts with Multiple Grid Constraints
Hiroshi MIYASHITA 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 1996/06/25
Vol. E79-A  No. 6 ; pp. 900-909
Type of Manuscript:  PAPER
Category: VLSI Design Technology and CAD
Keyword: 
compactionpitchmatchingmultiple grid constraintsleaf cellsmacro cellsmixed-integer linear programming
 Summary | Full Text:PDF(846.4KB)