PROLOG as a formalism for VLSI design specification.
T. GrabowieckiAdam PawlakPublished in: Microprocess. Microprogramming (1989)
Keyphrases
- vlsi design
- knowledge representation
- design methodology
- logic programming
- operational semantics
- transition systems
- formal language
- knowledge base
- expert systems
- action language
- conceptual model
- formal specification
- high level
- programming language
- prolog programs
- artificial intelligence
- database
- abstract machine
- data model
- evolutionary algorithm
- learning algorithm
- real world