Analyzing and verifying locally clocked circuits with the concurrency workbench. - Garth Baulch; David Hemmendinger; Cherrice Traver (Great Lakes Symposium on VLSI, 1995)