Towards a C++-based design methodology facilitating sequential equivalence checking.

Philippe Georgelin Venkat Krishnaswamy

Published in: DAC (2006)

Keyphrases

design methodology
design criteria
fuzzy neural network
physical design
design methodologies
object oriented
design procedure
design process
hardware software
formal specification
hw sw
real world
web services
data analysis