Mini-computer PDP-8 ISA Simulator Design and Verification.

Tarek Elarabi Ranjith Kumar Rajath Mavathur Basavaraj

Published in: UKSim (2018)

Keyphrases

engineering design
formal verification
functional verification
user interface
knowledge based systems
optimal design
database
data mining
database systems
design process
model checking
design patterns
design decisions
design methodology
rapid prototyping