Test

Test of asynchronous circuits is still a very open field. Most studies have been directed to theoretical results proving that they are self-checking in normal mode operation, whereas only few approaches are able to provide a set of test patterns. At the moment our group is working on novel Automatic Test Pattern Generation algorithms that will allow testing asynchronous circuits in commercial testing environments.

• Jordi Cortadella and Rosa M. Badia. An asynchronous architecture model for behavioral synthesis. In Proc. European Conference on Design Automation (EDAC) , pp. 307-311, Brussels, March 1992.

• Jordi Cortadella, Rosa M. Badia, Enric Pastor, and Abelardo Pardo. Achilles: A High-Level Synthesis System for Asynchronous Circuits . In Handouts of the 6th. ACM/IEEE International Workshop on High-Level Synthesis , pp. 87-94, Dana Point Resort, USA, November 1992.

• Rosa M. Badia and Jordi Cortadella. High-Level Synthesis of Asynchronous Systems: Scheduling and Process Synchronization . In Proc. European Conference on Design Automation (EDAC) , pp. 70-74, Paris, February 1993.

• Rosa M. Badia and Jordi Cortadella. GLASS: a Graph-theoretical Approach for Global Binding . International Conference on Mini and Microcomputers and their Applications , vol. 38, no. 1-5, pp. 775-782, September 1993.

• Enric Pastor and Jordi Cortadella. An Efficient Unique State Coding Algorithm for Signal Transition Graphs . In Proc. of the IEEE International Conference on Computer Design , pp. 174-177, Cambridge, USA, October 1993.

• Enric Pastor and Jordi Cortadella. Polynomial Algorithms for the Synthesis of Hazard-free Circuits from Signal Transition Graphs . In Proc. of the IEEE/ACM International Conference on Computer Aided Design , pp. 250-254, Santa Clara, USA, November 1993. IEEE Computer Society Press.

• Jordi Cortadella, Alexandre Yakovlev, Luciano Lavagno, and Peter Vanbekbergen. Designing asynchronous circuits from behavioural specifications with internal conflicts. In Proc. International Symposium on Advanced Research in Asynchronous Circuits and Systems , Utah, November 1994.

• Enric Pastor, Jordi Cortadella, and Oriol Roig. A New Look at the Conditions for the Synthesis of Speed-independent Circuits . In Proc. Fifth Great Lakes Symposium on VLSI , pp. 230-235, Buffalo, May 1995.

• Alex Kondratyev, Jordi Cortadella, Michael Kishinevsky, Enric Pastor, Oriol Roig, and Alexandre Yakovlev. Checking Signal Transition Graph implementability by symbolic BDD traversal . In Proc. European Design and Test Conference (EDAC-ETC-EuroASIC) , pp. 325-332, Paris, March 1995.

• Oriol Roig, Jordi Cortadella, and Enric Pastor. Verification of asynchronous circuits by BDD-based model checking of Petri nets . In 16th International Conference on Application and Theory of Petri Nets , volume 935 of Lecture Notes in Computer Science , pp. 374-391, Torino, June 1995. Springer-Verlag.

• Oriol Roig, Jordi Cortadella, and Enric Pastor. Hierarchical Gate-Level Verification of Speed-Independent Circuits . In Proc. of the 2nd Working Conference on Asynchronous Design Methodologies , pp. 128-137, London, May 1995.

• Enric Pastor, Jordi Cortadella, Alex Kondratyev, and Oriol Roig. Structural Methods for the Synthesis of Speed-independent Circuits . In Proc. European Design and Test Conference (EDAC-ETC-EuroASIC) , pp. 340-347, Paris(France), March 1996.

• Jordi Cortadella, Michael Kishinevsky, Alex Kondratyev, Luciano Lavagno, and Alexandre Yakovlev. Complete state encoding based on theory of regions . In Proc. International Symposium on Advanced Research in Asynchronous Circuits and Systems , Aizu, Japan, March 1996.

• Marco A. Peña and Jordi Cortadella. Combining Process Algebras and Petri Nets for the Specification and Synthesis of Asynchronous Circuits . In Proc. International Symposium on Advanced Research in Asynchronous Circuits and Systems , pp. 222-232, Aizu, Japan, March 1996.

• Jordi Cortadella, Michael Kishinevsky, Alex Kondratyev, Luciano Lavagno, and Alexandre Yakovlev. Petrify: a tool for manipulating concurrent specifications and synthesis of asynchronous controllers. In XI Conference on Design of Integrated Circuits and Systems , Barcelona, November 1996. (To appear).