c5315-CY3950

Contributed by Kaveh Shamsi; University of Florida

Details:

c5315-CY3950

_______________________________________

DESCRIPTION:

  • Original Circuit: ISCAS85 benchmark c5315 [1]
  • Number of Gates: 2702
  • Number of Input: 573( 178 original inputs, 395 key inputs)
  • Number of Output: 123
  • Key size = 395
  • (16 cycles,
  • 16 as the lentgh of each)
  • Key input naming: 'keyinput[key number]' for unsynthesized file and 'keyinput[key number]' for synthesized file
  • Synthesis Library: NANGATE15nm_typ Library

    OBFUSCATION TECHNIQUE(S) IMPLEMENTED:

  • Obfuscation method: cyclic logic locking [2]

    TAXONOMY:

  • Obfuscation Method: Cyclic Obfuscation
  • Physical Characteristics -> Obfuscated Netlist Size -> 1000<#gates<5000
  • Key Size -> Other

    CONTACT:

  • Kaveh Shamsi
  • Florida Institute for Cybersecurity (FICS) Research
  • University of Florida
  • kshamsi@ufl.edu, yier.jin@ece.ufl.edu

    ACKNOWLEDGEMENT:

  • Meng Li, Travis Meade, Zheng Zhao, David Z. Pan, Yier Jin

    REFERENCES:

  • [1] ISCAS85 benchmarks http://www.pld.ttu.ee/~maksim/benchmarks/iscas85/verilog/
  • Shamsi Kaveh, Meng Li, Travis Meade, Zheng Zhao, David Z. Pan, and Yier Jin. "Cyclic obfuscation for creating sat-unresolvable circuits." In Proceedings of the on Great Lakes Symposium on VLSI 2017, pp. 173-178. ACM, 2017.
  • [none]