Enforcing architectural contracts in high-level synthesis.

Nikhil A. Patil Ankit Bansal Derek Chiou

Published in: DAC (2011)

Keyphrases

high level synthesis
parallel architecture
supply chain
software architecture
architectural design
design space exploration
pattern recognition
global consistency
real world
artificial intelligence
information systems
higher order