DSP specification using the Silage language.
Dominique GeninPaul N. HilfingerJan M. RabaeyChris J. ScheersHugo De ManPublished in: ICASSP (1990)
Keyphrases
- specification language
- formal language
- programming language
- operational semantics
- signal processing
- formal languages
- machine learning
- action language
- natural language
- modeling language
- formal semantics
- artificial intelligence
- digital signal processing
- highly modular
- description language
- digital signal processor
- linear temporal logic
- modelling language
- real time
- high speed
- natural language processing
- databases
- data sets