Add to ORKGThe co-design of hardware and software systems with object oriented design languages like SystemC has become very popular. Static analysis of those descriptions allows to conduct the design process with metrics regarding quality of the code as well as with estimations of the properties of the final design. This paper shows the utilization of software metrics and the computation of high level metrics for SystemC, whose generation is embedded into a complete design methodology. The performance of this analysis process is demonstrated on a UMTS cell searching unit. 1
In this paper we present a UML 2.0 profile for the SystemC language, which is a consistent set of mo...
The growing complexity of System-on-a-Chips (SoCs) and rapidly decreasing time-to-market have pushed...
In this paper we show how to improve the system level design flow for System-on-Chip currently used ...
The introduction of design languages, such as SystemC 2.0, that allow the modelling of digital syste...
The complexity of hardware designs is still increasing according to Moore’s law. With embedded syste...
The introduction of design languages, such as SystemC 2.0, that allow the modelling of digital syste...
Due to the ever increasing complexity of hardware and hardware/software co-designs, developers striv...
A novel approach for formal verification of SystemC designs is presented which is based on static an...
Traditionally codesign flow aims to help the designers to take decisions about the system architectu...
Much software for embedded systems is written in languages such as C. This is known to be error pron...
Traditionally codesign flow aims to help the designers to take decisions about the system architectu...
In this paper, we present a SoC design methodology joining the capabilities of UML and SystemC to op...
Due to the ever increasing complexity of hardware and hardware/software co-designs, developers striv...
2Abstract • This tutorial will cover SystemC from more than just a language perspective. It will sta...
Aim of this thesis is to produce a tool which performs static analysis on C language source code. Re...
In this paper we present a UML 2.0 profile for the SystemC language, which is a consistent set of mo...
The growing complexity of System-on-a-Chips (SoCs) and rapidly decreasing time-to-market have pushed...
In this paper we show how to improve the system level design flow for System-on-Chip currently used ...
The introduction of design languages, such as SystemC 2.0, that allow the modelling of digital syste...
The complexity of hardware designs is still increasing according to Moore’s law. With embedded syste...
The introduction of design languages, such as SystemC 2.0, that allow the modelling of digital syste...
Due to the ever increasing complexity of hardware and hardware/software co-designs, developers striv...
A novel approach for formal verification of SystemC designs is presented which is based on static an...
Traditionally codesign flow aims to help the designers to take decisions about the system architectu...
Much software for embedded systems is written in languages such as C. This is known to be error pron...
Traditionally codesign flow aims to help the designers to take decisions about the system architectu...
In this paper, we present a SoC design methodology joining the capabilities of UML and SystemC to op...
Due to the ever increasing complexity of hardware and hardware/software co-designs, developers striv...
2Abstract • This tutorial will cover SystemC from more than just a language perspective. It will sta...
Aim of this thesis is to produce a tool which performs static analysis on C language source code. Re...
In this paper we present a UML 2.0 profile for the SystemC language, which is a consistent set of mo...
The growing complexity of System-on-a-Chips (SoCs) and rapidly decreasing time-to-market have pushed...
In this paper we show how to improve the system level design flow for System-on-Chip currently used ...