Inki Hong
- 1.W. Bender, D. Gruhl, N. Morimoto, and A. Lu. Techniques for data hiding. IBM Systems Journal, 35(3&4):313-336, 1996. Google Scholar
Digital Library
- 2.S. Craver, N. Memon, B. L. Yeo, and M. M. Yeung. Can invisible watermarks resolve rightful ownerships? Technical report, IBM Research Technical Report RC 20509, 1996.Google Scholar
- 3.R.E. Crochiere and A.V. Oppenheim. Analysis of linear digital networks. Proceedings of the IEEE, 63(4):581-595, 1975.Google ScholarCross Ref
- 4.D. Fernandez. Intellectual property protection in the EDA industry. In Design Automation Conference, pages 161-163, 1994. Google ScholarDigital Library
- 5.M.R. Garey and D.S. Johnson. Computer and Inn'actability: A Guide to the theory ofNP-Completeness. W. H. Freeman & Co., New York, NY, 1979. Google ScholarDigital Library
- 6.E. Girczyc and S. Carlson. Increasing design quality and engineering productivity through design reuse. In Design Automation Conference, pages 48-53, 1993. Google ScholarDigital Library
- 7.Virtual Socket Initiative. http://www, vsi.org.Google Scholar
- 8.D.S. Johnson, C.R. Aragon, L.A. McGeoch, and C. Schevon. Optimization by simulated annealing: an experimental evaluation; II. graph coloring and number partitioning. Operations Research, 39(3):378-406, 1991. Google ScholarDigital Library
- 9.A. B. Kahng, et al. Robust IP Watermarking Methodologies for Physical Design. In Design Automation Conference, pages 782-787, 1998. Google ScholarDigital Library
- 10.D. Kirovski, Y.-Y. Hwang, M. Potkonjak, and J. Cong. Intellectual Property Protection by Watermarking Combinational Logic Synthesis Solutions. In International Conference on Computer-Aided Design, pages 194-198, 1998. Google ScholarDigital Library
- 11.S. Lin and D.J. Costello. Error Control Coding. Prentice Hall, 1983. Google ScholarDigital Library
- 12.G. De Micheli. Synthesis and optimization of digital circuits. McGraw-Hill, New York, NY, 1994. Google ScholarDigital Library
Index Terms
- Behavioral synthesis techniques for intellectual property protection
Recommendations
Behavioral synthesis techniques for intellectual property protection
We introduce dynamic watermarking techniques for protecting the value of intellectual property of CAD and compilation tools and reusable design components. The essence of the new approach is the addition of a set of design and timing constraints which ...
Optimizing equivalence checking for behavioral synthesis
DATE '10: Proceedings of the Conference on Design, Automation and Test in EuropeBehavioral synthesis is the compilation of an Electronic system-level (ESL) design into an RTL implementation. We present a suite of optimizations for equivalence checking of RTL generated through behavioral synthesis. The optimizations exploit the high-...
Comments