Object-oriented modeling and synthesis of SystemC specifications.
C. Schulz-KeyMarkus WinterholerThomas SchweizerTommy KuhnWolfgang RosenstielPublished in: ASP-DAC (2004)
Keyphrases
- object oriented modeling
- object oriented
- learning environment
- entity relationship modeling
- high level
- program synthesis
- texture synthesis
- specification language
- control flow
- delay insensitive
- learning algorithm
- case study
- formal specification
- fault diagnosis
- attribute grammars
- asynchronous circuits
- relational model
- database
- programming language
- data model
- multi agent systems
- knowledge base
- information systems
- databases