Sciweavers

ASPDAC
2005
ACM
125views Hardware» more  ASPDAC 2005»
13 years 10 months ago
A formalism for functionality preserving system level transformations
— With the rise in complexity of modern systems, designers are spending a significant time on at the system level of abstraction. This paper introduces Model Algebra, a formalis...
Samar Abdi, Daniel Gajski