The Specc Language

Gajski, Daniel D.; Zhu, Jianwen; Dümer, Rainer; Gerstlauer, Andreas; Zhao, Shuqing

doi:10.1007/978-1-4615-4515-6_3

Cited by 7 publications

(2 citation statements)

References 0 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Designing SoC is a process of the whole system design flow from specification to implementation which is also a process of both hardware and software development. SpecC [1], [2] has been proposed as the standard system-level design language based on C programming language which covers the design levels from specification to behaviors. It can describe both software and hardware seamlessly and a useful tool for rapid prototyping as well.…”

Section: Introductionmentioning

confidence: 99%

Verification of Synchronization in SpecC Description with the Use of Difference Decision Diagrams

Sakunkonchak

Komatsu

Fujita

System Specification &Amp; Design Languages

View full text Add to dashboard Cite

SpecC language is designated to handle the design of entire system from specification to implementation and of hardware/software co-design. Concurrency is one of the features of SpecC which expresses the parallel execution of processes. Describing the systems which contain concurrent behaviors would have some data exchanging or transferring among them, therefore, the synchronization semantics (notify/wait) of events should be incorporated. In this paper, we introduce an on-going work of verifying the synchronization of events in SpecC. The original SpecC code containing synchronization semantics is parsed and translated into a boolean SpecC code. The difference decision diagrams (DDDs) is used to verify for event synchronization. Here we introduce our overall idea and preset some preliminary results.

show abstract

Section: Introductionmentioning

confidence: 99%

Verification of Synchronization in SpecC Description with the Use of Difference Decision Diagrams

Sakunkonchak

Komatsu

Fujita

System Specification &Amp; Design Languages

View full text Add to dashboard Cite

show abstract

“…Ptolemy [1], SystemC [4] and SpecC [3] are all system-level modeling languages or frameworks, bearing several superficial similarities to the metamodel, since all share the notion of concurrent processes communicating through channels. However, 0-7803-9227-2/05/$20.00 ©2005 IEEE they lack features that are necessary to orthogonalize functionality and architecture, such as the mapping between functional and architectural networks, or between different refinement levels.…”

Section: Introductionmentioning

confidence: 99%

A formal approach to system level design: metamodels and unified design environments

Balarin

Pinto²,

Sangiovanni-Vincentelli³

Proceedings. Second ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2005. MEMOCODE '05.

View full text Add to dashboard Cite

show abstract

Specification and validation of new control algorithms for electric drives using SpecC language

Saoud¹,

Gajski²,

Dörner³

IEEE International Conference on Systems, Man and Cybernetics

View full text Add to dashboard Cite

Today, the shortest time-to-market in the electric drives industries is being a pressing requirement, consequently development time of new algorithms and new control systems and debugging them must be minimized. This requirement can be satisfied only by using a well-defined System-level design methodology and by reducing the migration time between the algorithm development language and the hardware specification language. In this report, we propose to use the SpecC language for the development (specification and validation) of new control algorithms. This includes the specification of the control systems (algorithms and I/O interfaces) in SpecC and its validation by simulation using a SpecC specification model of the process under control. This new approach will allow designers to implement easily the retained specification according to the SpecC methodology. Indeed, the same language (SpecC) is used for the study of new control systems and their design and implementation. We first begin with a brief presentation of the electric drives and of the SpecC language. Then, we discuss the specification models in SpecC of the whole system including the control unit and the process under control. We illustrate this approach by an application example of a DC system. Finally, we present the main advantages of the SpecC language in the development of new control systems.iii

show abstract

The Specc Language

Cited by 7 publications

References 0 publications

Verification of Synchronization in SpecC Description with the Use of Difference Decision Diagrams

Verification of Synchronization in SpecC Description with the Use of Difference Decision Diagrams

A formal approach to system level design: metamodels and unified design environments

Specification and validation of new control algorithms for electric drives using SpecC language

Contact Info

Product

Resources

About