Skip to main content

IP Cores Design from Specifications to Production: Modeling, Verification, Optimization, and Protection

  • Chapter
IP Cores Design from Specifications to Production

Part of the book series: Analog Circuits and Signal Processing ((ACSP))

Abstract

As stated earlier in the previous chapter, plug and play IP in SoC design is the recent trend in VLSI design (Fig. 2.1). IP cores life cycle process from specification to production includes four major steps: (1) IP modeling, (2) IP verification, (3) IP optimization, (4) IP protection. These steps are elaborated in Fig. 2.2. In the next sections, we will discuss each step in detail.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD 54.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

References

  1. www.cs.clemson.edu/~mark/464/fab.pdf

  2. Rafla NI, Davis, Brett LaVoy (2006) A study of finite state machine coding styles for implementation in FPGAs. 49th IEEE International Midwest Symposium on Circuits and Systems, San Juan

    Google Scholar 

  3. Roudier T, Moussa I, di Crescenzo P (2003) IP modelling and reuse for system level design. Published for DATE

    Google Scholar 

  4. http://www.esa.int/TEC/Microelectronics/SEM6Z0AMT7G_0.html

  5. Simpson P, Jagtiani A (2007) How to achieve faster compile times in high-density FPGA. EE Times

    Google Scholar 

  6. Ricardo R, Marcelo L, Jochen J (2010) Design of systems on chip: design and test. Springer, Dordrecht

    Google Scholar 

  7. Clive M (ed) (2007) FPGAs: world class design. Newness, Burlington

    Google Scholar 

  8. Hauck S, DeHon A (2008) Reconfigurable computing: the theory and practice of FPGA-based computation. Morgan Kaufmann, Burlington

    Google Scholar 

  9. Maxfield CM (2004) The design warrior’s guide to FPGAs. Newnes, Burlington

    Google Scholar 

  10. Betz V, Rose J, Marquardt A (1999) Architecture and CAD for deep-submicron FPGAs. Kluwer, Boston

    Book  Google Scholar 

  11. Sutherland S, Davidmann S, Flake P (2003) Systemverilog for design: a guide to using systemverilog for hardware design and modeling. Kluwer, Norwell

    Google Scholar 

  12. Black D, Donovan J, Bunton B, Keist A (2010) SystemC: from the ground up, 2nd edn. Springer, New York. ISBN 978-0-387-69957-8

    Book  Google Scholar 

  13. Goel P, Adhikari S (2014) Introduction to next generation verification language—Vlang. DVCON Conference and Exhibition, Munich

    Google Scholar 

  14. Schwartz RL, Phoenix T (2008) Learning PERL. O’Reilly Media, Sebastopol

    Google Scholar 

  15. www.ActiveState.com

  16. Ucoluk G, Kalkan S (2007) Introduction to programming concepts with case studies in python. Springer, London

    Google Scholar 

  17. http://www.accellera.org/activities/committees/ip-xact

  18. IEEE 1685-2009 IPXACT. Accessed 18 Feb 2010

    Google Scholar 

  19. Kulkarni R (2013) Automated RTL generator. M.Sc. Thesis, San Jose State University

    Google Scholar 

  20. Axelson J (1997) The microcontroller idea book. Lakeview Research, Madison

    Google Scholar 

  21. Sherwani NA (1999) Algorithms for VLSI physical design automation, 3rd edn. Kluwer, Boston

    Google Scholar 

  22. Sung Kyu L (2008) Practical problems in VLSI physical design automation. Springer, New York

    Google Scholar 

  23. Clein D (2000) CMOS IC layout concepts, methodologies, and tools. Butterworth–Heinemann, Newton

    Google Scholar 

  24. Coombs CF Jr (2001) Printed circuits handbook. McGraw-Hill, New York

    MATH  Google Scholar 

  25. Masahiro F, Indradeep G, Mukul P (2008) Verification techniques for system-level design. Morgan Kaufmann, San Francisco

    Google Scholar 

  26. Khan MA, Pittman RN, Forin A (2010) gNOSIS: a board-level debugging and verification tool. Proceedings of the IEEE Conference on ReConFigurable Computing and FPGAs (ReConFig), Microsoft Research, Redmond. pp 43–48

    Google Scholar 

  27. http://www.guru99.com/positive-vs-negative-testing.html

  28. Pradhan DK, Harris IG (2009) Practical design verification. Cambridge University Press, Cambridge

    Book  Google Scholar 

  29. Singh L, Drucker L, Khan N (2004) Advanced verification techniques: a SystemC based approach for successful. Kluwer, Boston

    Google Scholar 

  30. Scheffer L, Lavagno L, Martin G (2006) EDA for IC system design, verification, and testing. CRC, Boca Raton

    Google Scholar 

  31. https://zentronics.wordpress.com/tag/pcb-design-2/

  32. Cassel M, Kastensmidt FL (2006) Evaluating one-hot encoding finite state machines for SEU reliability in SRAM-based FPGAs. Proceedings of 12th IEEE International On-Line Testing Symposium (IOLTS 2006), IEEE, Washington, p 6

    Google Scholar 

  33. http://www.arm.com/files/pdf/New_Whitepaper_Layout_Solving_Next_Generation_IP_Configurability.pdf. Accessed 2015

  34. Bhuvaneswari K, Srinivasa Rao V (2013) Dynamic partial reconfiguration in low-cost FPGAs. Int J Sci Eng Res 4(9):1410–1413

    MATH  Google Scholar 

  35. Drahonovsky T, Rozkovec M, Novak O (2013) Relocation of reconfigurable modules on Xilinx FPGA. Proceedings of the 2013 IEEE 16th International Symposium on Design and Diagnostics of Electronic Circuits & Systems (DDECS), IEEE, Karlovy Vary, pp 175–180

    Google Scholar 

  36. Partial reconfiguration user guide, Ug702 (v12.3) ed., Xilinx Corporation, October 2012

    Google Scholar 

  37. Partial reconfiguration of Xilinx FPGAs using ISE design suite, Xilinx Corporation, July 2012

    Google Scholar 

  38. Dunkley R (2012) Supporting a wide variety of communication protocols using partial dynamic reconfiguration. Proc IEEE Autotestcon 2012:120–125

    Google Scholar 

  39. Marques N, Rabah H, Dabellani E, Weber S (2011) Partially reconfigurable entropy encoder for multi standards video adaptation. 2011 IEEE 15th International Symposium on Consumer Electronics (ISCE), June 2011, pp 492–496

    Google Scholar 

  40. Wang Lie, Wu Fengyan (2009) Dynamic partial reconfiguration in FPGA. Third International Symposium on Intelligent Information Technology Application, IEEE Computer Society, Nanchang, pp 445–448

    Google Scholar 

  41. Chakraborty RS, Bhunia S (2008) Hardware protection and authentication through netlist level obfuscation. Proceedings of the 2008 IEEE/ACM International Conference on Computer-Aided Design, San Jose, 10–13 November 2008

    Google Scholar 

  42. Chakraborty RS, Bhunia S (2009) HARPOON: an obfuscation-based SoC design methodology for hardware protection. IEEE Trans Comput Aided Des Integr Circuits Syst 28(10):1493–1502

    Article  Google Scholar 

  43. Kainth M, Krishnan L, Narayana C, Virupaksha SG, Tessier R (2015) Hardware-assisted code obfuscation for FPGA soft microprocessors. Proceedings of the 2015 Design, Automation & Test in Europe Conference & Exhibition, DATE, EDA Consortium, San Jose

    Google Scholar 

  44. Tehranipoor MM, Guin U, Forte D (2015) Counterfeit integrated circuits detection and avoidance. Springer, Cham

    Google Scholar 

  45. http://www.smi.tv/SMI_Circuit_Camo_Data_Sheet.pdf

  46. http://www.eetimes.com/electronics-news/4212418/Standard-issued-for-PCB-IP-protection

Download references

Author information

Authors and Affiliations

Authors

Rights and permissions

Reprints and permissions

Copyright information

© 2016 Springer International Publishing Switzerland

About this chapter

Cite this chapter

Mohamed, K.S. (2016). IP Cores Design from Specifications to Production: Modeling, Verification, Optimization, and Protection. In: IP Cores Design from Specifications to Production. Analog Circuits and Signal Processing. Springer, Cham. https://doi.org/10.1007/978-3-319-22035-2_2

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-22035-2_2

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-22034-5

  • Online ISBN: 978-3-319-22035-2

  • eBook Packages: EngineeringEngineering (R0)

Publish with us

Policies and ethics