SystemC: From the ground up. SystemC provides a robust set of extensions to C++ that enables rapid development of complex hardware/software systems. This book focuses on the practical uses of the language for modeling real systems. The wealth of examples and downloadable code methodically guide the reader through the finer points of the SystemC language. par This work provides: A step-by-step build-up of syntax; NEW features of SystemC 2.1; Code examples for each concept; Many resource references; Coding styles and guidelines; Over 52 downloadable code examples (over 8,000 lines); Exercises throughout the book; How SystemC fits into the system design methodology; Why features are as they are.par Well-known consultants in the EDA industry, both David Black and Jack Donovan have been involved in the adoption and teaching of new technologies and methodologies for a combined total of 42+ years. Recently, they jointly founded a consultancy, Eklectic Ally, focused on helping companies adopt SystemC methodologies.

References in zbMATH (referenced in 39 articles , 1 standard article )

Showing results 1 to 20 of 39.
Sorted by year (citations)

1 2 next

  1. Hoare, Tony; van Staden, Stephan; Möller, Bernhard; Struth, Georg; Zhu, Huibiao: Developments in concurrent Kleene algebra (2016)
  2. Matsikoudis, Eleftherios; Lee, Edward A.: The fixed-point theory of strictly causal functions (2015)
  3. Zhu, H.; He, Jifeng; Qin, Shengchao; Brooke, Phillip: Denotational semantics and its algebraic derivation for an event-driven system-level language (2015)
  4. Ebnenasir, Ali; Hajisheykhi, Reza; Kulkarni, Sandeep S.: Facilitating the design of fault tolerance in transaction level SystemC programs (2013)
  5. Soliman, Mostafa I.; Al-Junaid, Abdulmajid F.: A shared matrix unit for a chip multi-core processor (2013) ioport
  6. Cimatti, Alessandro; Narasamdya, Iman; Roveri, Marco: Boosting lazy abstraction for SystemC with partial order reduction (2011)
  7. Haxthausen, Anne E.; Peleska, Jan; Kinder, Sebastian: A formal approach for the construction and verification of railway control systems (2011)
  8. Lecomte, Stéphane; Guillouard, Samuel; Moy, Christophe; Leray, Pierre; Soulard, Philippe: A co-design methodology based on model driven architecture for real time embedded systems (2011) ioport
  9. Hartmann, Philipp A.; Grüttner, Kim; Rettberg, Achim; Podolski, Ina: Distributed resource-aware scheduling for multi-core architectures with SystemC (2010)
  10. Kwiatkowska, Marta; Norman, Gethin; Parker, David: A framework for verification of software with time and probabilities (2010)
  11. Wang, N.; Sanusi, A.; Zhao, P.Y.; Elgamel, M.; Bayoumi, M.A.: PMCNOC: a pipelining multi-channel central caching network-on-chip communication architecture design (2010) ioport
  12. Zhu, Huibiao; Yang, Fan; He, Jifeng: Generating denotational semantics from algebraic semantics for event-driven system-level language (2010)
  13. Aziz, Syed Mahfuzul: A cycle-accurate transaction level SystemC model for a serial communication bus (2009)
  14. Cansell, Dominique; Méry, Dominique; Proch, Cyril: System-on-chip design by proof-based refinement (2009) ioport
  15. Cheung, Eric; Chen, Xi; Hsieh, Harry; Davare, Abhijit; Sangiovanni-Vincentelli, Alberto; Watanabe, Yosinori: Runtime deadlock analysis for system level design (2009) ioport
  16. Helmstetter, C.; Maraninchi, F.; Maillet-Contoz, L.: Full simulation coverage for SystemC transaction-level models of systems-on-a-chip (2009)
  17. Riccobene, Elvinia; Scandurra, Patrizia: Model transformations in the UPES/UPSoC development process for embedded systems (2009) ioport
  18. Ditmar, Johan; Mckeever, Steve; Wilson, Alex: Area optimisation for field-programmable gate arrays in systemc hardware compilation (2008) ioport
  19. Fey, Görschwin; Drechsler, Rolf: Robustness and usability in modern design flows (2008)
  20. Gladigau, Jens; Blendinger, Frank; Haubelt, Christian; Teich, Jürgen: Symbolic model checking of actor-oriented high-level SystemC models with interval diagrams (2008)

1 2 next