Protecting combinational logic synthesis solutions

被引:27
|
作者
Kirovski, Darko [1 ]
Hwang, Yean-Yow
Potkonjak, Miodrag
Cong, Jason
机构
[1] Microsoft Res, Redmond, WA 98052 USA
[2] Velogix Inc, Res & Dev, Santa Clara, CA 95054 USA
[3] Univ Calif Los Angeles, Dept Comp Sci, Los Angeles, CA 90095 USA
基金
美国国家科学基金会;
关键词
intellectual property protection; logic synthesis; multilevel combinational synthesis; template matching; watermarking;
D O I
10.1109/TCAD.2006.882490
中图分类号
TP3 [计算技术、计算机技术];
学科分类号
0812 ;
摘要
Recently, design reuse has emerged as a dominant design and system-integration paradigm for modern systems on silicon. However, the intellectual-property-business model is vulnerable to many dangerous obstructions, such as misappropriation and copyright fraud. The authors propose a new method for intellectual-property protection that relies upon design watermarking at the combinational-logic-synthesis level. They introduce two protocols for embedding user- and tool-specific information into a logic network while performing multilevel logic minimization and technology mapping, two standard-optimization processes during logic synthesis. The hidden information can be used to protect both the design and the synthesis tool. The authors demonstrate that the difficulty of erasing or finding a valid signature in the synthesized design can be made arbitrarily computationally difficult. In order to evaluate the developed-watermarking method, the authors applied it to a standard set of real-life benchmarks, where high probability of authorship was achieved with negligible overhead on solution quality.
引用
收藏
页码:2687 / 2696
页数:10
相关论文
共 50 条
  • [1] Intellectual property protection by watermarking combinational logic synthesis solutions
    Kirovski, D
    Hwang, YY
    Potkonjak, M
    Cong, J
    1998 IEEE/ACM INTERNATIONAL CONFERENCE ON COMPUTER-AIDED DESIGN: DIGEST OF TECHNICAL PAPERS, 1998, : 194 - 198
  • [3] Combinational logic synthesis for diversity in duplex systems
    Mitra, S
    McCluskey, EJ
    INTERNATIONAL TEST CONFERENCE 2000, PROCEEDINGS, 2000, : 179 - 188
  • [4] A logic programming framework for combinational circuit synthesis
    Tarau, Paul
    Luderman, Brenda
    LOGIC PROGRAMMING, PROCEEDINGS, 2007, 4670 : 180 - +
  • [5] SYNTHESIS OF COMBINATIONAL LOGIC-SEQUENCE CONTROLLERS
    WOODWARD, ME
    PUGH, A
    ELECTRONICS LETTERS, 1972, 8 (01) : 17 - &
  • [6] APPLICATIONS OF BOOLEAN UNIFICATION TO COMBINATIONAL LOGIC SYNTHESIS
    KUKIMOTO, Y
    FUJITA, M
    IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, 1992, E75A (10) : 1212 - 1219
  • [7] A SYNTHESIS OF COMBINATIONAL LOGIC WITH NAND OR NOR ELEMENTS
    ELLIS, DT
    IEEE TRANSACTIONS ON ELECTRONIC COMPUTERS, 1965, EC14 (05): : 701 - &
  • [8] SYNTHESIS OF DELAY FAULT TESTABLE COMBINATIONAL LOGIC
    ROY, K
    ABRAHAM, JA
    DE, K
    LUSKY, S
    1989 IEEE INTERNATIONAL CONFERENCE ON COMPUTER-AIDED DESIGN: DIGEST OF TECHNICAL PAPERS, 1989, : 418 - 421
  • [9] Protecting Combinational Logic in Pipelined Microprocessor Cores Against Transient and Permanent Faults
    Wali, I.
    Virazel, A.
    Bosio, A.
    Dilillo, L.
    Girard, P.
    Todri, A.
    PROCEEDINGS OF THE 2014 IEEE 17TH INTERNATIONAL SYMPOSIUM ON DESIGN AND DIAGNOSTICS OF ELECTRONIC CIRCUITS & SYSTEMS (DDECS), 2014, : 223 - 225
  • [10] AUTOMATED PLA SYNTHESIS OF THE COMBINATIONAL LOGIC OF A DDL DESCRIPTION
    DIETMEYER, DL
    DOSHI, MH
    JOURNAL OF DESIGN AUTOMATION & FAULT-TOLERANT COMPUTING, 1979, 3 (3-4): : 241 - 257