Design Verification at the Register Transfer Language Level.

Harold Hoehne Robert Piloty

Published in: IEEE Trans. Computers (1975)

Keyphrases

database
neural network
genetic algorithm
information systems
case study
computer aided
engineering design
optimal design
knowledge based systems
design process
modeling language
formal verification