[Search form] [Info about the database] [Search tips]

No 1 / 1

ACID-ASTRA: asynchronous circuit design : a stepwise refinement approach (ACID-ASTRA)

Date: 1.1.1994-31.12.1996
Code: 2671
Department: Åbo Akademi University / Faculty of Mathematics and Natural Sciences (MNF), Dept. of Computer Science
Address: Lemminkäinengatan 14, FIN-20520 Åbo
Phone +358-2-2154 382
Fax +358-2-2154 732
E-mail Ralph-Johan.Back@abo.fi
Project leader: FD Ralph-Johan Back, professor (1.1.1994-31.12.1996)
Researchers: FD Kaisa Sere (1.1.1994-31.12.1996)
FM Rimvydas Ruksenas (1.1.1994-31.12.1996)
Type of research: 0 (0=Within duty, 1=Ordered research, 2=Co-operation)
- basic research 80 %
- applied research 20 %
Finnish funding organizations: Finlands Akademi () FIM 1200000
Man months: Totally: 36 months
Partners: Juha Plosila, FM, Tom Kuusela, FD, Turun yliopisto, elektroniikan ja tietotekniikan laboratorio
Keywords: kretskort, utveckling, piirilevytohjelmointi, kehittäminen, VLSI-kretsar, asynkrona kretsar, formella metoder, asynchronous VLSI circuits, formal methods, programming methodology, stepwise refinement,

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