Formal semantics for a symbolic IC design technique: Examples and applications.

Sanjay V. Rajopadhye P. A. Subrahmanyam

Published in: Integr. (1985)

Keyphrases

formal semantics
modelling language
modeling language
design rationale
case study
high level
design process
artificial intelligence
user interface
domain knowledge
integrated circuit
logical reasoning