A Toolset for Modelling and Verification of GALS Systems.

S. Ramesh, Sampada Sonalkar, Vijay D'Silva, Naveen Chandra, B. Vijayalakshmi

Browse the full CAV paper archive.