ASPDAC / VLSI 2002 - Tutorial on "Functional Verification of SoCs" 1 ASPDAC/VLSI 2002 Tutorial Functional Verification of System on Chip - Practices, Issues.
1 Logic Design of Asynchronous Circuits Jordi Cortadella Jim Garside Alex Yakovlev Univ. Politècnica de Catalunya, Barcelona, Spain Manchester University,
ASPDAC / VLSI 2002 - Tutorial on "Large Asynchronous Systems" 1 Logic design of asynchronous circuits Part IV: Large Asynchronous Systems.
1 Logic design of asynchronous circuits Part II: Logic synthesis from concurrent specifications.
1 Logic design of asynchronous circuits Part III: Advanced topics on synthesis.