CAD for Assurance of Electronic Systems
 

Obfuscated Benchmarks: Sequential Obfuscation (ProtectIP)

Stage: RTL, HDL

Summary

A list of benchmarks being obfuscated using state space obfuscation technique. The base (original) benchmarks have been collected from Common Evaluation Platform (CEP), developed by MIT LL (see references) and being obfuscated to generate technology mapped gate-level netlists.

Contact

Md Moshiur Rahman

Dependencies

The benchmarks are in technology mapped gate-level netlist form. Relevant standard cell libraries can be found in the benchmark link.

The benchmarks are available at this link

References

MIT-LL,

Common Evaluation Platform (CEP) Miscellaneous

2020.

Abstract | Links | BibTeX

Chakraborty, Rajat Subhra; Bhunia, Swarup

HARPOON: An Obfuscation-Based SoC Design Methodology for Hardware Protection Journal Article

In: IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, vol. 28, no. 10, pp. 1493-1502, 2009, ISSN: 1937-4151.

Abstract | Links | BibTeX