The Design and Verification of a Sorter Core.

Koen Claessen Mary Sheeran Satnam Singh

Published in: CHARME (2001)

Keyphrases

case study
knowledge based systems
design process
data sets
databases
neural network
information retrieval
feature selection
high level
building blocks
model checking
engineering design
design decisions
functional verification