Automatic Formal Correspondence Checking of ISA and RTL Microprocessor Description.

Lukás Charvát Ales Smrcka Tomás Vojnar

Published in: MTV (2012)

Keyphrases

high level
fully automatic
data driven
high speed
point correspondences
neural network
formal model
website
real time
object recognition
learning environment
semi automatic
artificial intelligence
circuit design
formal representation
correspondence matching
special purpose hardware