Syntactic Transformation of Assume-Guarantee Assertions: From Sub-Modules to Modules.

Prasenjit Basu Pallab Dasgupta P. P. Chakrabarti

Published in: VLSI Design (2005)

Keyphrases

building blocks
knowledge base
modular structure
natural language
functional modules
real time
data sets
website
lower bound
modular architecture