Using a Language of Functions and Relations for VLSI Specification.
Robin SharpOle RasmussenPublished in: FPCA (1995)
Keyphrases
- specification language
- programming language
- action language
- relational structures
- algebraic operations
- formal languages
- constraint language
- high level
- formal language
- natural language
- linguistic analysis
- operational semantics
- language learning
- conceptual model
- language processing
- conceptual graphs
- background knowledge
- signal processing
- high speed
- definition language
- modelling language
- vlsi circuits
- language constructs
- relational calculus
- representation language
- conceptual models
- description language
- formal specification
- data exchange