Power Aware System Refinement

Authors:
Johanna Tuominen;Tomi Westerlund;Juha Plosila
Affiliations:
Turku Centre for Computer Science, Finland and Dept. of Information Technology, University of Turku, Finland;Dept. of Information Technology, University of Turku, Finland;Academy of Finland, Research Council for Natural Sciences and Engineering
Venue:
Electronic Notes in Theoretical Computer Science (ENTCS)
Year:
2008

Citing 13
Cited 0

Graph-Based Algorithms for Boolean Function Manipulation

IEEE Transactions on Computers
On the Complexity of VLSI Implementations and Graph Representations of Boolean Functions with Application to Integer Multiplication

IEEE Transactions on Computers
Digital systems engineering

Digital systems engineering
A Discipline of Programming

A Discipline of Programming
Refinement Calculus: A Systematic Introduction

Refinement Calculus: A Systematic Introduction
Design of High-Performance Microprocessor Circuits

Design of High-Performance Microprocessor Circuits
Introduction to Algorithms

Introduction to Algorithms
Trace Refinement of Action Systems

CONCUR '94 Proceedings of the Concurrency Theory
Refinement Calculus, Part II: Parallel and Reactive Programs

Stepwise Refinement of Distributed Systems, Models, Formalisms, Correctness, REX Workshop
Boolean Expression Diagrams

LICS '97 Proceedings of the 12th Annual IEEE Symposium on Logic in Computer Science
Leakage Current: Moore's Law Meets Static Power

Computer
Binary Decision Diagrams

IEEE Transactions on Computers
Time aware modelling and analysis of multiclocked VLSI systems

ICFEM'06 Proceedings of the 8th international conference on Formal Methods and Software Engineering

Quantified Score

Hi-index	0.00

Visualization

Abstract

We propose a formal, power aware refinement of systems. The proposed approach lays its foundation to the traditional refinement calculus of Action Systems and its direct extension, time wise refinement method. The adaptation provides well-founded mathematical basis for the systems modeled with the Timed Action Systems formalism. In the refinement of an abstract system into more concrete one a designer must that show conditions of both functional and temporal properties, and furthermore, power related issues are satisfied.