An HOL based framework for design of correct high level synthesizers.

B. M. Subraya Anshul Kumar Shashi Kumar

Published in: VLSI Design (1995)

Keyphrases

high level
conceptual framework
main contribution
theoretical framework
conceptual model
design process
lightweight
collaborative learning
design patterns
design principles
low level
data mining
software architecture
multi agent systems
low level features
bayesian networks
computational framework
modular design