SystemC and SystemVerilog: Where do They Fit? Where are They Going?
Proceedings of the conference on Design, automation and test in Europe - Volume 1
Synthesis of Embedded SystemC Design: A Case Study of Digital Neural Networks
Proceedings of the conference on Design, automation and test in Europe - Volume 3
ICDCSW '04 Proceedings of the 24th International Conference on Distributed Computing Systems Workshops - W7: EC (ICDCSW'04) - Volume 7
Modeling of CSP, KPN and SR systems with systemC
Languages for system specification
Proceedings of the conference on Design, Automation and Test in Europe - Volume 1
Design for Verification of SystemC Transaction Level Models
Proceedings of the conference on Design, Automation and Test in Europe - Volume 1
Application of the object-oriented principles for hardware and embedded system design
Integration, the VLSI Journal
Pinapa: an extraction tool for SystemC descriptions of systems-on-a-chip
Proceedings of the 5th ACM international conference on Embedded software
How to bridge the abstraction gap in system level modeling and design
Proceedings of the 2004 IEEE/ACM International conference on Computer-aided design
Simulation acceleration of transaction-level models for SoC with RTL sub-blocks
Proceedings of the 2005 Asia and South Pacific Design Automation Conference
On-Chip Communication Architectures: System on Chip Interconnect
On-Chip Communication Architectures: System on Chip Interconnect
A framework for heterogeneous specification and design of electronic embedded systems in SystemC
ACM Transactions on Design Automation of Electronic Systems (TODAES)
Exploring power reduction options for a single-chip multiprocessor through system-level modeling
Journal of Embedded Computing - Issues in embedded single-chip multicore architectures
A mixed-level virtual prototyping environment for SystemC-based design methodology
Microelectronics Journal
Rapid-prototyping emulation system co-emulation modelling interface for systemC real-time emulation
ICS'08 Proceedings of the 12th WSEAS international conference on Systems
Sysfier: Actor-based formal verification of SystemC
ACM Transactions on Embedded Computing Systems (TECS)
Design and verification of systemc transaction-level models
IEEE Transactions on Very Large Scale Integration (VLSI) Systems
Proceedings of the 21st edition of the great lakes symposium on Great lakes symposium on VLSI
Modeling the railway control domain rigorously with a UML 2.0 profile
SAFECOMP'06 Proceedings of the 25th international conference on Computer Safety, Reliability, and Security
SystemC waiting state automata
International Journal of Critical Computer-Based Systems
Building SystemC waiting state automata
VECoS'11 Proceedings of the Fifth international conference on Verification and Evaluation of Computer and Communication Systems
| Hi-index | 0.00 |