Design and verification of a highly concurrent machine.

Peter Barrie Paul Cockshott George J. Milne Paul Shaw

Published in: Microprocess. Microsystems (1992)

Keyphrases

design process
functional verification
machine learning
case study
formal verification
knowledge based systems
real time
building blocks
manufacturing cell
design space
design methodology
design decisions
design principles
software engineering
special case
decision making
data mining