SystemC

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 42 articles , 1 standard article )

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

1 2 3 next

  1. Schrammel, Peter; Kroening, Daniel; Brain, Martin; Martins, Ruben; Teige, Tino; Bienmüller, Tom: Incremental bounded model checking for embedded software (2017)
  2. Hoare, Tony; van Staden, Stephan; Möller, Bernhard; Struth, Georg; Zhu, Huibiao: Developments in concurrent Kleene algebra (2016)
  3. Matsikoudis, Eleftherios; Lee, Edward A.: The fixed-point theory of strictly causal functions (2015)
  4. Quaglia, Davide; Muradore, Riccardo; Fiorini, Paolo: A systemc/MATLAB co-simulation tool for networked control systems (2015)
  5. Zhu, H.; He, Jifeng; Qin, Shengchao; Brooke, Phillip: Denotational semantics and its algebraic derivation for an event-driven system-level language (2015)
  6. Ebnenasir, Ali; Hajisheykhi, Reza; Kulkarni, Sandeep S.: Facilitating the design of fault tolerance in transaction level SystemC programs (2013)
  7. Soliman, Mostafa I.; Al-Junaid, Abdulmajid F.: A shared matrix unit for a chip multi-core processor (2013) ioport
  8. Cimatti, Alessandro; Narasamdya, Iman; Roveri, Marco: Boosting lazy abstraction for SystemC with partial order reduction (2011)
  9. Haxthausen, Anne E.; Peleska, Jan; Kinder, Sebastian: A formal approach for the construction and verification of railway control systems (2011)
  10. Kamkin, A. S.; Chupilko, M. M.: Survey of modern technologies of simulation-based verification of hardware (2011) ioport
  11. 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
  12. Hartmann, Philipp A.; Grüttner, Kim; Rettberg, Achim; Podolski, Ina: Distributed resource-aware scheduling for multi-core architectures with SystemC (2010)
  13. Kwiatkowska, Marta; Norman, Gethin; Parker, David: A framework for verification of software with time and probabilities (2010)
  14. 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
  15. Zhu, Huibiao; Yang, Fan; He, Jifeng: Generating denotational semantics from algebraic semantics for event-driven system-level language (2010)
  16. Aziz, Syed Mahfuzul: A cycle-accurate transaction level SystemC model for a serial communication bus (2009)
  17. Cansell, Dominique; Méry, Dominique; Proch, Cyril: System-on-chip design by proof-based refinement (2009) ioport
  18. Cheung, Eric; Chen, Xi; Hsieh, Harry; Davare, Abhijit; Sangiovanni-Vincentelli, Alberto; Watanabe, Yosinori: Runtime deadlock analysis for system level design (2009) ioport
  19. Helmstetter, C.; Maraninchi, F.; Maillet-Contoz, L.: Full simulation coverage for SystemC transaction-level models of systems-on-a-chip (2009)
  20. Riccobene, Elvinia; Scandurra, Patrizia: Model transformations in the UPES/UPSoC development process for embedded systems (2009) ioport

1 2 3 next