High-Level Modelling, Analysis, and Verification on FPGA-Based Hardware Design.

Petr Matousek Ales Smrcka Tomás Vojnar

Published in: CHARME (2005)

Keyphrases

hardware design
high level
hardware implementation
low level
statistical analysis
formal analysis
pattern recognition
data analysis
pairwise
smart card
hardware software