Where academic tradition
meets the exciting future

You are here: TUCS > PUBLICATIONS > Publication Search > Feasibility Report on Formal A...

Feasibility Report on Formal Area Complexity Estimation

Johanna Tuominen, Tomi Westerlund, Juha Plosila, Feasibility Report on Formal Area Complexity Estimation. TUCS Technical Reports 907, Turku Centre for Computer Science, 2008.

Abstract:

The increasing size, complexity, speed, and power requirements
poses challenges for the development methods of modern
System-on-Chip designs. Traditionally, the system is implemented
according to the specification using a hardware description
language and then verified using simulation based methods. In case
of unwanted mismatch between the initial specification and the
implementation a new design cycle is needed. This is time
consuming as well as an error prone approach to design
systems. Therefore, there is a need for a framework that provides
essential information of the system under design. With this
information a designer is capable to make far-reaching decisions
and avoid costly design backtracking later on in the project.

In exploring new approaches to outdo design challenges formal
methods are a solution to be reckoned with. They provide an
environment to specify, design, and verify systems with the
benefits of rigorous mathematical basis. For this study we chose
the Action Systems framework to be our base formalism. The
framework will be extended with a method that allows us to
estimate and analyze the area/size of a system in a formal,
abstract system specification. The model relies on the size
estimation of the Boolean functions. The model presents a test
environment under which the formal model is evaluated and compared
with the existing high level size model.

Files:

Full publication in PDF-format

BibTeX entry:

@TECHREPORT{tTuWePl08a,
  title = {Feasibility Report on Formal Area Complexity Estimation},
  author = {Tuominen, Johanna and Westerlund, Tomi and Plosila, Juha},
  number = {907},
  series = {TUCS Technical Reports},
  publisher = {Turku Centre for Computer Science},
  year = {2008},
  keywords = {Action Systems, area, formal, model},
}

Belongs to TUCS Research Unit(s): Distributed Systems Laboratory (DS Lab), Communication Systems (ComSys)

Edit publication