Proving the correctness of the interlock mechanism in processor design.

Xiaoshan Li Antonio Cau Ben C. Moszkowski Nick Coleman Hussein Zedan

Published in: CHARME (1997)

Keyphrases

design process
single chip
databases
real world
multi agent
user interface
computer aided
knowledge base
case study
software architecture
engineering design
optimal design