Quantitative Evaluation of Formal Based Synthesis in ASIC Design.

G. Bezzi Massimo Bombana Patrizia Cavalloro Salvatore Conigliaro Giuseppe Zaza

Published in: TPCD (1994)

Keyphrases

quantitative evaluation
design methodology
qualitative evaluation
ground truth
ground truth data
low cost
formal methods
single chip
physical design
computer aided
embedded systems
quality assessment
hardware implementation
user interface
metadata
error measure
hardware architecture
databases