Nr 1 / 1
ACID-ASTRA: asynchronous circuit design : a stepwise refinement approach (ACID-ASTRA)
ACID-ASTRA: asynchronous circuit design : a stepwise refinement approach
Datum: | 1.1.1994-31.12.1996 |
Kod: | 2671 |
Institution: | Åbo Akademi / Matematisk-naturvetenskapliga fakulteten (MNF), Institutionen för informationsbehandling |
Adress: |
Lemminkäinengatan 14, FIN-20520 Åbo
Tel. +358-2-2154 382 Fax +358-2-2154 732 E-post Ralph-Johan.Back@abo.fi |
Projektledare: |
FD Ralph-Johan Back, professor
(1.1.1994-31.12.1996) |
Forskare: |
FD Kaisa Sere (1.1.1994-31.12.1996) FM Rimvydas Ruksenas (1.1.1994-31.12.1996) |
Typ av forskning: |
0 (0=Inom tjänst, 1=Beställd forskning, 2=Samarbetsforskning)
- grundforskning 80 % - tillämpad forskning 20 % |
Inhemsk finansiering: |
Finlands Akademi () FIM 1200000 |
Årsverken: | Totalt: 36 månader |
Partner: | Juha Plosila, FM, Tom Kuusela, FD, Turun yliopisto, elektroniikan ja tietotekniikan laboratorio |
Ämnesord: | kretskort, utveckling, piirilevytohjelmointi, kehittäminen, VLSI-kretsar, asynkrona kretsar, formella metoder, asynchronous VLSI circuits, formal methods, programming methodology, stepwise refinement, |
Vi forskar i formell konstruktion av asynkrona VLSI-kretsar.Vi utvecklar metoder som understöder den stegvisa härledningen och verifieringen av dylika hårdvarokomponenter.
The aim of the ACID-ASTR project is to develop methods for the design of asynchronous VLSI-circuits.The focus is on methods that guarantee correct behaviour of designed circuits.Utilization of such formal methods is particulary important when designing complex VLSI chips, as it potentially reduces the design costs by eliminating errors and wrong design decisions at an early stage of the design process before the chip has been fabricated. -One of the objectives of the ACID-ASTRA project is to explore the basic design steps in construction of complex asynchronous cryptoprocessor we have an excellent opportunity to directly compare the effeciency of the design methods and the complexity as well as the size of the constructed circuits. -Our approach to formal program construction is based on the refinement calculus, a formalization of the stepwise refinement paradigm for sequential programs introduced by Back.The refinement calculus has been extended to stepwise refinement of parallel programs by Back and Sere.The ACID-ASTRA project will further extend the refinement calculus to formal derivation of asynchronous VLSI circuits as action systems.
21.3.1996 / 1.4.1996