Incremental Cospecification Using Objects and Joint Actions
Risto Pitkanen and Harri Klapuri
Abstract
We present an incremental, specification-oriented approach to
codesign of embedded and distributed systems. We develop a
specification of an example system, a simplified version of the
I^2C bus, by first giving separate closed-system specifications of
the high-level control and the behaviour of bus signals, and then
combining these two views. Real-time constraints are added to ensure
correct timing properties, and high-level abstractions are expressed
in terms of implementation-level concepts. It is described how the
resulting complete specification can be mapped into behavioural VHDL
for signal-level simulation.
Related URLs:
http://www.cs.tut.fi/~rike/i2c.html and
http://www.cs.tut.fi/ohj/DisCo/