The formal execution semantics of SpecC
Proceedings of the 15th international symposium on System Synthesis
System-level abstraction semantics
Proceedings of the 15th international symposium on System Synthesis
Automatic communication refinement for system level design
Proceedings of the 40th annual Design Automation Conference
Embedded systems education: how to teach the required skills?
Proceedings of the 2nd IEEE/ACM/IFIP international conference on Hardware/software codesign and system synthesis
Application of the object-oriented principles for hardware and embedded system design
Integration, the VLSI Journal
VCore-based platform for SoC design
ASP-DAC '03 Proceedings of the 2003 Asia and South Pacific Design Automation Conference
System-level communication modeling for network-on-chip synthesis
Proceedings of the 2005 Asia and South Pacific Design Automation Conference
UML-based multiprocessor SoC design framework
ACM Transactions on Embedded Computing Systems (TECS)
On-Chip Communication Architectures: System on Chip Interconnect
On-Chip Communication Architectures: System on Chip Interconnect
Automatic generation of embedded communication SW for heterogeneous MPSoC platforms
Proceedings of the 2007 ACM SIGPLAN/SIGBED conference on Languages, compilers, and tools for embedded systems
Formal techniques for SystemC verification
Proceedings of the 44th annual Design Automation Conference
Resampling algorithms for particle filters: a computational complexity perspective
EURASIP Journal on Applied Signal Processing
Dataflow Architectures for GALS
Electronic Notes in Theoretical Computer Science (ENTCS)
Automatic re-coding of reference code into structured and analyzable SoC models
Proceedings of the 2008 Asia and South Pacific Design Automation Conference
VHDL vs. Bluespec system verilog: a case study on a Java embedded architecture
Proceedings of the 2008 ACM symposium on Applied computing
Specify-explore-refine (SER): from specification to implementation
Proceedings of the 45th annual Design Automation Conference
Model Transformations for the Compilation of Multi-processor Systems-on-Chip
Generative and Transformational Techniques in Software Engineering II
Partial order method for timed simulation of system-level MPSoC designs
Proceedings of the 2009 Asia and South Pacific Design Automation Conference
Proceedings of th 12th International Workshop on Software and Compilers for Embedded Systems
An interactive design environment for C-based high-level synthesis of RTL processors
IEEE Transactions on Very Large Scale Integration (VLSI) Systems
Communication model exploration for distributed embedded systems and system level interpretations
EUC'07 Proceedings of the 2007 conference on Emerging direction in embedded and ubiquitous computing
Platform modeling for exploration and synthesis
Proceedings of the 2010 Asia and South Pacific Design Automation Conference
Designer-in-the-loop recoding of ESL models using static parallel access conflict analysis
Proceedings of the 16th International Workshop on Software and Compilers for Embedded Systems
| Hi-index | 0.00 |
From the Publisher:"System Design: A Practical Guide with SpecC will benefit designers and design managers of complex SOCs, or embedded systems in general, by allowing them to develop new methodologies from these results, in order to increase design productivity by orders of magnitude. Designers at RTL, logical or physical levels, who are interested in moving up to the system-level, will find a comprehensive overview within. The design models in the book define IP models and functions for IP exchange between IP providers and their users. A well-defined methodology like the one presented in this book will help product planning divisions to quickly develop new products or to derive completely new business models, like e-design or product-on-demand. Finally, researchers and students in the area of system design will find an example of a formal, well-structured design flow in this book."--BOOK JACKET.