PAFESD: Process Algebras for Electronic System Designs

Bruce Leasure,David J. Kuck,Sergei Gorlatch,Murray Cole,Gregory R. Watson,Alain Darte,David Padua,Utpal Banerjee,Olaf Schenk,Klaus Gärtner,Howard Jay Siegel,Bobby Dalton Young,Roy H. Campbell,Ümit Çatalyürek,Cevdet Aykanat,Jasmin Ajanovic,Stefan Schmid,Roger Wattenhofer,E. N. Mootaz Elnozahy,Evan W. Speight,Jian Li,Ram Rajamony,Lixin Zhang,Baba Arimilli,Michael Gerndt,Jack B. Dennis,Barry Smith,George Almasi,Alexandros Stamatakis,Davide Sangiorgi,John A. Gunnels,Jack Dongarra,Piotr Luszczek,Bernd Mohr,Rudolf Eigenmann,Paul Feautrier,Christian Lengauer,Pradip Bose,Joseph F. JaJa,Anshul Gupta,Rocco De Nicola,Roger S. Armen,Eric R. May,Michela Taufer,Al Geist
DOI: https://doi.org/10.1109/icasic.2007.4415579
2007-01-01
Abstract:In this paper, we review a number of process algebra based formalisms that can be used for the formal specification of electronic system designs. It should be of interest to architects, engineers and researchers from the electronic design community. This paper also covers various formal techniques (process algebra based) for analysis of electronic system designs. Furthermore, we devote some space in this paper to an brief introduction of two process algebraic theories/frameworks SystemCFL and PAFSV that can be regarded as the formal languages of SystemC and SystemVerilog respectively.
What problem does this paper attempt to address?